Clairaut's equation: Difference between revisions

From Calculus
Line 53: Line 53:
<math>0 = x^2y' + \cos(y + xy')</math>
<math>0 = x^2y' + \cos(y + xy')</math>
   
   
We first note that the expression whose cosine is being taken is the derivative of <math>xy</math>, hence the natural choice of substitution is to try for <math>u = xy</math>. Our next step is to try and write <math>x^2y'</math> in terms of <math>u</math> and <math>u'</math>. Recall that <math>u = xy</math> and <math>u' = y + xy'</math>, so <math>x^2y' = x(u' - y)</math>, so:
We first note that the expression whose cosine is being taken is the derivative of <math>xy</math>, hence the natural choice of substitution is to try for <math>u = xy</math>. Our next step is to try and write <math>x^2y'</math> in terms of <math>u</math> and <math>u'</math>. Recall that <math>u = xy</math> and <math>u' = y + xy'</math>, so <math>xy' = u' - y</math>, so <math>x^2y' = x(xy') = x(u' - y)</math>, so:


<math>0 = x(u' - y) + \cos(u')</math>
<math>0 = x(u' - y) + \cos(u')</math>

Revision as of 21:17, 6 July 2012

Definition

Form of the differential equation

Clairaut's equation is a first-order differential equation of the form:

y=xdydx+f(dydx)

Here, f is a suitable function.

Solution method and formula

Differentiate both sides with respect to x and obtain:

dydx=dydx+[x+f(dydx)]d2ydx2

Cancel the common term from both sides and obtain:

0=[x+f(dydx)]d2ydx2

This gives two possible solution types:

d2ydx2=0

x+f(dydx)=0

Note that when we differentiated, we lost information, so it is not true that all solutions of the differentiated equation solve the original equation. Rather, we need to plug these solutions into the original equation to constrain them. We have the following:

  • The solutions for the d2ydx2=0 case are straight lines of the form y=Cx+f(C). This is the solution family for the general solution.
  • The solution for the x+f(dydx)=0 case is unique: it is a parametric curve given by x=f(p),y=f(p)pf(p) where p=dy/dx is the parameter moving along the curve. This is the singular solution. The curve representing this is the envelope of the general solution curves.

Related equations

  • Lagrange equation is a more general setup that includes Clairaut's equation as a special case in terms of method, albeit a special case that is qualitatively somewhat different.

Examples

We will denote dy/dx by y.

Simple example

y=xy+cos(y)

The solutions are:

  • The solution family for the general solution is y=Cx+cosC, with CR.
  • There is a special solution given parametrically by x=sinp,y=cosp+psinp, with pR. Note that this is a single solution; the parameter p varies to cover the points of the solution, and it is different from the notion of parameter for a family of solutions.

Clairaut's after substitution

Consider the equation:

0=x2y+cos(y+xy)

We first note that the expression whose cosine is being taken is the derivative of xy, hence the natural choice of substitution is to try for u=xy. Our next step is to try and write x2y in terms of u and u. Recall that u=xy and u=y+xy, so xy=uy, so x2y=x(xy)=x(uy), so:

0=x(uy)+cos(u)

Rearrange to get:

xy=xu+cos(u)

Now plug u=xy on the left to get:

u=xu+cos(u)

This is a Clairaut's equation with dependent variable u and independent variable x, so the solutions are:

  • The solution family for the general solution is xy=Cx+cosC, with CR. This can be rewritten as y=C+(cosC)/x, with CR.
  • There is a special solution given parametrically by x=sinp,xy=cosp+psinp, with pR. This can be rewritten as x=sinp,y=cotp+p, with pR.