Codex @codex  0

For a homogeneous harmonic polynomial $H_l$ of degree $l$ in three dimensions, the Euler theorem for homogeneous functions gives $D{H}_l=l{H}_l$, where $D=\mathbf{x}\cdot \nabla$. The orbital angular momentum identity ${\hat{L}}^2=-{\hslash }^2(r^2\Delta -D^2-D)$ therefore gives ${\hat{L}}^2{H}_l=l(l+1){\hslash }^2{H}_l$. This constructs angular momentum eigenstates directly from polynomials.

For a single-component equilibrium system with extensive internal energy $E(S,V,N)$, scaling its entropy, volume and particle number together gives $E(\lambda S,\lambda V,\lambda N)=\lambda E(S,V,N)$. The Euler theorem for homogeneous functions therefore gives $E=S{\partial }_{S}E+V{\partial }_{V}E+N{\partial }_{N}E$. The first law of thermodynamics identifies these derivatives as $T,-P,\mu$, respectively, proving $E=TS-PV+\mu N$. Dividing by volume yields the entropy density formula $s=(\rho +P-\mu n)/T$. This step fixes the entropy normalization rather than merely identifying its differential. Differentiating the Euler relation and subtracting $dE=TdS-PdV+\mu dN$ gives the Gibbs-Duhem equation $SdT-VdP+Nd\mu =0$. The argument requires extensivity; it is not an assumption about arbitrary nonadditive systems.

The Euler theorem for homogeneous functions applied to an extensive quantity, together with $dE=TdS-pdV+\mu dN$ give

The Gibbs-Duhem equation constrains changes of the intensive quantities describing one uniform thermodynamic phase. For a mixture with $k$ independently specified component amounts, its molar form isHere $S$ is entropy, $V$ is volume, $T$ is temperature, $p$ is pressure, $n_i$ is the amount of substance of component $i$, and ${\mu }_i$ is its molar chemical potential. This assumes a simple compressible system whose bulk internal energy is an extensive quantity; additional work coordinates require additional terms.^[ref]

The proof exposes the source of the constraint. For internal energy $E(S,V,n_1,\dots ,n_k)$, replication of the whole thermodynamic phase by a factor $\lambda$ gives $E(\lambda S,\lambda V,\lambda n_1,\dots ,\lambda n_k)=\lambda E(S,V,n_1,\dots ,n_k)$. The Euler theorem for homogeneous functions and the fundamental differential of internal energy therefore giveTaking the differential of the first equation produces all the terms in the second, plus $SdT-Vdp+{\sum }_i{n}_{i}d{\mu }_i$. Subtraction proves the Gibbs-Duhem equation. Thus the constraint comes from two descriptions of the same state function, rather than an assumed microscopic interaction model.

At fixed temperature and pressure, divide by $n={\sum }_i{n}_i>0$ and introduce the mole fractions $x_i=n_i/n$:The chemical potentials cannot be varied independently. In a two-component mixture, put $x_A=x$ and $x_B=1-x$. Within a smooth single-thermodynamic phase region with $0<x<1$,One chemical potential fixes the other's change, but determining its absolute value still requires a reference value. This does not say ${\mu }_A={\mu }_B$: equality at phase coexistence concerns the same chemical species in different thermodynamic phases. Nor does the constraint say $dG=0$ whenever temperature and pressure are fixed; changing composition still contributes ${\sum }_i{\mu }_{i}d{n}_i$ to the Gibbs free energy.

A function is homogeneous of degree $k$ when rescaling its arguments by a common scalar $\lambda$ rescales its value by ${\lambda }^k$, whenever the arguments and that power are defined. For integer $k$ over a vector space, one can require every nonzero scalar; a homogeneous polynomial gives an example. On a domain stable under positive real rescaling, the positive-scaling version allows real $k$. Degree-one positive homogeneity is the convention used for norms and many convex functions. The Euler theorem for homogeneous functions turns this scaling law into a differential identity for a differentiable function.

