What determines how to treat single variable PDEs and thus their constants of integration?

160 Views Asked by At

When solving a first-order ODE (perhaps there is also a way to extend this to a higher order ODE) for $y(x)$, it is possible to shift perspective and consider $x$ to be a function of $y$ by manipulating the differential forms. For example, $\frac{dy}{dx} = h(y)$ can be solved as $\frac{dx}{dy} = \frac{1}{h(y)}$, which may be easier. The moral of the story, very crudely stated, seems to be that derivatives are slopes, and we can inquire about the slope of any variable with respect to any other, regardless of which variables are "actually independent" at the end of the day.

When solving a first-order PDE such as $u_t + 2xu_x = 0$, one of the steps involves considering either $\frac{dt}{dx}$ or $\frac{dx}{dt}$, even though both $x$ and $t$ are independent variables, which I'm fine with due to the above paragraph. However, either of these derivatives are situated within a horizontal slice of $\mathbb{R}^3$, where $u$ is the dimension orthogonal to that slice. Thus these derivatives should technically be partials, and the "ODEs" they create technically single variable PDEs, and more importantly, the constant of integration encountered when we solve either of these "ODEs" should be a function of $u$. In this particular problem (solved using the choices made in the above timestamped video), we would get $x = K(u)e^{2t}$, which produces the correct solution $u = f(xe^{-2t})$ after dividing through by $e^{2t}$ and taking $K^{-1}$ of both sides. In other solution methods for first-order PDEs, constants are explicitly written as functions.

  1. Does thinking about the constant of integration as a function in the context of first-order PDEs always work as it does here, or is this a coincidence? If not, then why is it correct to use a genuine constant here instead of a function of the dimension not involved in the derivative? Again, I'm drawing the conclusion from the first paragraph that $u$ not "actually" being an independent variable makes little difference in this context.

  2. For separation of variables problems, it is similarly common to shorthand partial derivatives as ordinary derivatives once things are separated. For example, if the PDE is $u_{xx} + u_{yy} = 0$, and thus one of the separated equations is $Y_{yy} = \lambda Y$, we often pretend this is the same thing as $Y'' = \lambda Y$. However, we are really solving the former, which takes place within a $2$-dimensional slice of $\mathbb{R}^3$, not the latter, which takes place within $\mathbb{R}^2$. Thus, if we solve it by guessing the particular solution $Y = e^{\sqrt\lambda y}$ and finding the general solution via reduction of order, it seems like we should, for both integrations that occur within reduction of order, write the constants as arbitrary functions of $x$, since integrating within a "constant $x$ slice" of $\mathbb{R}^3$ should yield that arbitrary function. Why is it correct to use a genuine constant here?

Is there a systematic way to decide when integration constants in a three-dimensional problem should be functions, or does it come down to memorizing the decisions presented along with each solution method?