Ayudar a la solución de una ecuación diferencial parcial

Question

Encontrar todos los $u_0(x)$ para los que

$$ \frac{\partial^2z}{\partial x\partial\theta}-2z=0~;\qquad z(x,0)=u_0(x) $$

tiene una solución, y para cada función, encontrar todas las soluciones.

Answer 1

Formalmente, hay soluciones de la forma $$ z(x,\theta) = \int T(\lambda)\; \exp(\lambda x - 2 \theta/\lambda)\; d\lambda$$ donde $T$ es una distribución en $\mathbb C$, definido en todas las $(x,\theta)$ para los que la integral converge y la mezcla de derivada parcial existe. En $\theta = 0$ desea $$ u_0(x) = \int T(\lambda) \exp(\lambda x)\; d\lambda $$

Por ejemplo, usted podría expresar $u_0$ como una transformada de Fourier como Félix hizo. Pero hay muchas más posibilidades, por ejemplo, $u_0(x) = P(\lambda) \exp(\lambda x)$ para algunos polinomio $P$ $$z(x,\theta) = P\left(\frac{\partial}{\partial \lambda}\right) \exp(\lambda x - 2 \theta/\lambda)$$

Answer 2

En primer lugar, tenga en cuenta que, en el pde puede ser resuelto mediante la separación de las variables técnicas. Suponiendo

$$ z(x,\theta) = F(x)G(\theta) $$

da lugar a dos ecuaciones diferenciales ordinarias

$$ F'(x) = \lambda F(x), \quad G'(\theta)=\frac{2}{\lambda}G(\theta).$$

El por encima de los rendimientos de la solución

$$ z( x,\theta ) = A e^{\lambda x } e^{\frac{2\theta}{\lambda}}\longrightarrow (1) $$

Ahora, aplica la condición inicial para obtener

$$ A = u_0(x) e^{-\lambda x} \implies u_{0}(x) = Ae^{\lambda x}. $$

lo que da la forma general de la $u_{0}(x)$. Ahora, subsbtituting de vuelta en $(1)$ da la solución

$$z( x,\theta ) = u_{0}(x) e^{\frac{2\theta }{\lambda}} .$$

Answer 3

$\displaystyle{% \frac{\partial^{2}\,{\rm z}\left(x,\theta\right)}{\partial x\,\partial\theta} - 2{\rm z}\left(x,\theta\right) = 0; \qquad {\rm z}\left(x, 0\right) = {\rm u_{0}}\left(x\right)}$.

$$ {\rm z}\left(x,\theta\right) \equiv \int_{-\infty}^{\infty}\int_{-\infty}^{\infty} {{\rm d}k_{x}\,{\rm d}\theta \\izquierdo(2\pi\right)^{2}}\, \tilde{\rm z}\left(k_{x}, k_{\theta}\right) {\rm e}^{{\rm i}\left(k_{x}\,x\ +\ k_{\theta}\,\theta\right)} \quad\Longrightarrow\quad \left(-k_{x}k_{\theta} - 2\right)\tilde{\rm z}\left(k_{x}, k_{\theta}\right) = 0 $$ A continuación, $k_{x}$ $k_{\theta}$ no son independientes: $k_{\theta} = -2/k_{x}$ y sólo necesitamos un unidimensional de la transformada de Fourier de la técnica:

$$ {\rm z}\left(x,\theta\right) \equiv \int_{-\infty}^{\infty} {{\rm d}k_{x} \over 2\pi}\, {\rm A}\left(k_{x}\right) {\rm e}^{{\rm i}\left\lbrack k_{x}\,x\ +\ \izquierdo(-2/k_{x}\right)\,\theta\right\rbrack} $$

$$ {\rm u_{0}}\left(x\right) = {\rm z}\left(x,0\right) = \int_{-\infty}^{\infty}{{\rm d}k_{x} \over 2\pi}\,{\rm A}\left(k_{x}\right) {\rm e}^{{\rm i}k_{x}\,x} \quad\Longrightarrow\quad {\rm A}\left(k_{x}\right) = \int_{-\infty}^{\infty}{\rm d}x\, {\rm u_{0}}\left(x\right){\rm e}^{-{\rm i}k_{x}\,x} $$

