1 votos

Extrayendo una EDP desconocida de una curva característica conocida

Mi pregunta se refiere a lo que supongo se llamaría el método general de las características para ecuaciones de tercer orden. Estoy buscando una EDP para una función de dos variables $x$ y $y$ teniendo una curva característica en la forma $$ y^2=x^3+\alpha x+\beta. $$ Este tipo de curva se llama una curva elíptica. $\alpha$ y $\beta$ son dos constantes y el discriminante elíptico es tal que la curva es no singular (obviamente). Voy a hacer un ejemplo usando el método de las características para ecuaciones de primer orden, y luego diré más precisamente lo que estoy buscando una vez que haya establecido el contexto. Dada una función $u(x,y)$ y $$ \partial_x u+\alpha\,\partial_y u=0, $$ Siguiendo lo que entiendo que es el procedimiento algorítmico normal para resolver tales EDPs, introduciré $$ \dfrac{dy}{ds}=\alpha\qquad\qquad \dfrac{dx}{ds}=1\qquad\qquad \dfrac{dz}{ds}=0. $$ La integración produce $$ y(s)=as+c_1\qquad\qquad x(s)=s+c_2 \qquad\qquad z(s)=c_3. $$ Eliminando $s$, encontramos que las curvas características para la EDP se dan por las siguientes líneas en $\mathbb{R}^3$: $$ y-\alpha x=y_0\qquad\text{and}\qquad z=k. $$ Aquí, $y_0$ y $k$ son dos constantes. Se deduce que $z(x,y)$ es constante cuando $y-\alpha x$ es constante. Estableciendo $u=z$, encontramos que $u(x,y)=f(y-\alpha x)$ es una solución a la EDP establecida.

Ahora, mi pregunta: Quiero encontrar una EDP para $u(x,y)$ cuya curva característica en el plano de esas variables (significando el análogo de $y-\alpha x=y_0$) sea una curva elíptica.

1voto

ILIV Puntos 421

$$y^2=x^3+\alpha x+\beta \tag 1$$ $$2y\frac{dy}{dx}=3x^2+\alpha$$ $$y\frac{d^2y}{dx^2}+\left(\frac{dy}{dx}\right)^2=3x\tag 2$$ Eliminando $\alpha$ y $\beta$ de la Ec.$(1)$ se obtiene la EDO $(2)$. Esto se puede escribir de manera equivalente en una forma particular de EDP en la cual aparece una variable ficticia (por ejemplo $t$) pero no está involucrada en la EDP : $$u(x,t)=y(x)\quad\implies\quad u_x=\frac{dy}{dx}\quad\text{y}\quad u_{xx}=\frac{d^2y}{dx^2}$$ $$\boxed{y\:u_{xx}+(u_x)^2=3x}\tag 3$$ La Ec. $(1)$ es una solución particular entre la infinidad de soluciones de la Ec. $(3)$.

Entonces, la respuesta a la pregunta original no es única pero no puede ser una EDP lineal de primer orden.

Si consideramos la EDP de primer orden : $$u_x+A(x,y)u_y=0$$ una ecuación característica es : $$y-\int A(x,y)dx=\text{constante}$$ y la solución general es : $$u(x,y)=f\left(y-\int A(x,y)dx\right)\quad\text{con función arbitraria }f.$$ o $u(x,y)=f(y-Ax)$ si $A$ es constante, como se encontró correctamente.

Para que la Ec. $(1)$ sea una ecuación característica es necesario que $$\frac{dy}{dx}-A(x,y)=0 \quad\implies\quad 2y\frac{dy}{dx}=3x^2+\alpha=2yA(x,y)$$ Así que la EDP lineal de primer orden es : $$u_x+\frac{1}{2y}(3x^2+2\alpha)u_y=0$$ $$2yu_x+(3x^2+2\alpha) u_y=0$$ Dado que la constante $\alpha$ permanece, es necesaria otra diferenciación para hacerla desaparecer, lo que conduce a una EDP no lineal de segundo orden. Dependiendo de la variable elegida para diferenciar, se pueden obtener diferentes EDP. Esto no es sorprendente ya que una infinidad de EDP de segundo orden son solución de la pregunta.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X