EXPANSIÓN DE FUNCIONES PROPIAS Y TRANSFORMACION DEINTEGRAL: APLICACIONES

Las técnicas del capítulo se pueden ceder soluciones exacta aciertos PDE reduciéndolos a ecuaciones diferenciales ordinarias o incluso
a ecuaciones algebraicas. Para el éxito esto es esencial que el PDE sea lineal y por lo tanto permitir soluciones de superposición.
7.1 PRINCIPIO DE SUPERPOSICIÓN
Dejar L [] denota algunas líneas parciales del operador diferencial; e.g., (3.3) entonces por arbitrario suficientemente funciones suaves
u1, … Un y constante arbitrarias C1… Cn,

y entonces

(7.2) es una declaración el principio de superposición.

Para combinaciones lineales infinitas tal que

Ambas convergen tenemos

Y el principio superposición dice

Para una tercera versión suponemos u (x, λ) ser una función de x en Rn dependiendo del parámetro λ, a < λ < b y g (λ) ser una función
integrable de λ en (a, b). Entonces sí

Ambos existen tenemos

Y
7.2 SEPARACIÓN DE VARIABLES
Sí u (x, y) satisface una línea PDE en x y y, entonces el método de superposición de variables para este problema comienza con
asumir que u (x, y) es de la forma X(x) Y(y). Esto tiene el efecto de reemplazar el único PDE con dos ecuaciones diferenciales ordinarias.
La teoría de expansión de funciones propia entra en el tratamiento de cualquier aspecto no homogéneo del problema.

EJEMPLO 7.1 Mediante los problemas resueltos donde aplicamos numerosos métodos de la expansión de funciones propias (separación
de variables) son hechos, observamos que para el método puede ser exitoso, El problema debe seguir los siguientes atributos: sí
1. Al menos una de las variables independientes no en el problema debe ser restringido para un intervalo infinito. Además, el
dominio del problema debe coordinar con la celda el sistema de coordenadas en el que el PDE es expresado. (e.g., en
coordenadas cartesianas, un rectángulo; en coordenadas polares, un sector) ver el problema 7. 17 b.
2. El PDE de debe separarse ver problemas 7. 17 a.
3. En general condiciones de borde homogéneas deben ser arreglado tal qué al menos uno de los problemas separado es un
problema Sturm-Liouville (si esto no es el caso, A menudo se puede hacer por reducción desde problemas o por cambio de
variable dependiente) 7ver problema 7.18 y 7.4
7.3 TRANSFORMACIÓN DE INTEGRAL
La transformación de integral cuales son más generalmente aplicados son la transformada de Fourier y Laplace. Otros, como
transformada Hankel y Mellin, algunas veces útiles, pero éstos no serán considerados aquí.