\begin{align} {\rm z}\left(x,\theta\right) &= \int_{-\infty}^{\infty} {{\rm d}k_{x} \over 2\pi}\,\left\lbrack% \int_{-\infty}^{\infty}{\rm d}x'\, {\rm u_{0}}\left(x'\right){\rm e}^{-{\rm i}k_{x}\,x'} \right\rbrack {\rm e}^{{\rm i}\left\lbrack k_{x}\,x\ -2\theta/k_{x}\right\rbrack} \\[3mm]&= \int_{-\infty}^{\infty} {\rm u_{0}}\left(x'\right)\left\lbrace% \int_{-\infty}^{\infty}{{\rm d}k_{x} \over 2\pi}\, {\rm e}^ {{\rm i}\left\lbrack k_{x}\left(x - x'\right)\ -\ 2\theta/k_{x}\right\rbrack} \right\rbrace\,{\rm d}x' \end{align}

$$ \begin{array}{|c|}\hline\\ {\rm z}\left(x,\theta\right) = \int_{-\infty}^{\infty}{\rm K}\left(x - x', \theta\right) {\rm u_{0}}\left(x'\right)\,{\rm d}x' \\[3mm] {\rm K}\left(x,\theta\right) \equiv \int_{-\infty}^{\infty}{{\rm d}k_{x} \over 2\pi}\, {\rm e}^{{\rm i}\left(k_{x}x - 2\theta/k_{x}\right)} = {1 \over \left\vert x\right\vert}\,\overline{\rm K}\left(2x\theta\right) \\[3mm] \overline{\rm K}\left(\mu\right) \equiv \int_{-\infty}^{\infty}{{\rm d}k_{x} \over 2\pi}\, {\rm e}^{{\rm i}\left(k_{x} - \mu/k_{x}\right)} = \overline{\rm K}^{\,*}\left(\mu\right) \\ \\ \hline \end{array} $$

Una vez $\overline{\rm K}\left(\mu\right)$ es evaluado, ${\rm z}\left(x, \theta\right)$ es totalmente conocido. Sin embargo, sería útil tener alguna información sobre $x$ $\theta$ dominios.

Answer 4

Deje $\begin{cases}p=\sqrt2(x+\theta)\\q=\sqrt2(x-\theta)\end{cases}$ ,

A continuación, $\dfrac{\partial z}{\partial\theta}=\dfrac{\partial z}{\partial p}\dfrac{\partial p}{\partial\theta}+\dfrac{\partial z}{\partial q}\dfrac{\partial q}{\partial\theta}=\sqrt2\dfrac{\partial z}{\partial p}-\sqrt2\dfrac{\partial z}{\partial q}$

$\dfrac{\partial^2z}{\partial x\partial\theta}=\dfrac{\partial}{\partial x}\left(\sqrt2\dfrac{\partial z}{\partial p}-\sqrt2\dfrac{\partial z}{\partial q}\right)=\dfrac{\partial}{\partial p}\left(\sqrt2\dfrac{\partial z}{\partial p}-\sqrt2\dfrac{\partial z}{\partial q}\right)\dfrac{\partial p}{\partial x}+\dfrac{\partial}{\partial q}\left(\sqrt2\dfrac{\partial z}{\partial p}-\sqrt2\dfrac{\partial z}{\partial q}\right)\dfrac{\partial q}{\partial x}=\sqrt2\left(\sqrt2\dfrac{\partial^2z}{\partial p^2}-\sqrt2\dfrac{\partial^2z}{\partial p\partial q}\right)+\sqrt2\left(\sqrt2\dfrac{\partial^2z}{\partial p\partial q}-\sqrt2\dfrac{\partial^2z}{\partial q^2}\right)=2\dfrac{\partial^2z}{\partial p^2}-2\dfrac{\partial^2z}{\partial q^2}$

$\therefore2\dfrac{\partial^2z(p,q)}{\partial p^2}-2\dfrac{\partial^2z(p,q)}{\partial q^2}-2z(p,q)=0$

$\dfrac{\partial^2z(p,q)}{\partial p^2}=z(p,q)+\dfrac{\partial^2z(p,q)}{\partial q^2}$

Similar a la de la PDE - solución con poder serie:

Considere la posibilidad de $z(q,q)=f(q)$$z_p(q,q)=g(q)$ ,

Deje $z(p,q)=\sum\limits_{n=0}^\infty\dfrac{(p-q)^n}{n!}\dfrac{\partial^nz(q,q)}{\partial p^n}$ ,

A continuación, $z(p,q)=\sum\limits_{n=0}^\infty\dfrac{(p-q)^{2n}}{(2n)!}\dfrac{\partial^{2n}z(q,q)}{\partial p^{2n}}+\sum\limits_{n=0}^\infty\dfrac{(p-q)^{2n+1}}{(2n+1)!}\dfrac{\partial^{2n+1}z(q,q)}{\partial p^{2n+1}}$

$\dfrac{\partial^4z(p,q)}{\partial p^4}=\dfrac{\partial^2z(p,q)}{\partial p^2}+\dfrac{\partial^4z(p,q)}{\partial q^2\partial p^2}=z(p,q)+\dfrac{\partial^2z(p,q)}{\partial q^2}+\dfrac{\partial^2z(p,q)}{\partial q^2}+\dfrac{\partial^4z(p,q)}{\partial q^4}=z(p,q)+2\dfrac{\partial^2z(p,q)}{\partial q^2}+\dfrac{\partial^4z(p,q)}{\partial q^4}$

Del mismo modo, $\dfrac{\partial^{2n}z(p,q)}{\partial p^{2n}}=\sum\limits_{k=0}^nC_k^n\dfrac{\partial^{2k}z(p,q)}{\partial q^{2k}}$

$\dfrac{\partial^3z(p,q)}{\partial p^3}=\dfrac{\partial z(p,q)}{\partial p}+\dfrac{\partial^3z(p,q)}{\partial q^2\partial p}$

$\dfrac{\partial^5z(p,q)}{\partial p^5}=\dfrac{\partial^3z(p,q)}{\partial p^3}+\dfrac{\partial^5z(p,q)}{\partial q^2\partial p^3}=\dfrac{\partial z(p,q)}{\partial p}+\dfrac{\partial^3z(p,q)}{\partial q^2\partial p}+\dfrac{\partial^3z(p,q)}{\partial q^2\partial p}+\dfrac{\partial^5z(p,q)}{\partial q^4\partial p}=\dfrac{\partial z(p,q)}{\partial p}+2\dfrac{\partial^3z(p,q)}{\partial q^2\partial p}+\dfrac{\partial^5z(p,q)}{\partial q^4\partial p}$

Del mismo modo, $\dfrac{\partial^{2n+1}z(p,q)}{\partial p^{2n+1}}=\sum\limits_{k=0}^nC_k^n\dfrac{\partial^{2k+1}z(p,q)}{\partial q^{2k}\partial p}$

$\therefore z(p,q)=\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^nf^{(2k)}(q)(p-q)^{2n}}{(2n)!}+\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^ng^{(2k)}(q)(p-q)^{2n+1}}{(2n+1)!}$

$z(x,\theta)=\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^nf^{(2k)}(\sqrt2(x-\theta))\theta^{2n}}{8^n(2n)!}+\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^ng^{(2k)}(\sqrt2(x-\theta))\theta^{2n+1}}{2\sqrt28^n(2n+1)!}$

Este es el caso más general, la solución de $\dfrac{\partial^2z}{\partial x\partial\theta}-2z=0$ .

Ahora $z(x,0)=u_0(x)$ :

$f(\sqrt2x)=u_0(x)$

$f(x)=u_0\left(\dfrac{x}{\sqrt2}\right)$

$\therefore z(x,\theta)=\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^nu_0^{(2k)}(x-\theta)\theta^{2n}}{8^n(2n)!}+\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^ng^{(2k)}(\sqrt2(x-\theta))\theta^{2n+1}}{2\sqrt28^n(2n+1)!}$