# Orthogonal Trajectories

## Definition and Examples

Let a family of curves be given by the equation

where *C* is a constant. For the given family of curves, we can draw the orthogonal trajectories, that is another family of curves *f* (*x*, *y*) = *C* that cross the given curves at right angles.

For example, the orthogonal trajectory of the family of straight lines defined by the equation *y* = *kx*, where *k* is a parameter (the slope of the straight line), is any circle having center at the origin (Figure 1):

where \(R\) is the radius of the circle.

Similarly, the orthogonal trajectories of the family of ellipses

are confocal hyperbolas satisfying the equation:

Both families of curves are sketched in Figure \(2.\) Here \(a\) and \(b\) play the role of parameters describing the family of ellipses and hyperbolas, respectively.

## General Method of Finding Orthogonal Trajectories

The common approach for determining orthogonal trajectories is based on solving the partial differential equation:

where the symbol \(\nabla\) means the gradient of the function \(f\left( {x,y} \right)\) or \(g\left( {x,y} \right)\) and the dot means the dot product of the two gradient vectors.

Using the definition of gradient, one can write:

Hence, the partial differential equation is written in the form:

Solving the last PDE, we can determine the equation of the orthogonal trajectories \(f\left( {x,y} \right) = C.\)

## A Practical Algorithm for Constructing Orthogonal Trajectories

Below we describe an easier algorithm for finding orthogonal trajectories \(f\left( {x,y} \right) = C\) of the given family of curves \(g\left( {x,y} \right) = C\) using only ordinary differential equations. The algorithm includes the following steps:

- Construct the differential equation \(G\left( {x,y,y'} \right) = 0\) for the given family of curves \(g\left( {x,y} \right) = C.\) See the web page Differential Equations of Plane Curves about how to do this.
- Replace \(y'\) with \(\left( { - \frac{1}{{y'}}} \right)\) in this differential equation. As a result, we obtain the differential equation of the orthogonal trajectories.
- Solve the new differential equation to determine the algebraic equation of the family of orthogonal trajectories \(f\left( {x,y} \right) = C.\)

## Solved Problems

### Example 1.

Find the orthogonal trajectories of the family of straight lines \(y = Cx,\) where \(C\) is a parameter.

Solution.

We apply the algorithm described on the previous page.

\(1)\) First, we construct the differential equation for the family of straight lines \(y = Cx.\) By differentiating the last equation with respect to \(x,\) we get:

Eliminate the constant \(C\) from the system of equations:

We obtain the differential equation of the initial set of straight lines.

\(2)\) Replace \(y'\) with \(\left( { - \frac{1}{{y'}}} \right).\) This gives the differential equation of the orthogonal trajectories:

\(3)\) Now we solve the last differential equation to find the algebraic equation of the family of orthogonal trajectories:

By replacing \(2C\) with \({R^2}\) we see that the orthogonal trajectories for the family of straight lines are concentric circles (Figure \(1\)):

### Example 2.

A family of hyperbolic curves is given by the equation \(y = \frac{C}{x}.\) Find the orthogonal trajectories for these curves.

Solution.

\(1)\) Determine the differential equation for the given family of hyperbolas. Differentiating the equation with respect to \(x\) gives:

Now we eliminate the parameter \(C\) from the system of two equations:

It follows from the first equation that \(C = xy.\) Substituting into the second equation yields:

\(2)\) Replace \(y'\) with \(\left( { - \frac{1}{{y'}} } \right):\)

\(3)\) Now we integrate the differential equation of the orthogonal trajectories:

In the last equation we replaced \(2C\) with just a constant \(C.\) Thus, we have obtained the equation of the family of orthogonal trajectories. As it can be seen, these orthogonal trajectories are also hyperbolas. Both the families of hyperbolas are shown schematically in Figure \(3.\)