The Principle of Duality

There exists a certain transformation, due to Legendre, by which a dual relationship can be set up between one equation of the first order and another of the same order. Let X and Y be new variables defined by the relations

X = p , Y = x p y .

and let

P = d Y d X .

Now, assuming that d p d x 0 ,

d X = d p , d Y = x d p + p d x d y = x d p ,

and therefore

P = x .

Also

y = x p Y = X P Y .

Thus the transformation

X = p , Y = x p y

is equivalent to

x = P , y = X P Y .

They are therefore reciprocally related to one another.1

By means of this substitution, either of the equations

F ( x , y , p ) = 0 , F ( P , X P Y , X ) = 0

may be transformed into the other, and in this sense a dual relationship exists between them. When one of the equations is integrable, the other may be integrated by purely algebraical processes.

For instance, let

ϕ ( X , Y ) = 0

be a solution of the second equation, then on differentiating with respect to X ,

ϕ X + ϕ Y P = 0.

Now X , Y , P may be eliminated between these two equations and

x = P , y = X P Y ,

thus giving a solution of the equation

F ( x , y , p ) = 0.

In particular, an equation of the form

Φ ( x p y ) = x Ψ ( p )

would become

Φ ( Y ) = P Ψ ( X ) .

The variables X and Y are now separable, and the equation is integrable by quadratures.

Example.

( y p x ) x = y .

The transformed equation is

P = Y Y + X ;

it is homogeneous, and has the solution,

log Y X Y = const.

Differentiate with respect to X , then

P Y Y X P Y 2 = 0 ,

whence

Y = Y X P P = y x ,

and consequently

X Y = p y / x = p x y .

Hence the solution of the original equation is

log ( y x ) 1 x = const.

or

y = c x e 1 / x .

NOTE. In the case of the Clairaut equation the condition that d p d x 0 is violated for the general solution; this method therefore leads only to the singular solution.

Footnotes

  1. If ( x , y ) and ( X , Y ) are regarded as points in the plane of the variables u , v , the locus of ( x , y ) is the polar reciprocal of the locus of ( X , Y ) with respect to the parabola u 2 = 2 v , and conversely.