Solution of a PDE and its uniqueness - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T16:27:24Z http://mathoverflow.net/feeds/question/117843 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/117843/solution-of-a-pde-and-its-uniqueness Solution of a PDE and its uniqueness hapchiu 2013-01-02T06:49:07Z 2013-01-03T13:09:44Z <p>Hallo,</p> <p>consider $f: U \times I \rightarrow \mathbb{R}$, where $U \subset \mathbb{R}^{n}$ and $0 \in I \subset \mathbb{R}$ be two open sets. I am looking for the solution $f$ of the following PDE $\sum_{i=0}^{n} (\frac{\partial^{2}f}{\partial t^{2}})^{i} K_{i}(x,t,f,\frac{\partial f}{\partial t}, \frac{\partial^{2} f}{\partial t \partial x_{j}}, \frac{\partial^{2} f}{\partial x_{k} \partial x_{j}}) = 0$, with initial condition $f(x,0) = \frac{\partial f}{\partial t}(x,0) = 0$. Here the $K_{i}$ are analytic functions depending of several variables and $f$ should also be analytic. The solution should not be on the whole $U \times I$, maybe on some smaller open set. Does there exists a solution? If yes, is this solution unique? When does a solution exists? I have read what bryant wrote and it seems now clearly to me. But I have a different suggestion (I am not 100 % convinced but maybe one can point out where I did a mistake). Here is what I thaught: Differentiate the whole PDE expression with respect to $t$, then one obtains: $\frac{\partial }{\partial t}(\sum_{i=0}^{n} (\frac{\partial^{2}f}{\partial t^{2}})^{i} K_{i}(x,t,f,\frac{\partial f}{\partial t}, \frac{\partial^{2} f}{\partial t \partial x_{j}}, \frac{\partial^{2} f}{\partial x_{k} \partial x_{j}})) = 0$. Thus one obtains $\sum_{i=1}^{n}i(\frac{\partial^{2}f}{\partial t^{2}})^{i-1} \cdot (\frac{\partial^{3}f}{\partial t^{3}})K_{i} + (\frac{\partial^{2}f}{\partial t^{2}}) \cdot \frac{\partial K_{i}}{\partial t} + (\frac{\partial^{2}f}{\partial t^{2}}) \cdot \frac{\partial K_{0}}{\partial t} = 0$. Now we write the PDE as: $(\frac{\partial^{3}f}{\partial t^{3}}) \cdot F + G = 0$, where $F = \sum_{i=1}^{n}i(\frac{\partial^{2}f}{\partial t^{2}})^{i-1}K_{i}$ and $G = \sum_{i=1}^{n}(\frac{\partial^{2}f}{\partial t^{2}}) \cdot \frac{\partial K_{i}}{\partial t} + (\frac{\partial^{2}f}{\partial t^{2}}) \cdot \frac{\partial K_{0}}{\partial t}$. Now if $F$ does not vanish on ${t=0}$ we consider the equation $(\frac{\partial^{3}f}{\partial t^{3}}) \cdot F + G = 0$ and can use Cauchy-Kovalewskaya with appropriate initial conditions. This was my guess. Is this right? Where is the mistake? </p> <p>hapchiu</p> http://mathoverflow.net/questions/117843/solution-of-a-pde-and-its-uniqueness/117871#117871 Answer by Robert Bryant for Solution of a PDE and its uniqueness Robert Bryant 2013-01-02T14:05:48Z 2013-01-03T13:09:44Z <p>Here is what you should try: Consider the function $$p(x,\lambda) = K_0(x,0,\ldots,0)+\lambda\ K_1(x,0,\ldots,0) + \cdots + \lambda^n\ K_n(x,0,\ldots,0)$$ For any analytic solution $\lambda=L(x)$ to this polynomial equation that is a simple root of $p(x,\lambda)=0$, then, by the Cauchy-Kovalevskya Theorem, there is a unique solution to your problem on an open neighborhood of $U\times \lbrace0\rbrace$ in $U\times I$ that satisfies $f_{tt}(x,0)=L(x)$. Thus, if there is more than one simple root, you will have more than one solution. </p> <p><em>Added comment:</em> Perhaps I should explain what is meant by 'simple root'. I mean that, first, $p\bigl(x,L(x)\bigr)\equiv0$ and, second, that, when one performs the polynomial division so as to get $p(x,\lambda) = \bigl(\lambda - L(x)\bigr)\ q(x,\lambda)$ where $q$ is analytic in $x$ and polynomial in $\lambda$, then $q\bigl(x,L(x)\bigr)$ is <em>nonvanishing</em> on $U$. Alternatively (i.e., a different way of saying the same thing), one could require that $p\bigl(x,L(x)\bigr)\equiv0$ while $p_\lambda\bigl(x,L(x)\bigr)$ is nonvanishing on $U$, where $p_\lambda$ means the partial derivative of $p$ with respect to $\lambda$. </p> <p>Meanwhile, if you have an analytic solution $\lambda=L(x)$ to this polynomial equation that is not a simple root, there may still be a solution (or there may not), but there are more conditions, and you will need the theory of singular analytic PDE to check them. For example, see R. Gérard and H. Tahara, <em>Singular nonlinear partial differential equations</em>, Aspects of Mathematics, Friedr. Vieweg &amp; Sohn, Braunschweig, 1996.</p>