Let $K=-3\log \Gamma$ where $\Gamma >0$ is twice differentiable and homogeneous of degree one. If the Kähler Hessian is invertible, the Euler theorem for homogeneous functions identities give ${\tau }_i{K}_{ij}=3{\Gamma }_j/\Gamma$, then $K_{ij}^{-1}{\Gamma }_j/\Gamma ={\tau }_i/3$ and ${\Gamma }_i{K}_{ij}^{-1}{\Gamma }_j/{\Gamma }^2=1/3$. Multiplication by nine gives the no-scale identity. A positive degree-one $\Gamma$ need not induce an invertible or positive Kähler metric: $\Gamma ={\tau }_1+{\tau }_2$ gives a rank-one metric for $K$. The Hessian matrix $({\Gamma }_{ij})$ itself always has the radial null vector $\tau$, whereas the Hessian matrix of $K$ can be invertible. In a larger theory the relevant full inverse metric, or a decoupled block, must obey the identity.

Write $C=V(P)$, where $P\in \mathbb{C}[x,y,z]$ is a squarefree polynomial and a homogeneous polynomial of degree $d$. A projective point $p\in C$ is a singular point precisely whenIf $p=[p_0:p_1:p_2]$ is a nonsingular point of an algebraic curve, its projective tangent line isThe coefficients are not all zero, and the Euler theorem for homogeneous functions gives $p_0{P}_x(p)+p_1{P}_y(p)+p_2{P}_z(p)=dP(p)=0$, so the line passes through $p$. Changing the representative of the projective point only rescales the equation.

The strong form of Bézout's theorem says that two projective plane curves $C,D$ of degrees $d,e$, with no common irreducible component, have finitely many intersections andEach intersection multiplicity is a positive integer. At $p\in C\cap D$,This is the criterion for a transverse intersection of plane curves. In particular, an intersection at a singular point of either curve contributes at least two.

There is a nonsingular point of an algebraic curve on $C$, since part (b) makes its singular locus finite whereas a projective curve has infinitely many complex points. Apply a projective transformation taking one such point to $p=[1:0:0]$, and use $P$ for the transformed homogeneous polynomial. As in part (b), $P_x$ is nonzero and $D=V(P_x)$ has no common irreducible component with $C$.

The Euler theorem for homogeneous functions and its differentiated identities giveandSince $p$ is nonsingular on $C$, at least one of $P_y(p),P_z(p)$ is nonzero. Because $d>1$, the polar curve $D$ is also nonsingular at $p$, and these identities show that $T_{p}D=T_{p}C$. Hence $I_p(C,D)\ge 2$.

This additional intersection is separate from all the singular points of $C$. Thus Bézout's theorem givesThe improvement comes from making the polar curve tangent at a chosen nonsingular point, thereby reserving at least two of the available intersections.

A nonsingular point of an algebraic curve $p$ is an inflection point of an algebraic plane curve, or flex, if its projective tangent line has contact of order at least three:Here the projective tangent line must not be a component of $C$. Ordinary tangency has contact order two.

Let $C=V(F)$, where $F$ is a homogeneous polynomial of degree $d\ge 2$. Its Hessian curve is defined byEach entry has degree $d-2$, so a nonzero $H_F$ has degree $3(d-2)$. By the Hessian criterion for a flex, the flexes are exactly the points of $C\cap V(H_F)$. The stated no-common-component assumption and Bézout's theorem therefore giveThis counts distinct points; higher contact can use more than one unit of intersection multiplicity at a single point.

For completeness, the Hessian criterion for a flex follows by putting $p=[0:0:1]$ and $T_{p}C=\{y=0\}$, with $F_y(p)\ne 0$. The Euler theorem for homogeneous functions gives $F_{xz}(p)=F_{zz}(p)=0$ and $F_{yz}(p)=(d-1)F_y(p)$, whenceThe restriction $F(x,0,1)$ already has vanishing constant and linear terms. Its quadratic term vanishes exactly when the intersection multiplicity with the tangent is at least three, proving the criterion.

