Differential Calculus: Several Variables (9hrs) · Engineering Mathematics - I

Euler's theorems

Watch lectures

Euler's theorems

1. Homogeneous Function

f(x,y)f(x,y) is homogeneous of degree nn if, for all t>0t>0:

f(tx,ty)=tnf(x,y)f(tx, ty) = t^n f(x,y)

Equivalently, every term has same total degree in x,yx,y after factoring. Examples:

  • f=x2+y2−xyf= x^2+y^2-xy : degree 22 (t2t^2 factor)
  • f=sin−1(y/x)f= sin^{-1}(y/x) : degree 00 (ratio cancels tt)
  • f=(x3+y3)/(x+y)f= (x^3+y^3)/(x+y) : degree 22
  • f=xlog(y/x)f= x log(y/x) : degree 11 (tt factor: txlog(ty/tx)=t⋅xlog(y/x)tx log(ty/tx)= t·x log(y/x))
    Check: replace x→tx,y→tyx→tx, y→ty, pull tnt^n out.

2. Euler's Theorem — First Order

If f(x,y)f(x,y) is homogeneous of degree nn and has continuous first partials, then:

x∂f/∂x+y∂f/∂y=nfx ∂f/∂x + y ∂f/∂y = n f

For three variables f(x,y,z)f(x,y,z) homogeneous degree nn: xfx+yfy+zfz=nfx f_x + y f_y + z f_z = n f.

Proof sketch: differentiate f(tx,ty)=tnf(x,y)f(tx,ty)=t^n f(x,y) w.r.t. tt at t=1t=1 using chain rule.

3. Euler's Theorem — Second Order (frequently asked)

If ff homogeneous degree nn:

x2fxx+2xyfxy+y2fyy=n(n−1)fx² f_{xx} + 2xy f_{xy} + y² f_{yy} = n(n-1) f

Derived by applying Euler to fx,fyf_x, f_y (each homogeneous degree n−1n-1) and combining.

More generally, with u=f(x,y)u = f(x,y) viewed as u(x,y)u(x,y), examiners may ask for x∂u/∂x+y∂u/∂yx ∂u/∂x + y ∂u/∂y via Euler even when uu is not directly homogeneous but z=F(u)z = F(u) is — then apply chain rule.

4. Trick for z=F(u)z = F(u) Where uu Is Homogeneous

If u=f(x,y)u = f(x,y) homogeneous degree nn and z=Φ(u)z = Φ(u) (e.g., z=sinuz = sin u), then:

xzx+yzy=nuΦ′(u)=nΦ′(u)⋅ux z_x + y z_y = n u Φ'(u) = n Φ'(u)·u

Example: u=(x2+y2)/(x+y)u = (x^2+y^2)/(x+y) (degree 1), z=loguz = log u → xzx+yzy=1⋅u⋅(1/u)=1x z_x + y z_y = 1·u·(1/u)=1? Wait compute: Φ′(u)=1/uΦ'(u)=1/u, so nu⋅1/u=n=1n u·1/u = n =1 ✓

General formula: xzx+yzy=n⋅u⋅Φ′(u)x z_x + y z_y = n·u·Φ'(u).

5. Worked Examples

(a) f= x^3+y^3-3x y^2 : degree 3 ⇒ x f_x + y f_y =3f
    Check: f_x=3x^2-3y^2, f_y=3y^2-6xy ⇒ x f_x+y f_y=3x^3-3x y^2+3y^3-6x y^2=3f ✓

(b) f= sin^{-1}(y/x): f(tx,ty)=sin^{-1}(y/x)=f ⇒ n=0 ⇒ x f_x + y f_y =0
    Compute: f_x= -y/(x√(x^2-y^2)), f_y=1/√(x^2-y^2) ⇒ x f_x+y f_y=0 ✓

(c) u= (x^2+y^2)^{1/2} (degree 1): e.g., show x^2 u_{xx}+2xy u_{xy}+y^2 u_{yy}=0 since n(n-1)=0 ✓

(d) z = tan^{-1}(y/x) (degree 0): x z_x + y z_y =0 ⇒ z_x= -y/(x^2+y^2), z_y= x/(x^2+y^2) ⇒ sum 0 ✓

(e) f= x^n log(y/x): check homogeneous degree n? f(tx,ty)= t^n x^n [log y/x] = t^n f ⇒ degree n ⇒ x f_x+y f_y=n f ✓

(f) Second-order: f= x^4+y^4 degree 4 ⇒ x^2 f_{xx}+2xy f_{xy}+y^2 f_{yy}=12 f

6. Exam Points

  • Test homogeneity and find degree nn — 3 marks, very frequent.
  • State and prove Euler first-order xfx+yfy=nfx f_x + y f_y = n f — 5-7 marks, almost certain.
  • Verify Euler for given ff — 5 marks, very frequent.
  • Second-order form — 5 marks, frequent.
  • Application where z=F(u)z = F(u) with uu homogeneous — 7 marks, very frequent (e.g., z=sin−1(x/y)+cos−1(y/x)z = sin^{-1}(x/y) + cos^{-1}(y/x) type).
Free AppAndroid App

Coursify Android App

Generate AI courses, take quick quizzes between classes, and master complex engineering concepts on the go.

← All Engineering Mathematics - I modules