EJEMPLO 7.2 Examinando los problemas resueltos revelan que transformación de integral se aplicada siguiendo las siguientes
situaciones:
1. La PDE son coeficientes constantes (de otra manera la serie transformada de Laplace o Fourier No produciría una ecuación
ordinaria diferencial en el espacio de transformación.
 2. El rango de variable independiente termina en un intervalo ilimitado. si el intervalo es (-∞, ∞) Entonces la transformada de
Fourier es la probable transformación para usar. Si el intervalo es (0, ∞) y, además, si las condiciones son apropiadas, entonces
la transformación de Laplace es indicada.
PROBLEMAS RESUELTOS
7.1 Para 𝑓(𝑥) en 𝐿2 (0, 𝑙) encontrar 𝑢 (𝑥, 𝑡) satisfaciendo

Asumir que 𝑢 (𝑥, 𝑡) = 𝑋(𝑥)𝑇(𝑡). Entonces

Y sigue para (1) que, por 0 < 𝑥 < 𝑙 𝑦 𝑡 > 0,

Ya que el lado izquierdo de 4 es una función de té solo y el lado derecho es una función de x sostiene equilibrio para todo 0 < 𝑥 < 𝑙 y
cada 𝑡 > 0 Sí y solo si aquí existe una constante, λ, tal qué

para 0 < 𝑥 < 𝑙, 𝑡 > 0. Este equivalente para dos ecuaciones separadas,

además, Las condiciones de borde (3) implica que 𝑋 (0) = 𝑋(𝑙) = 0. Por lo tanto

Es un problema Sturm-Liouville, con valores propios 𝜆𝑛 = (𝑛𝜋/𝑙) 2 y corresponde a funciones propias 𝑋𝑛(𝑥) = 𝑠𝑖𝑛(𝑛𝜋𝑥/𝑙) (𝑛 =
1, 2, ).

Una solución de
es fácil de encontrar 𝑇𝑛(𝑡) = 𝑒 −𝜆𝑛𝐾𝑇 . Así, para cada n, 𝑢𝑛 (𝑥, 𝑡) ≡ 𝑒 −𝜆𝑛𝐾𝑇 𝑠𝑖𝑛 (𝑛𝜋𝑥/𝑙) satisface el PDE (1) Y las condiciones de borde
homogéneas (3). Por el principio de superposición, la función

Estas son propiedades, para algún conjunto de constante Cn por el cual encontrar las series convergen. finalmente, la condición inicial
(2) será satisfactoria sí

Lo que determina Cn como los coeficientes del seno de la serie Fourier para f(x) (ver problema 6.1 B):

7.2 RESOLVER

Por qué la ecuación aquí es no homogénea, debemos modificar el procedimiento de separación de variables. Si 𝐹(𝑥, 𝑡) aquí
es cero, Problema 7.1 daría la solución a

Por lo tanto, prestando la idea de “variación de parámetros “, asumimos una solución de la forma
ciertamente desconocemos la función un(t); además escribimos

aquí los coeficientes Fourier 𝐹𝑛 (𝑡) y fn están dadas por las fórmulas integrales habituales. Sustituyendo (1) y (2) dentro de PDE cede

Y la condición inicial convierte

Por qué {𝑠𝑖𝑛 (𝑛𝜋𝑥/𝑙)} es una completa familia ortogonal en 𝐿2(0, 𝑙), (3) y (4) implica que para n=1, 2…,

Existen varias técnicas estándar para resolver (5) sujeto a (6); Elegimos tomar la transformación de Laplace (5) , aplicando la

línea 3 de la tabla 6-3:

Entonces, invirtiendo la transformación con la ayuda de la línea 7 de la tabla 6 -3,

y (1) convertir
La primera serie de la derecha (8) Sí no refleja la influencia de la condición inicial, 𝑢(𝑥, 0); la segunda serie reflejada la influencia
del término forzado, 𝐹 (𝑥, 𝑡).
7.3 exhibiendo la solución de condición-estable al problema 7.2 si 𝑓(𝑥) ≡ 0 y (a) 𝐹 (𝑥, 𝑡) = Ø(𝑥) (i.e., forzando el tiempo
independiente), (b) 𝐹 (𝑥, 𝑡) = Ø 𝑠𝑖𝑛 𝑡. por simplicidad, tomar 𝑙 = 1.
Por el problema 7.2,

En el cual

Y ya que

Reducir (1) a
Dejando 𝑡 → ∞, obtenemos una solución condición-estable

Diferenciar (3) dos veces con respecto a x,

Esto es, 𝑢∞ (𝑥) satisface la ecuación original de calor no homogénea con todos los tiempos independientes suprimidos. En este
sentido, 𝑢∞ (𝑥) es una solución equilibrada.
 Y

Por lo tanto
Por grandes 𝑡 > 0, u (x, y) aprovechar

Eventualmente, cuando el forzamiento es dependiente del tiempo, la solución estado-estable es también dependiente del
tiempo y no se puede obtener como la solución de una ecuación de calor independiente del tiempo.
7.4 RESOLVER

Si intentamos separar las variables directamente, Deberíamos ser guiado a las siguientes consecuencias de las condiciones de
borde no homogéneas:

Para 𝑡 > 0. Ninguna de estas implica a directamente acerca de 𝑋 (0) o 𝑋(𝑙), y Como resultado no obtenemos un problema de Sturm-
Liouville para 𝑋(𝑥)
el resultado del problema de uno con condiciones de borde homogénea nos deja escribir

el problema para 𝑣 (𝑥, 𝑡), Entonces

dónde
obtenemos la solución enseguida por ajuste 𝑓(𝑥) ≡ 0 en el problema:

Donde los coeficientes de Fourier 𝐹𝑛 son dados por

7.5 Rehaciendo el problema 7.4 por el método de transformación de Laplace

Dejar û (𝑥, 𝑠) denota la transformación de Laplace 𝑢 (𝑥, 𝑦) con respecto a t. entonces:

Con 𝜎 2 ≡ 𝑠/𝑘, 𝑠𝑖𝑛ℎ 𝑥𝜎 y 𝑐𝑜𝑠ℎ 𝑥𝜎 son dos soluciones lineales independientes de (1). También, 𝑠𝑖𝑛ℎ 𝑥𝜎 y 𝑠𝑖𝑛ℎ (𝑙 − 𝑥) σ son soluciones
lineales independientes, y estás serán más conveniente para otros propósitos, ya que Uno de ellos desaparece en 𝑥 = 0, y el otro en
𝑥 = 𝑙. de hecho, la combinación linear

Satisface (1) y (2)

Usando la aproximación del problema 6.6, obtenemos, para 𝑏 > 𝑎 > 0,
De modo que, por la línea 8 de la tabla 6-4,

Escogiendo 𝑏 = 𝑙/√𝑘y 𝑎 = 𝑥/√𝑘 𝑜 (𝑙 − 𝑥) /√𝑘, obtenemos

Para la línea 7 de la tabla 6-3, siguiendo que si definimos

Entonces u (x, t) puede ser expresada en la forma

Esta forma de solución involucra una serie que converge rápidamente a valores pequeños de t, Mientras tanto la forma tenida por
separación de variables es preferida para valores grandes de t.
7.6 RESOLVER

U (x, t) de crecimiento exponencial en x (3)

Esto es bien planteado para problemas por la ecuación de calor, con (3) Jugando el papel de condición de borde en la variable
x. dentro de la transformación de Laplace con respecto a x, el problema se convierte:

Del cual la solución es 𝑈 (𝛼, 𝑡) = 𝐹(𝛼) 𝑒 −𝜆𝑛𝐾𝑇. Invirtiendo por uso de la tabla 6-2, línea 1, y tabla 6-1, línea 8, obtenemos

esto puede ser directamente verificado (ver problema 4.17) qué (4) es una solución de (1)-(2)-(3), independiente de la validad
de los pasos usado sobre la construcción de este. De hecho, esta es la única solución (cf. Problema 4.2)
7.7 RESOLVER

Reduciendo el problema a su problema por 𝑢1(𝑥, 𝑡) y 𝑢2(𝑥, 𝑦) tal que 𝑢 = 𝑢1 + 𝑢2.

SUBPROBLEMA 1

Tomando la transformación de Laplace con respecto a t, obtenemos el problema

La solución de (1) obedece que (2) y (3) es û1 (𝑥, 𝑠) = ĝ (𝑠) 𝑒𝑥𝑝 (−𝑥 √𝑠/𝑘). entonces, por la línea 8 de la tabla 6-4,

SUBPROBLEMA 2

Dejar 𝐹𝑜 (𝑥) Denotando la extensión de 𝑓(𝑥) es una función impar sobre todo eje x, y considerar el problema

es obvio físicamente que una distribución de temperatura inicialmente antisimétrica debe evolucionar anti simétricamente; que es, la
solución 𝑣 (𝑥, 𝑡) de (1)-(2) debería ser impar en x. Si esto es, y adición es continuo y el borde para toda x y toda positiva de t, entonces
esta restricción de x >0 proporciona la solución 𝑢2 (𝑥, 𝑡) del subproblema 2. Ahora por el problema 7.6, la solución única de (1)-(2) es

esto es fácil de ver, bajo condiciones suaves en 𝑓(𝑦), Esta función posee todas las propiedades deseadas.

7.8 Considerar seguir el caso especial del problema 7.7: 𝑓(𝑥) ≡ 0, 𝑔(𝑡) = 𝑔𝑜 =const. Observando que (a) 𝑢 (𝑥, 𝑡) = 𝑔𝑜 𝑒𝑟𝑓𝑐 (𝑥 √4𝑘𝑡);
(b) el “frente” 𝑢 (𝑥, 𝑡) = 𝛼𝑔𝑜 (0 < 𝛼 < 1) propagado dentro de la región 𝑥 > 0 a velocidad 𝑧𝑜 √4𝑘𝑡, donde erfc 𝑧𝛼 = 𝛼.
(a) para problema 7.7,

La transformación 𝜆2 = 𝑥2 7 4𝑘(𝑡 − 𝜏) cambia esto a

(b) para 0<α<1, deja zα denota la única solución 𝑧𝛼 = 𝛼.Entonces 𝑢 (𝑥, 𝑡) = 𝑔𝑜 para toda x y t que satisface 𝑥 = 𝑧𝛼 √4𝑘𝑡. Por lo
tanto, a veces t>0, el punto xα(t) en el cual 𝑢 = 𝛼𝑔𝑜 se mueve con velocidad

7.9 RESOLVER

Suponemos 𝑢 (𝑥, 𝑡) = 𝑋(𝑥)𝑇(𝑡) y son dirigidos a

Esto cede dos problemas separados:

Y

Las soluciones respectivas son, con

Por lo tanto,

Ahora la condición inicial (2) requiere

Estas condiciones serán satisfechas sí 𝐴𝑛 𝑦 (𝑛𝜋𝑎/𝑙) 𝐵𝑛 respectivamente igual fn y gn, los coeficientes de la serie sinusoidal de Fourier
de las funciones f(x) y g(x). por lo tanto,

Por uso de la relación

Podemos reescribir (4) como

Evidentemente, como se sugirió en el problema 4.14 (a), el problema del valor del límite inicial (1)-(2)-(3) Es equivalente al problema
de valor inicial puro en el cual el dato inicial son las funciones periódicas Fo y Go. En efecto, tales datos, la separación de variables en
una franja de medio período ha conducido a la misma solución D’Alembert de la ecuación de onda según el método de características
proporcionado cuando se aplica sobre todo el conjunto del plano xt. Ver problema 4.10
7.10 RESOLVER

Para una f y g periódica especial, la solución ya se ha encontrado en el problema 7.9. Aquí nuevamente recuperaremos la
fórmula D’Alembert. Aplicar la transformada de Fourier en x para obtener

Resolviendo (1), 𝑈(𝛼, 𝑡) = 𝐴1 sin 𝑎𝛼𝑡 + 𝐴2 cos 𝑎𝛼𝑡; entonces (2) y (3) implica 𝐴2 = 𝐹(𝛼), 𝐴1 = 𝐺(𝛼)/𝑎𝛼. Por lo tanto

Donde hemos elegido escribir cos aαt en la exponencial por conveniencia en la inversión. Usando la tabla 6-1 y 6-2. Obtenemos:
7.11 RESOLVER

La aproximación del problema 7.7 quizás sea mejor aquí.

Subproblema 1

De la manera habitual, extendimos el problema a x <0 al hacer los datos iniciales en las funciones de x; esto (más continuidad)
obliga 𝑢1 = (0, 𝑡) = 0

El problema 7.10 da

Y entonces

Subproblema 2

Aplicando la transformación de Laplace en t, tenemos

Entonces, û2 (𝑥, 𝑠) = 𝐶1 𝑒 −𝑥𝑠/𝑎 + 𝐶2 𝑒 −𝑥𝑠/𝑎 . En el orden que 𝑢2 (𝑥, 𝑡) permanecer delimitado para todas las x y t positivas, requerimos
que 𝐶2 = 0. La condición inicial implica entonces 𝐶1 = ℎ̂(𝑠), y obtenemos

Entonces sigue para la línea 6 de la tabla 6-3 que

Otra solución,

Debe compararse con la figura 7.1, el diagrama característico.

Para 𝑥 = 𝑥𝑜 en tiempo 𝑡 = 𝑡0 < 𝑥0 /𝑎, el dominio depende del intervalo [𝑥0 − 𝑎𝑡0 , 𝑥0 + 𝑎𝑡0 ]. Además, las características atrasadas a
través de (𝑥𝑜 , 𝑡0 ) no se vean la línea x= 0 in la mitad del plano t>0.
Por lo tanto,

Para 𝑡 = 𝑡1 < 𝑥0 /𝑎, el dominio depende de (𝑥𝑜 , 𝑡1 ) en el intervalo de [𝑎𝑡1 − 𝑥0 , 𝑎𝑡1 + 𝑥0 ], y una de las atrasadas características
(𝑥𝑜 , 𝑡1 ) cortan la línea 𝑥 = 0 para 𝑡 = 𝑡1 − (𝑥0 /𝑎). Entonces,

7.12 RESOLVER

En el camino usual, nosotros de reducimos esto en dos simples sus problemas con solución tal que 𝑢 = 𝑢1 + 𝑢2
Subproblema 1

Esto es solo el subproblema 2 del problema 7.11, por lo tanto,

Subproblema 2

O extendiendo f y u es una función impar de x,

La solución para v puede obtenerse inmediatamente el principio de Duhamel (problema 4.22) y la solución de la ecuación de la onda
de D’Alembert (problema 7.10) para los datos iniciales prescritos en 𝑡 = 𝜏. Entonces,

(1)
Finalmente, restringiendo v para x>0, obtenemos para (1), por 0 ≤ 𝑡 ≤ 𝑥/𝑎

Para 0 ≤ 𝑥/𝑎 ≤ 𝑡, el triángulo de integración en (1) debe ser descompuesta dentro de las dos regiones, indicada en la fig. 7.2.
Encontramos:
7.13 Resolver el siguiente problema de Dirichlet por la ecuación de Laplace:

Si suponemos que 𝑢(𝑟, 𝜃) = 𝑅(𝑟)𝛩(𝜃), entonces, en la manera usual, encontramos:

Someter a 𝛩(−𝜋) = 𝛩(𝜋) and 𝛩′(−𝜋) = 𝛩′(𝜋). Así la separación de problemas es

Es encontrado en la sección 6.4, de los valores propios de problemas Θ son 𝜆𝑛 = 𝑛2 (𝑛 = 0,1,2, … ), con funciones propias
correspondientes

Y 𝛩0 (𝜃) = 1. Ahora el problema r se puede resolver para dar

La superposición para 𝑢(𝑟, 𝜃) es, por lo tanto

La condición de borde 𝑢(1, 𝜃) = 𝑓(𝜃) ahora determina 𝐶𝑛 como los coeficientes en las series complejas de Fourier para 𝑓(𝜃) termina
(−𝜋, 𝜋):

[cf. (6.15c)]. Sustituyendo de (2) en (1), y transponiendo la sumatoria e integración, produce

Pero, por la formula por la suma de una serie geométrica,

And
Donde la integral de Poisson es la formula en el círculo de unidad de R2.

7.14 RESOLVER

El uso de la transformación de Fourier en x es indicado:

La solución del problema de transformación permanece limitada para y grande es

Invirtiendo por medio de la tabla 6-2, línea 3 y tabla 6-1, línea 8, encontramos:

Notando que el cambio de variable 𝑧 = 𝑦 tan 𝜂 tomando la segunda integral (1) en

Por lo tanto, para 𝑓(𝑥) continua,

7.15 RESOLVER

Dejar 𝑤(𝑥, 𝑦) ≡ 𝑢𝑦 (𝑥, 𝑦). Entonces 𝑤(𝑥, 𝑦) satisface

Para encontrar (1) por el problema 7.14

𝑦
Ahora, 𝑢(𝑥, 𝑦) = ∫ 𝑤(𝑥, 𝜁)𝑑𝜁 + 𝐶(𝑥). Una antiderivada-y de w es obtenida integrando en y bajo el signo integral en (1):

Como para C(x), esto debe ser acotado y armónico; por lo tanto, una constante. (Si u es una temperatura condición-estable, C es una
referencia arbitraria de temperatura.)

7.16 RESOLVER
 Ninguna variable es restringida para un intervalo limitado; así que para separación de variables no es lo indicado. Ninguna
variable varía en toda la línea real; así que la transformada de Fourier no parece aplicarse. Finalmente, la transformada de Laplace no
es aplicada, ya que la ecuación es de segundo orden en toda la variable, pero aquí es solo una condición inicial para toda la variable.
Sin embargo, una reducción del problema a dos subproblemas,

Permite la aplicación de la transformación de Fourier.

Subproblema 1

Previamente, obtenemos 𝑢1 es la restricción del primer cuadrante de una función v que satisface

Donde 𝐹0 (𝑥) denota la extensión impar de 𝑓(𝑥). Por (1) del problema 7.14,

Subproblema 2

Esto es solo el subproblema 1 con 𝑥 y 𝑦 intercambiada y 𝑓 remplazada por 𝑔; donde 𝑢2 s la restricción del primer cuadrante de

7.17 Da dos ejemplos de problemas de valor de límite para lineales PDEs, donde falla la separación de variables.

Si suponemos que 𝑢(𝑥, ) = 𝑋(𝑥)𝑌(𝑦), entonces 𝑋”(𝑥)𝑌(𝑦) + 𝑋’(𝑥)𝑌’(𝑦) + 𝑋(𝑥)𝑌”(𝑦) = 0 y no hay manera de separar esta
expresión para tener una función de x solo en un lado de la ecuación y una función de y solo en el otro lado.

Si suponemos que 𝑢(𝑥, ) = 𝑋(𝑥)𝑌(𝑦), entonces la ecuación se separa en dos ecuaciones diferenciales ordinarias. sin embargo,
las condiciones de contorno no condujeron a un problema de tipo Sturm-Liouville ya sea para X(x) o Y(y). Lo difícil radica en el hecho
de que la región {0 < 𝑥 < 1, 0 < 𝑦 < 𝑥} no es una celda de coordenada. Este problema puede, de hecho, resolverse por medio de una
inteligente transformación (ver problema 7.18). en general, cuando Ω no es una celda de coordenadas, no es posible tal transformación.

7.18 Transformar Problema 7.17(b) para que se convierta en separable, y realice la solución. Para la convergencia de la serie, se asume
que 𝑓(0) = 𝑓(1) = 0
 Extender el problema al cuadrante 0 < 𝑥 < 1, 0 < 𝑦 < 1, haciendo los datos de limites antisimétricos con respecto a la
diagonal de 𝑦 = 𝑥 (ver figura 7-3). Aquí forzando 𝑣(𝑥, 𝑥) = 0. Ahora descomponga el problema 𝑣 dentro del subproblema 2 tal que
𝑣 = 𝑣2 + 𝑣2

Subproblema 1

Sobre separación de variables, la tercera condición de limite homogéneo tiene funciones propias

Permaneciendo la condición de limite entonces determine los coeficientes de superposición Cn a través de

(El coeficiente n en la serie del seno de Fourier para f). por lo tanto,

Subproblema 2 es solo el subproblema 1 con 𝑥 y 𝑦 intercambiado y 𝑓 remplazado por −𝑓. Por consiguiente,

Concluimos que la solución del problema 7.17(b) es