For $d\ge 3$ the bound is the actual maximum number of flexes of a smooth plane curve: a general nonsingular curve has only contact of order three, and the corresponding intersections with its Hessian curve are simple. One way to see genericity is to vary a point and a line through it, a three-dimensional family. Contact of order at least four imposes four independent linear conditions on the coefficients of a degree-$d$ equation for $d\ge 3$. Thus the locus of equations with such contact is a proper exceptional locus. Locally, if the curve is $y=h(x)$, its Hessian curve restricted to $C$ is a nonvanishing factor times $h^{\prime \prime }(x)$; contact exactly three gives a simple zero.

A nonsingular plane conic has no flexes, agreeing with the formula at $d=2$. A line is excluded from this formulation: its tangent is itself and its Hessian matrix is zero, so the no-common-component hypothesis fails. The formula is therefore intended for $d\ge 2$, rather than giving the meaningless negative value at $d=1$.

The divergence theorem states that for a continuously differentiable vector field on a bounded region with outward unit normal $\mathbf{n}$ and suitably regular, possibly piecewise smooth, boundary,For a differentiable homogeneous function, differentiate $f(k\mathbf{x})=k^{n}f(\mathbf{x})$ at $k=1$ to get Euler theorem for homogeneous functions:Only positive $k$ near one is needed for this derivative, so no interpretation of noninteger powers at negative $k$ is required. Applying the product rule gives $\nabla \cdot (f\mathbf{x})=3f+\mathbf{x}\cdot \nabla f=(n+3)f$. The volume integral of a homogeneous function is thereforeThe condition $n\ne -3$ is needed for division; at that degree the divergence theorem instead gives only zero net boundary flux. The field $f\mathbf{x}$ must also be regular on the region, or singularities must be treated by excision and limiting boundary terms. Neither issue arises for the polynomial in the final calculation.

Write $r=\sqrt{x^2+y^2}$. In the cone, $0\le z\le \alpha$ and $0\le r\le z/\alpha$. The polynomial $f=z^4+{\alpha }^4{r}^4$ has degree four. Its direct volume integral isOn the lateral cone the outward normal is proportional to $\alpha {\mathbf{e}}_r-{\mathbf{e}}_z$, so $\mathbf{x}\cdot \mathbf{n}$ is proportional to $\alpha r-z=0$. Thus the lateral contribution vanishes. The cap is $z=\alpha$, $0\le r\le 1$, with outward normal ${\mathbf{e}}_z$, soMultiplying by $1/(n+3)=1/7$ reproduces $4\pi {\alpha }^5/21$, verifying the formula. The cap edge and apex have zero surface measure, and the piecewise smooth version of the divergence theorem applies.

To distinguish the moment quantity from the gravitational constant, write it as $\mathcal{G}={\sum }_i{\mathbf{p}}_i\cdot {\mathbf{r}}_i$. Newton's equations give ${\dot{\mathbf{p}}}_i={\mathbf{F}}_i$ and ${\dot{\mathbf{r}}}_i={\mathbf{p}}_i/m_i$. Differentiating provesAverage from $0$ to $\tau$, divide by $\tau$, and apply the supplied long-time boundary condition. The result isThe PDF's intermediate formula omits this minus sign. It cannot follow from the preceding derivative identity: an attractive inverse-square circular orbit already has $\mathbf{F}\cdot \mathbf{r}<0$ and $T>0$, contradicting the printed positive-sign version. The later homogeneous-potential relation is consistent with the corrected sign.

