
En matemáticas , una función de Green (o función de Green [ 1 ] ) es la respuesta impulsional de un operador diferencial lineal no homogéneo definido en un dominio con condiciones iniciales o condiciones de contorno especificadas.
Esto significa que sies un operador diferencial lineal, entonces
- la función de Greenes la solución de la ecuacióndóndees la función delta de Dirac ;
- la solución del problema no homogéneoes la convolución ,
Por el principio de superposición , dada una ecuación diferencial ordinaria lineal (EDO),, uno puede resolver primero, para cada s . Si la fuente es una suma de funciones delta , entonces la solución también es una suma de funciones de Green debido a la linealidad de L . Esto significa que la integral, vista como una suma continua, puede reconstruir una amplia clase de fuentes,, a través de la integral de convolución . Siempre que la integral deconconverge, entonces la solución a la ecuación no homogénea,, se da por. [ 2 ]
Las funciones de Green reciben su nombre del matemático británico George Green , quien desarrolló el concepto por primera vez en la década de 1820. En el estudio moderno de las ecuaciones diferenciales parciales lineales , las funciones de Green se estudian principalmente desde el punto de vista de las soluciones fundamentales , que tienen en cuenta el lenguaje moderno de la teoría de distribuciones o funciones generalizadas. [ 2 ]
Partiendo del principio de superposición en la teoría de muchos cuerpos , el término también se utiliza en física e ingeniería, específicamente en teoría cuántica de campos , aerodinámica , aeroacústica , electrodinámica , sismología y teoría estadística de campos , para referirse a diversos tipos de funciones de correlación , incluso aquellas que no se ajustan a la definición matemática. En la teoría cuántica de campos, las funciones de Green desempeñan el papel de propagadores , también conocidas como funciones de dos puntos (de correlación). [ 3 ]
Definición y usos
Una función de Green, G ( x , s ) , de un operador diferencial lineal L = L ( x ) que actúa sobre distribuciones en un subconjunto del espacio euclidiano, en un punto s , es cualquier solución de
donde δ es la función delta de Dirac . Esta propiedad de una función de Green puede ser explotada para resolver ecuaciones diferenciales de la forma
Si el núcleo de L no es trivial, la función de Green no es única. Sin embargo, en la práctica, alguna combinación de simetría , condiciones de contorno u otros criterios impuestos externamente dará como resultado una función de Green única. Las funciones de Green se pueden clasificar mediante un número de función de Green según el tipo de condiciones de contorno que se satisfacen. Las funciones de Green no son necesariamente funciones de una variable real, sino que generalmente se entienden en el sentido de distribuciones .
Las funciones de Green también son herramientas útiles para resolver ecuaciones de onda y ecuaciones de difusión . [ 4 ] [ 5 ] En mecánica cuántica , la función de Green del hamiltoniano es un concepto clave con vínculos importantes con el concepto de densidad de estados .
La función de Green, tal como se usa en física, se define generalmente con el signo opuesto. Es decir, Esta definición no altera significativamente ninguna de las propiedades de la función de Green debido a la uniformidad de la función delta de Dirac.
Si el operador es invariante a la traslación , es decir, cuandotiene coeficientes constantes con respecto a x , entonces la función de Green puede tomarse como un núcleo de convolución , es decir, En este caso, la función de Green es la misma que la respuesta impulsional de la teoría de sistemas lineales invariantes en el tiempo .
Motivación
En términos generales, si se puede encontrar una función G para el operador L , entonces, si multiplicamos la ecuación 1 para la función de Green por f ( s ) y luego integramos con respecto a s , obtenemos: Porque el operadores lineal y actúa solo sobre la variable x (y no sobre la variable de integración s ), se puede tomar el operadorfuera de la integración, lo que produce Esto significa que
es una solución de la ecuación
Así, se puede obtener la función u ( x ) a través del conocimiento de la función de Green en la ecuación 1 y el término fuente en el lado derecho en la ecuación 2 . Este proceso se basa en la linealidad del operador L .
En otras palabras, la solución de la ecuación 2 , u ( x ) , se puede determinar mediante la integración dada en la ecuación 3. Aunque se conoce f ( x ) , esta integración no se puede realizar a menos que también se conozca G. El problema ahora radica en encontrar la función de Green G que satisface la ecuación 1. Por esta razón, la función de Green también se denomina a veces solución fundamental asociada al operador L.
No todos los operadoresadmite una función de Green. Una función de Green también puede considerarse como la inversa derecha de L. Además de las dificultades para hallar una función de Green para un operador particular, la integral en la ecuación 3 puede ser bastante difícil de evaluar. Sin embargo, el método proporciona un resultado teóricamente exacto.
Esto puede pensarse como una expansión de f según una base de funciones delta de Dirac (proyectando f sobrey una superposición de la solución en cada proyección . Dicha ecuación integral se conoce como ecuación integral de Fredholm , cuyo estudio constituye la teoría de Fredholm .
Funciones de Green para resolver problemas de contorno no homogéneos
El uso principal de las funciones de Green en matemáticas es resolver problemas de contorno no homogéneos . En la física teórica moderna , las funciones de Green también se utilizan habitualmente como propagadores en diagramas de Feynman ; además, el término función de Green se usa a menudo para referirse a cualquier función de correlación .
Estructura
Dejarsea un operador de Sturm-Liouville , un operador diferencial lineal de la forma y dejarsea el operador de condiciones de contorno con valores vectoriales
Dejarser una función continua en. Supongamos además que el problema es regular, es decir, la única solución parapara todo x es.
Teorema
Existe una única solución.que satisface y es dado por dóndees una función de Green que satisface las siguientes condiciones:
- es continuo eny.
- Para, .
- Para, .
- Derivado "salto": .
- Simetría: .
Funciones avanzadas y retardadas de Green
La función de Green no es necesariamente única, ya que la suma de cualquier solución de la ecuación homogénea a una función de Green da como resultado otra función de Green. Por lo tanto, si la ecuación homogénea tiene soluciones no triviales, existen múltiples funciones de Green. Ciertos problemas de valores iniciales o de contorno implican encontrar una función de Green que no se anule solo para; en este caso, la solución a veces se denomina función de Green retardada. [ 6 ] De manera similar, una función de Green que no se anula solo parase denomina función de Green avanzada. [ 7 ] En tales casos, cualquier combinación lineal de las dos funciones de Green también es una función de Green válida. Tanto las funciones de Green avanzadas como las retardadas se denominan unilaterales, mientras que una función de Green que no se anula para todosEn el dominio de la definición se denomina bilateral. [ 8 ]
La terminología avanzada y retardada resulta especialmente útil cuando la variable x corresponde al tiempo. En tales casos, la solución proporcionada por el uso de la función de Green retardada depende únicamente de las fuentes pasadas y es causal , mientras que la solución proporcionada por el uso de la función de Green avanzada depende únicamente de las fuentes futuras y es acausal. En estos problemas, a menudo la solución causal es la físicamente relevante. Sin embargo, la función de Green avanzada es útil para encontrar soluciones a ciertos problemas inversos donde las fuentes deben obtenerse a partir de datos de contorno. El uso de la función de Green avanzada y retardada es particularmente común para el análisis de soluciones de la ecuación de onda electromagnética no homogénea . [ 9 ]
Encontrar las funciones de Green
Desarrollos en valores propios
Si un operador diferencial L admite un conjunto de autovectores Ψ n ( x ) (es decir, un conjunto de funciones Ψ n y escalares λ n tales que L Ψ n = λ n Ψ n ) que es completo, entonces es posible construir una función de Green a partir de estos autovectores y autovalores .
"Completo" significa que el conjunto de funciones {Ψ n } satisface la siguiente relación de completitud :
Entonces se cumple lo siguiente:
dónderepresenta la conjugación compleja.
Al aplicar el operador L a cada lado de esta ecuación, se obtiene la relación de completitud que se había asumido.
El estudio general de la función de Green escrita en la forma anterior, y su relación con los espacios de funciones formados por los autovectores, se conoce como teoría de Fredholm .
Existen otros métodos para encontrar las funciones de Green, incluyendo el método de imágenes , la separación de variables y las transformadas de Laplace . [ 10 ]
Representaciones en términos del Wronskiano
Dejarsea el operador diferencial lineal general de segundo orden definido en. Nosotros escribimos
Supongamos queyEn conjunto forman una base de soluciones linealmente independientes para el problema homogéneo.Dadas condiciones de contorno homogéneas para la función de Green, podemos construiral exigiryLa función de Green que satisface estas condiciones, junto con la continuidad dey su derivado "salto", se puede escribir como
dóndese conoce como el determinante wronskiano deyAunque se trata de un caso algo limitado, el Wronskiano aparece con frecuencia en otros conjuntos de problemas de valores en la frontera que también requieren una función de Green unilateral (avanzada/retardada), incluidos aquellos con condiciones sobre derivadas en la frontera ( condiciones de Neumann ) o un par de condiciones sobre una función y su derivada normal en una sola frontera ( condiciones de Cauchy ).
Combinando las funciones de Green
Si el operador diferencialpuede ser factorizado comoentonces la función de Green dese puede construir a partir de las funciones de Green paray: La identidad anterior se deduce inmediatamente de tomarser la representación del operador inverso derecho de, análogo a cómo para el operador lineal invertible, definido por, está representado por sus elementos de matriz.
Se obtiene una identidad adicional para operadores diferenciales que son polinomios escalares de la derivada,. El teorema fundamental del álgebra , combinado con el hecho de queconmuta consigo mismo , garantiza que el polinomio se puede factorizar, poniendoen el formato: dóndeson los ceros de. Tomando la transformada de Fourier decon respecto a ambosyda: La fracción se puede dividir entonces en una suma utilizando una descomposición en fracciones parciales antes de aplicar la transformada de Fourier de nuevo ayespacio. Este proceso produce identidades que relacionan integrales de las funciones de Green y sumas de las mismas. Por ejemplo, siEntonces, una forma para su función de Green es: Si bien el ejemplo presentado es manejable analíticamente, ilustra un proceso que funciona cuando la integral no es trivial (por ejemplo, cuandoes el operador en el polinomio).
Tabla de funciones de Green
La siguiente tabla ofrece una visión general de las funciones de Green de operadores diferenciales que aparecen con frecuencia, donde,,es la función escalón de Heaviside ,es una función de Bessel ,es una función de Bessel modificada de primer tipo yes una función de Bessel modificada de segundo tipo . [ 11 ] Donde aparece tiempo ( t ) en la primera columna, se muestra la función de Green retardada (causal).
Funciones de Green para el laplaciano
Las funciones de Green para operadores diferenciales lineales que involucran al laplaciano se pueden utilizar fácilmente mediante la segunda de las identidades de Green .
Para derivar el teorema de Green, comience con el teorema de la divergencia (también conocido como teorema de Gauss ),
Dejary sustituir en la ley de Gauss.
Calculary aplicar la regla del producto para el operador ∇,
Sustituyendo esto en el teorema de la divergencia se obtiene el teorema de Green ,
Supongamos que el operador diferencial lineal L es el laplaciano , ∇ 2 , y que existe una función de Green G para el laplaciano. La propiedad definitoria de la función de Green sigue siendo válida,
DejarEn la segunda identidad de Green, véase Identidades de Green . Luego,
Utilizando esta expresión, es posible resolver la ecuación de Laplace ∇²φ ( x ) = 0 o la ecuación de Poisson ∇²φ ( x ) = −ρ ( x ) , sujetas a condiciones de contorno de Neumann o Dirichlet . En otras palabras, podemos calcular φ ( x ) en cualquier punto dentro de un volumen donde (1) el valor de φ ( x ) se especifica en la superficie límite del volumen (condiciones de contorno de Dirichlet), o (2) la derivada normal de φ ( x ) se especifica en la superficie límite (condiciones de contorno de Neumann).
Supongamos que el problema consiste en calcular φ ( x ) dentro de la región. Entonces la integral se reduce simplemente a φ ( x ) debido a la propiedad definitoria de la función delta de Dirac y tenemos
Esta forma expresa la conocida propiedad de las funciones armónicas , que si se conoce el valor o la derivada normal en una superficie límite, entonces se conoce el valor de la función dentro del volumen en todas partes .
En electrostática , φ ( x ) se interpreta como el potencial eléctrico , ρ ( x ) como la densidad de carga eléctrica y la derivada normal.como el componente normal del campo eléctrico.
Si el problema consiste en resolver un problema de contorno de Dirichlet, la función de Green debe elegirse de manera que G ( x , x ′ ) se anule cuando x o x′ se encuentren en la superficie límite. Por lo tanto, solo queda uno de los dos términos de la integral de superficie . Si el problema consiste en resolver un problema de contorno de Neumann, podría parecer lógico elegir la función de Green de manera que su derivada normal se anule en la superficie límite. Sin embargo, la aplicación del teorema de Gauss a la ecuación diferencial que define la función de Green produce lo que significa que la derivada normal de G ( x , x ′ ) no puede anularse en la superficie, porque debe integrarse a 1 en la superficie. [ 14 ]
La forma más simple que puede tomar la derivada normal es la de una constante, a saber, 1/ S , donde S es el área de la superficie. El término de superficie en la solución se convierte en dóndees el valor promedio del potencial en la superficie. Este valor no se conoce generalmente, pero suele ser irrelevante, ya que el objetivo suele ser obtener el campo eléctrico dado por el gradiente del potencial, en lugar del potencial en sí.
Sin condiciones de contorno, la función de Green para el laplaciano ( función de Green para la ecuación de Laplace de tres variables ) es
Suponiendo que la superficie límite se extiende hasta el infinito y sustituyendo esta expresión para la función de Green, finalmente se obtiene la expresión estándar para el potencial eléctrico en términos de densidad de carga eléctrica como
Ejemplo
Encuentra la función de Green para el siguiente problema, cuyo número de función de Green es X11:
Primer paso: La función de Green para el operador lineal en cuestión se define como la solución de
Si, entonces la función delta da cero, y la solución general es
Para, la condición de contorno enimplica siy.
Para, la condición de contorno enimplica
La ecuación deSe omite por razones similares.
Para resumir los resultados hasta el momento:
Segundo paso: La siguiente tarea es determinary.
Garantizar la continuidad en la función de los Verdes enimplica
Se puede asegurar una discontinuidad adecuada en la primera derivada integrando la ecuación diferencial definitoria (es decir, la ecuación * ) desdeay tomando el límite comotiende a cero. Nótese que solo integramos la segunda derivada, ya que el término restante será continuo por construcción.
Las dos ecuaciones de (dis)continuidad se pueden resolver paraypara obtener ;\quad c_{3}=-{\frac {\sin ks}{k}}}
Por lo tanto, la función de Green para este problema es:
Otros ejemplos
- Sea n = 1 y sea el subconjunto todo R. Sea L. Entonces, la función escalón de Heaviside Θ( x − x 0 ) es una función de Green de L en x 0 .
- Sea n = 2 y sea el subconjunto el cuarto de plano {( x , y ) : x , y ≥ 0} y L el laplaciano . Además, supongamos que se impone una condición de contorno de Dirichlet en x = 0 y una condición de contorno de Neumann en y = 0. Entonces, la función de Green X10Y20 es
- Dejary los tres son elementos de los números reales. Entonces, para cualquier funcióncon un-ésima derivada que es integrable sobre el intervalo:La función de Green en la ecuación anterior,, no es único. ¿Cómo se modifica la ecuación sise agrega a, dóndeSatisfacea pesar de(Por ejemplo,con)? Además, compare la ecuación anterior con la forma de una serie de Taylor centrada en.
Véase también
- Potencial de Bessel
- Funciones de Green discretas : definidas en gráficos y cuadrículas.
- Respuesta impulsional : el análogo de la función de Green en el procesamiento de señales.
- Función de transferencia
- Solución fundamental
- La función de Green en la teoría de muchos cuerpos
- Función de correlación
- Propagador
- Las identidades de Green
- Parametrix
- ecuación integral de Volterra
- Formalismo resolvente
- formalismo de Keldysh
- Teoría espectral
- Función de Multiscale Green
Notas a pie de página
Referencias
- ↑ Wright, MCM (1 de octubre de 2006). "¿Función de Green o función de Green?" . Nature Physics . 2 (10): 646. Bibcode : 2006NatPh...2..646W . doi : 10.1038/nphys411 . ISSN 1745-2473 .
- 1 2 Stakgold, Ivar (1998). Funciones de Green y problemas de valores en la frontera . Matemáticas puras y aplicadas (2.ª ed.). Nueva York: John Wiley & Sons, Inc. pág. 192. ISBN 978-0-471-61022-9.
- ↑ Nair, VP (2005). Teoría cuántica de campos: una perspectiva moderna . Textos de posgrado en física contemporánea. Nueva York, NY: Springer. págs. 1–51 . ISBN 978-0-387-21386-6.
- ↑ Khorrami, Mohammad (2021). "Funciones de Green de la ecuación de onda en diferentes dimensiones" . Miskolc Mathematical Notes . 22 (2): 721. doi : 10.18514/mmn.2021.2922 . ISSN 1787-2405 .
- ↑ Yu, Xiao; Lan, Kunquan; Wu, Jianhong (2021). "Funciones de Green, ecuaciones diferenciales lineales de segundo orden y modelos de difusión-advección unidimensionales" . Estudios en Matemáticas Aplicadas . 147 (1): 319–362 . doi : 10.1111/sapm.12384 . ISSN 1467-9590 .
- ↑ Chu, Yi-Zen; Starkman, Glenn D. (10 de noviembre de 2011), "Funciones de Green retardadas en espaciotiempos perturbados para cosmología y física gravitacional", Physical Review D , 84 (12) 124020, arXiv : 1108.1825 , Bibcode : 2011PhRvD..84l4020C , doi : 10.1103/PhysRevD.84.124020
- ↑ Soares de Castro, Antonio (2024-09-01). "Funciones de Green retardadas y avanzadas para ecuaciones diferenciales de primer orden" . Physica Scripta . 99 (9): 096101. Bibcode : 2024PhyS...99i6101S . doi : 10.1088/1402-4896/ad6bc7 . hdl : 11449/306687 . ISSN 0031-8949 .
- ↑ Camargo, Rubens de Figueiredo; Chiacchio, Ary Orozimbo; de Oliveira, Edmundo Capelas (6 de marzo de 2013). "Funciones de Green unilateral y bilateral" . Problemas de valores en la frontera . 2013 (1): 45. doi : 10.1186/1687-2770-2013-45 . hdl : 11449/113526 . ISSN 1687-2770 .
- ^ Jackson, John David (2009). Electrodinámica clásica (3. ed., [Nachdr.] ed.). Hoboken, Nueva York: Wiley. ISBN 978-0-471-30932-1.
- ↑ Cole, KD; Beck, JV; Haji-Sheikh, A.; Litkouhi, B. (2011). «Métodos para obtener las funciones de Green». Conducción de calor mediante funciones de Green . Taylor and Francis. págs. 101–148 . ISBN 978-1-4398-1354-6.
- ↑ algunos ejemplos tomados de Schulz, Hermann (2001). Physik mit Bleistift: das analytische Handwerkszeug des Naturwissenschaftlers (4. Aufl ed.). Fráncfort del Meno: alemán. ISBN 978-3-8171-1661-4.
- ↑ Shubin, Mikhail (2020) ."Invitación a las ecuaciones diferenciales parciales"" . www.ams.org . Estudios de posgrado en matemáticas (GSM). Providence, RI: Sociedad Matemática Americana (AMS). pág. 127 (Capítulo 6: Funciones armónicas) . Consultado el 23 de diciembre de 2025 .
- ↑ Evans, Lawrence C. (2022). Ecuaciones diferenciales parciales . Estudios de posgrado en matemáticas (2.ª ed.). Providence, Rhode Island: American Mathematical Society. p. 200. ISBN 978-1-4704-6942-9.
- ↑ Jackson, John David (14 de agosto de 1998). Electrodinámica clásica . John Wiley & Sons. pág. 39.
Obras citadas
- Bayin, SS (2006). Métodos matemáticos en ciencia e ingeniería . Wiley. Capítulos 18 y 19.
- Eyges, Leonard (1972). El campo electromagnético clásico . Nueva York, NY: Dover Publications. ISBN 0-486-63947-9.El capítulo 5 contiene una explicación muy amena sobre cómo utilizar las funciones de Green para resolver problemas de contorno en electrostática.
- Polyanin, AD; Zaitsev, VF (2003). Manual de soluciones exactas para ecuaciones diferenciales ordinarias (2.ª ed.). Boca Raton, FL: Chapman & Hall/CRC Press. ISBN 1-58488-297-2.
- Barton, Gabriel (1989). Elementos de las funciones de Green y propagación: potenciales, difusión y ondas . Publicaciones científicas de Oxford. Oxford : Nueva York: Clarendon Press; Oxford University Press. ISBN 978-0-19-851988-1.Libro de texto sobre la función de Green con los pasos resueltos.
- Polyanin, AD (2002). Manual de ecuaciones diferenciales parciales lineales para ingenieros y científicos . Boca Raton, FL: Chapman & Hall/CRC Press. ISBN 1-58488-299-9.
- Mathews, Jon; Walker, Robert L. (1970). Métodos matemáticos de la física (2.ª ed.). Nueva York: WA Benjamin. ISBN 0-8053-7002-1.
- Folland, GB Análisis de Fourier y sus aplicaciones . Serie de matemáticas. Wadsworth y Brooks/Cole.
- Green, G (1828). Ensayo sobre la aplicación del análisis matemático a las teorías de la electricidad y el magnetismo . Nottingham, Inglaterra: T. Wheelhouse. páginas 10-12 .
- Faryad y M.; Lakhtakia, A. (2018). Funciones de Green diádicas en el espacio infinito en electromagnetismo . Londres, Reino Unido / San Rafael, CA: IoP Science (Reino Unido) / Morgan and Claypool (EE. UU.). Bibcode : 2018idgf.book.....F . ISBN 978-1-68174-557-2.
- Şeremet, VD (2003). Manual de funciones y matrices de Green . Southampton: WIT Press. ISBN 978-1-85312-933-9.
Enlaces externos
- "Función de Green" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Weisstein, Eric W. "La función de Green" . MathWorld .
- Función de Green para el operador diferencial en PlanetMath .
- La función de Green en PlanetMath .
- Funciones de Green y mapeo conforme en PlanetMath .
- Introducción a la técnica de la función de Green de no equilibrio de Keldysh por AP Jauho
- Biblioteca de funciones de Green
- Tutorial sobre las funciones de Green
- Método de elementos de contorno (para tener una idea de cómo se pueden usar las funciones de Green con el método de elementos de contorno para resolver problemas potenciales numéricamente). Archivado el 7 de febrero de 2012 en Wayback Machine.
- En Citizendium
- Videoconferencia del MIT sobre la función de Green
- Bowley, Roger. "George Green y las funciones de Green" . Sesenta símbolos . Brady Haran para la Universidad de Nottingham .
- Ecuaciones diferenciales
- Funciones generalizadas
- Ecuaciones de la física
- Física matemática
- Distribuciones de Schwartz