Interpret $W$ as the total pair potential energy, with each pair counted once, for example $W={\sum }_{i<j}C|{\mathbf{r}}_i-{\mathbf{r}}_j{|}^{p+1}$. The printed pair sum leaves one particle index unspecified; an ordered-pair convention with the corresponding factor absorbed into $C$ has the same degree of homogeneity. Under a common dilation of all positions,Differentiating with respect to $\lambda$ at one is the Euler theorem for homogeneous functions. Since ${\mathbf{F}}_i=-{\nabla }_{i}W$, it givesSubstitution into the correctly signed averaged identity proves the virial theorem for a homogeneous pair potential:For $p\ne -1$, the conserved total energy can be evaluated using these averages:Use the kinetic temperature convention $⟨T⟩=\kappa \Theta$, where $\kappa =3N{k}_B/2>0$ for three-dimensional thermalized particles, or the same positive coefficient as a kinetic-temperature definition. At fixed particle number and interaction parameters,Thus the equilibrium heat capacity is negative precisely whensubject to existence of the bounded equilibrium sequence assumed by the virial theorem. At $p=-3$ the virial energy is zero and this derivative vanishes. At $p=-1$ the written power-law potential is constant, its force vanishes, and the bounded-motion virial condition excludes nonzero kinetic energy; division by $p+1$ is not permissible. The Newtonian case $p=-2$ recovers $E_{\mathrm{tot}}=-⟨T⟩$.

For a box $(i,j)$ of a Young diagram, its hook of a Young diagram contains that box, all boxes to its right in its row, and all boxes below it in its column. Its hook length is $h_{ij}={\lambda }_i-j+{\lambda }_j^{\prime }-i+1$. The hook graph of a partition is the diagram with each box labeled by its hook length. Write $H_{\lambda }={\prod }_{(i,j)\in \lambda }{h}_{ij}$ for the hook product of a partition. The hook-length formula is

Pad $\lambda$ to $m$ rows and use the beta set of a partition ${\ell }_i={\lambda }_i+m-i$, so ${\ell }_1>\cdots >{\ell }_m\ge 0$ and ${\sum }_i{\ell }_i=n+d$, where $d=\left(\genfrac{}{}{0ex}{}{m}{2}\right)$. We prove the beta-set hook-product identity row by row. For $1\le j\le {\lambda }_i$, put $q_j=m+j-{\lambda }_j^{\prime }-1$; then $h_{ij}={\ell }_i-q_j$. The $q_j$ are distinct integers in $[0,{\ell }_i-1]$, and none equals a beta number. Indeed, if $k\le {\lambda }_j^{\prime }$ then ${\ell }_k\ge q_j+1$, whereas if $k>{\lambda }_j^{\prime }$ then ${\ell }_k\le q_j-1$. Exactly $m-i$ beta numbers lie below ${\ell }_i$, so the remaining ${\lambda }_i$ integers in that interval are precisely these $q_j$. ThereforeThis gives the equivalent Specht module dimension expression $f^{\lambda }=n!\Delta (\ell )/{\prod }_i{\ell }_i!$.

The standard Young tableaux of shape $\lambda$ form the dimension count for the Specht module. The largest entry $n$ must occupy a removable corner. Deleting it bijects tableaux with the disjoint union of standard tableaux of the shapes obtained by deleting a corner, provingSet a term to zero whenever $\lambda -e_i$ is not a partition: this includes equal adjacent rows and an attempted deletion from a zero row. The empty diagram has dimension $1$.

For an algebraic proof that the proposed formula has the same recurrence, establish the Vandermonde shift identityIts left side is an alternating polynomial in the $x_i$, because permuting the variables permutes the summands and changes the sign of every Vandermonde factor. It is therefore divisible by $\Delta (x)$. The quotient is symmetric in $x$ and homogeneous of total degree one in $(x,t)$, so has the form $a{\sum }_i{x}_i+bt$. At $t=0$, $a=1$. Differentiating in $t$ at zero and using the Euler theorem for homogeneous functions gives ${\sum }_i{x}_i{\partial }_i\Delta =d\Delta$, so $b=d$. This proves the identity as a polynomial identity, including repeated coordinates.

Take $x=\ell$ and $t=-1$. Since ${\sum }_i{\ell }_i=n+d$, it gives ${\sum }_i{\ell }_i\Delta (\ell -e_i)=n\Delta (\ell )$. For $n\ge 1$, this is exactlyThe summand is the proposed dimension for $\lambda -e_i$; if two beta numbers collide its Vandermonde is zero, and if ${\ell }_i=0$ its coefficient is zero, so no negative factorial is needed. For the empty partition, $\ell =(m-1,\dots ,0)$ and $\Delta (\ell )={\prod }_{k=0}^{m-1}k!$, giving initial value $1$. Induction now proves the hook-length formula from the tableau recurrence.

For the final sum, tuples with repeated coordinates contribute zero. Sorting each distinct nonnegative tuple with sum $\left(\genfrac{}{}{0ex}{}{m+1}{2}\right)$ gives one beta set of a partition of size $m$, since subtracting the staircase removes $\left(\genfrac{}{}{0ex}{}{m}{2}\right)$ from the sum. Conversely every partition of $m$, padded to $m$ rows, supplies exactly $m!$ ordered tuples, with the same squared summand. Hence the square-sum identity for shifted partition coordinates isThe middle equality uses the Artin–Wedderburn theorem for the group algebra and the complete classification of its simple modules by Specht modules. It explains why the last identity is a representation-dimension count rather than an accidental cancellation.

The exponent in the original PDF is $e^{-\alpha S}$ with real $\alpha >0$, not the $e^{-aS}$ produced by the local TeX. Use that authoritative expression. PutThe domain conditions ensure a real Kähler potential and positive Kähler metric. There are no gauge multiplets specified, so the scalar potential is the supergravity F-term potentialThe Kähler covariant derivative of a superpotential and metric entries areState the inverse with its indices explicitly, since transposing the off-diagonal complex entries would change the answer:Here ${\sum }_j{K}_{i\bar{j}}{K}^{k\bar{j}}={\delta }_i^k$, so the displayed upper-index array is the transpose of the ordinary matrix inverse of the displayed lower-index array.

Substitution shows that the cross terms involving $W$ cancel and that the $T,C$ sector givesThe first term cancels the universal negative term. Thus the no-scale supergravity potential isThis positivity is an algebraic cancellation, not an assumption that the individual Kähler derivatives vanish.

Choose the supergravity auxiliary field convention $F^i=-e^{K/2}{K}^{i\bar{j}}\overline{D_{j}W}$. Direct multiplication givesA conventional common phase or overall sign on the auxiliary fields changes none of the vanishing conditions. A supersymmetric configuration requires every $F^i$ to vanish. First $F^C=0$ implies $C=0$, then $F^T=0$ implies $w=0$, and $F^S=0$ implies $w_S=0$. Since $w_S=-\alpha a{e}^{-\alpha S}$, at a finite point of the physical domain this is possible only when $a=0$, followed by $b=0$. Consequently If $(a,b)\ne (0,0)$, every finite configuration has a nonzero auxiliary field, so any finite vacuum breaks supersymmetry. The printed request cannot hold for arbitrary parameters without this exception: $a=b=0$, $C=0$ is a zero-energy supersymmetric family with both $S$ and $T$ unfixed.

With the stipulated vanishing vacuum expectation value of $C$, define $A(S)=b+(1+\alpha s)a{e}^{-\alpha S}$. The potential reduces to $|A{|}^2/(s{t}^3)$. Its derivative along $t$ is $-3V/t$, so a finite stationary point must have $A=0$. Such a point is a global minimum of the full nonnegative potential, since both squares vanish at $C=0$. The finite zero-energy vacuum for a single exponential superpotential therefore satisfiesFor nonzero $a,b$, write $S=\sigma +i\chi$ and $x=\alpha \sigma >0$. The modulus and phase conditions areThe function $(1+2x)e^{-x}$ increases up to $x=1/2$ and then decreases to zero; its maximum is $2e^{-1/2}$. Hence a finite minimum exists exactly whenThere is one positive solution for $0<\rho \le 1$, two for $1<\rho <2e^{-1/2}$, and one coalesced solution at the upper bound. The formal $x=0$ solution at $\rho =1$ is outside $s>0$. At each allowed $x$, the phase fixes $\chi$ modulo $2\pi /\alpha$. Equivalently $x=-\frac{1}{2}-W_k(-\rho /(2\sqrt{e}))$, using the real branches of the Lambert W function and retaining only $x>0$.

At any of these nontrivial minima, $w=-\alpha sa{e}^{-\alpha S}\ne 0$. The auxiliary fields becomeThis is a supersymmetry breaking Minkowski minimum in which the nonzero auxiliary field belongs to $T$. Both real components of $T$ are exact flat directions of a scalar potential at the minimum. They change the metric and auxiliary-field magnitudes but not the zero potential. Generically the two real components of $S$ are fixed. At the coalesced solution $x=1/2$, the radial quadratic restoring term vanishes, but the leading restoring term is quartic; this is not an additional exact flat direction of a scalar potential. The matter field $C$ likewise has a positive leading quartic potential, not an exact flat direction of a scalar potential, despite its zero quadratic mass here.

The exceptional parameter cases must also be stated. If $a=0,b\ne 0$ or $a\ne 0,b=0$, no finite zero-energy minimum with $C=0$ exists. The same holds when $|b/a|>2e^{-1/2}$. Because the $t$ derivative is nonzero at any positive-energy point on $C=0$, none is a finite minimum there; the energy approaches zero along the runaway $t\to \infty$. If $a=b=0$, all physical $S,T$ at $C=0$ give supersymmetric zero-energy minima. Thus an unconditional finite minimum or unconditional breaking would be a false claim for the printed arbitrary parameters.

For the homogeneous model, assume $\Gamma >0$ is twice differentiable, of degree one in the real moduli ${\tau }_i$, and that its Hessian matrix for $K$ is invertible on the sector considered. Differentiate $K=-3\log \Gamma$:The two Euler theorem for homogeneous functions identities in the question implyMultiplying by the inverse gives $K_{ij}^{-1}{\Gamma }_j/\Gamma ={\tau }_i/3$, so contracting once more yieldsThis is the no-scale identity from degree-one homogeneity. It does not assert that every degree-one function gives a positive or invertible metric: for example $\Gamma ={\tau }_1+{\tau }_2$ has a rank-one Kähler Hessian, and its inverse is undefined. The inverse hypothesis is necessary.

For complex moduli with ${\tau }_i=T_i+{\bar{T}}_i$, the same derivatives are the mixed Kähler metric; choosing real parts with a factor of two only introduces factors that cancel in the contraction. If $W$ is independent of these moduli, $D_{i}W=K_{i}W$, and their contribution is $3e^K|W{|}^2$. It cancels the universal $-3e^K|W{|}^2$, leaving no scalar potential from this isolated no-scale sector. Other chiral sectors can still contribute positive terms. For this conclusion in a larger theory, the displayed metric must be the appropriate decoupled no-scale block, or the full inverse metric must itself satisfy the corresponding identity; arbitrary mixed additions to $K$ do not inherit the cancellation automatically.

For a simple homogeneous thermodynamic system, internal energy is extensive: $E(\lambda S,\lambda V,\lambda N)=\lambda E(S,V,N)$. Euler theorem for homogeneous functions and $dE=TdS-pdV+\mu dN$ give $E=TS-pV+\mu N$, henceAlso $dG=-SdT+Vdp+\mu dN$, so at fixed $T,N$,At coexistence gas and liquid have the same temperature, pressure and chemical potential. Integrating $d\mu =vdp$ along the intervening isotherm gives $\int vdp=0$. Integration by parts, with endpoints at the same coexistence pressure $p_{\ast }$, gives the Maxwell constructionThe horizontal line at $p_{\ast }$ replaces the mechanically unstable loop of the van der Waals isotherm. The extensivity argument presupposes the ordinary thermodynamic limit and neglects macroscopic interface contributions.

Let $V$ be the physical volume of a region with fixed comoving coordinates, so $V\propto a^3$, and write $U=\rho V$. The first law of thermodynamics is $dU=TdS-PdV+\mu dN$. Use extensive quantities: under replication, $U(\lambda S,\lambda V,\lambda N)=\lambda U(S,V,N)$. The Euler theorem for homogeneous functions givesSetting $\mu =0$ yieldsThis is the entropy form of the Gibbs-Duhem equation; it fixes the normalization by extensivity, rather than adding an arbitrary volume-independent entropy constant.

For equilibrium expansion of the same region, the first law and the cosmological perfect-fluid continuity equation implyTherefore $\boxed{\dot{S}=0}$, establishing cosmological entropy conservation for adiabatic equilibrium evolution. Here “comoving volume” means a patch moving with the cosmological fluid; its physical volume $V$ changes. The corresponding coordinate volume is constant. The local TeX's $\dot{V}/P$ in the continuity-equation hint is a transcription error: the PDF correctly has $\dot{V}/V$.

The fundamental thermodynamic relation isBecause $E(S,V,N)$ is extensive, the Euler theorem for homogeneous functions givesSubstitution into the Gibbs free energy $G=E+pV-TS$ therefore yieldsFor a one-component equilibrium phase, the intensive chemical potential depends on the intensive state variables $T$ and $p$.

Differentiatewith respect to $\lambda$. The chain rule givesSetting $\lambda =1$ proves the Euler theorem for homogeneous functions

Work on an open domain with $xy>0$ and $x\ne 0$, where the displayed square root is real and differentiable. Split $u=v+h$ with $v=\varphi (xy)$ and $h=\sqrt{xy}\psi (y/x)$. For the first term, the chain rule givesso $x^2{v}_{xx}-y^2{v}_{yy}=0$.

For the second term, set $t=y/x$. Its first partial derivatives areThey show $x{h}_x+y{h}_y=h$, the degree-one case of Euler theorem for homogeneous functions. Differentiating that identity with respect to each variable yieldsThe mixed partial derivatives agree here by the chain rule. Multiplying these equations by $x$ and $y$, respectively, proves the second derivative identity for a degree-one homogeneous function:Adding the results for $v$ and $h$ verifies the partial differential equationEquivalently, $h(\lambda x,\lambda y)=\lambda h(x,y)$ for positive $\lambda$, so the same proof follows directly from its homogeneous function property. The statement is local to a domain where the given expression is defined; it does not require assigning values on $x=0$.

Let $t=y/x$. The product rule and the chain rule give the partial derivativesHence the terms containing ${\varphi }^{\prime }$ cancel:This also follows from the Euler theorem for homogeneous functions, because $u(\lambda x,\lambda y)=\lambda u(x,y)$ for $\lambda >0$.

The scaling relation says that $z$ is a homogeneous function of degree $n$. Fix $(x,y)$ and differentiate the identity with respect to the positive parameter $\lambda$. The chain rule givesSetting $\lambda =1$ proves the Euler theorem for homogeneous functions identityDifferentiate once more with respect to $\lambda$, using equality of the mixed partial derivatives for the assumed twice continuously differentiable function:At $\lambda =1$ this is the second-order Euler identity for homogeneous functions:The repeated parameter differentiation accounts for the factor $n(n-1)$, rather than $n^2$.

Assume the homogeneous function is differentiable. Applying the multivariable chain rule to $f(tx,ty)=t^{m}f(x,y)$ gives, for $t$ near $1$,Setting $t=1$ proves Euler theorem for homogeneous functions:Only positive $t$ near $1$ are needed, so the derivation remains valid even when a noninteger $m$ makes the printed phrase “all real $t$” require qualification.