SciELO - Scientific Electronic Library Online

 
vol.50 número1Despacho Económico de Unidades Térmicas con Funciones Lineales de Costo utilizando el Algoritmo de la LuciérnagaEstado del Arte de Estudios de Vulnerabilidad Sísmica en Ecuador índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay articulos similaresSimilares en SciELO

Compartir


Revista Politécnica

versión On-line ISSN 2477-8990versión impresa ISSN 1390-0129

Rev Politéc. (Quito) vol.50 no.1 Quito ago./oct. 2022

https://doi.org/10.33333/rp.vol50n1.05 

Articles

Semigrupos Dinámicamente Gradiente en un Espacio Métrico

Dinamically Gradient Semigroups in a Metric Space

1Universidad Nacional Mayor de San Marcos, Facultad de Ciencias Matemáticas, Lima, Perú


Resumen:

Estudiamos la dinámica interna de un compacto invariante por medio de distintas nociones: atractor local, repulsor y pareja atractor-repulsor. Se describe la descomposición de Morse (en el sentido de Rybakowski (1987)) y para un atractor global probamos las equivalencias de los conceptos de atractor local y descomposición de Morse dados en los libros de Carvalho et al. (2013) y de Rybakowski (1987). Se presentan los resultados de Aragão et al. (2011) según los cuales existe una equivalencia entre el semigrupo gradiente (admite una función de Lyapunov) y el semigrupo dinámicamente gradiente (en el sentido de Carvalho et al. (2013)). Concluimos presentando la estabilidad de semigrupos gradientes bajo perturbaciones, vía ejemplos ilustrativos.

Palabras claves: Funciones de Lyapunov y estabilidad; Atractores; Repulsores; Semigrupo dinámicamente gradiente

Abstract:

We study the internal dynamics of an invariant compact by using different concepts: local attractor, repeller and “pair attractor-repeller”. The “Decomposition of Morse” (in the sense of Rybakowski (1987)) is described, and on a global attractor we prove the equivalence of the concepts of local attractor and Decomposition of Morse given in the books of Carvalho et al. (2013) and of Rybakowski (1987). The results of Aragão et al. (2011) are presented according to which there exists an equivalence between the gradient semigroup (it has a Lyapunov function) and the dynamically gradient semigroup (in the sense of Carvalho et al. (2013)). We conclude by presenting the stability of gradient semigroups under perturbations, via illustrative examples.

Keywords: Lyapunov functions and stability; Attractors; Repellers; Dinamically Gradient Semigroup; 2020 Mathematics Subject Classification; 37B25 (35B41; 37C70; 37B55; 37L05)

1. INTRODUCCIÓN

Los sistemas dinámicos en dimensión infinita abarcan aquellos que en algún sentido son disipativos, por ejemplo, los semigrupos que admiten un atractor global: «un compacto invariante que atrae a todos los conjuntos acotados» (Raugel, 2002; Hale, 2004). En Rybakowski (1987), se exponen dos conceptos útiles en un compacto invariante: atractor local y descomposición de Morse. Ambas nociones fueron reexaminadas en Carvalho et al. (2013), pero en un atractor global. Con el objeto de comparar los resultados de Carvalho et al. (2013) con los de Rybakowski (1987) y así esclarecer el contexto, en el presente trabajo a las definiciones dadas en el libro de Rybakowski se les adiciona el adjetivo «débil» y se prueba su equivalencia cuando el compacto invariante es un atractor global. Las dos equivalencias están en la proposición 2.11 y el teorema 3.4, respectivamente. La tercera - aparece en el teorema 4.13 - es la equivalencia entre el semigrupo gradiente (los que poseen una función de Lyapunov) y el semigrupo dinámicamente gradiente (en el sentido de Carvalho et al. (2013)), tal como se prueba en Aragão et al. (2011). Se estudia finalmente la estabilidad de los semigrupos gradiente, por medio de algunos ejemplos que ilustran el teorema 5.3, demostrado en Carvalho et al. (2013).

1.1 Notaciones y definiciones previas

El dominio de las aplicaciones consideradas en este artículo es un espacio métrico (X,d), denotado por X. La topología se construye por medio de la distancia d: X × X → [0,+∞) y haciendo uso de la ε−vecindad abierta generada por cada ε > 0 en cualquier subconjunto A de X, la cual viene dada por

Oε(A)=aA{xX:d(x,a)<ε}={xX:d(x,A)<ε},

donde d(x,A)=´ınf{d(x,a): aA}. Específicamente, una familia T(·) = {T(t) : t ≥ 0} que está formada por funciones continuas de X en X es un semigrupo en X, si T(·) satisface las tres condiciones siguientes:

  • T(0) = I X , donde I X es la aplicación identidad en X.

  • T(s+t) = T(t)T(s) (composición), para todo t,s ∈ [0,+∞).

  • ⋄ [0,+∞)×X ∋ (t,x) 7→ T(t)xX es continua.

La órbita positiva de un subconjunto E de X viene dada por

γ+(E)=t0T(t)E.

Con la órbita se estudia el comportamiento asintótico de E bajo la acción del semigrupo, por ejemplo, cuando la órbita positiva es el propio conjunto. Se utilizan concretamente los subconjuntos invariantes bajo T(·), es decir, los conjuntos AX que cumplen

T(t)A = A, para todot ≥ 0.

Para relacionar las propiedades dinámicas de un conjunto invariante con otras órbitas, se introduce el concepto de atracción para lo cual es necesario comparar conjuntos. Esto se logra haciendo uso de la semidistancia de Hausdorff entre dos subconjuntos del espacio métrico, la cual viene dada por

dH(A,B)=sup{d(a,B):aA};AX,BX.[/p]

De este modo, cuando

limtdH(T(t)B,A)=0;AX,BX

se dice que A atrae al conjunto B. Finalmente, al subconjunto A de X se le denomina atractor global para T(·) cuando:

  • A es compacto.

  • A es invariante.

  • A atrae a cada subconjunto acotado de X.

Cabe mencionar que cada atractor global no solo es único, sino también está formado por todas las soluciones globales que son acotadas.

La exposición se organiza de la siguiente manera. En la sección 2 se definen los dos tipos de atractores locales y se describen las condiciones para obtener su equivalencia (proposición 2.11). En la sección 3 no solo se incluye el concepto de descomposición de Morse débil, sino también sus propiedades dinámicas. En este contexto, se usa la llamada familia invariante aislada para obtener el teorema 3.4, donde se establece la equivalencia del concepto de descomposición de Morse presentado por dos enfoques diferentes en los libros de Rybakowski (1987) y de Carvalho et al. (2013). En la sección 4, se introduce el concepto de semigrupo gradiente con respecto a una familia invariante aislada y se prueba que el semigrupo es dinámicamente gradiente con respecto a esa familia (proposición 4.8). Para la recíproca de esta afirmación se construye una función de Lyapunov generalizada, estableciéndose así la equivalencia entre los dos conceptos (teorema 4.13). En la sección 5, se presenta el teorema de estabilidad (teorema 5.3) como una aplicación de la teoría desarrollada en las secciones anteriores, mediante algunos ejemplos. Se concluye con el apéndice A, donde se describen las propiedades básicas de las soluciones maximales de una ecuación diferencial autónoma definida en un espacio de dimensión finita.

2. ATRACTORES EN UN COMPACTO INVARIANTE

El conjunto ω−límite, asociado a E es

ω(E)=s0γ+(T(s)E)¯=s0(tsT(t)E)¯.

Este conjunto cerrado no solo verifica la siguiente igualdad ω(E)=ω(T(t)E),t0 sino también es positivamente

invariante: T(t)ω(E) ⊂ ω(E),∀t ≥ 0. Además

⊂ =⇒ () ⊂ (). (1)

Por ejemplo, para un compacto invariante AX se cumple la igualdad ω(A) = A. El ω−límite del conjunto unitario E = {z} se denota por ω(z) y satisface

Cabe mencionar que si EX es un conjunto no vacío, puede ocurrir que

ω(E)zEω(z).

Esto sucede, por ejemplo, en el siguiente sistema de ecuaciones diferenciales:

ẋ=-y+(x2+y2-1)(4-x2-y2)x,ẏ=x+(x2+y2-1)(4-x2-y2)y. (2)

Figura 1 Retrato de fase del sistema (2) https://www.wolframalpha.com/  

En el siguiente disco compacto D 1 = {(x,y) ∈ R 2: x 2 +y 2 ≤ 1}, se obtiene que T(t)D 1 = D 1 para todo t ≥ 0. Además

D¯1=ω(D¯1){(0,0)}D¯1=zD¯1ω(z).

Observación 2.1. El sistema (2) es un caso especial del Ejemplo 6.3 y por tanto, definen adecuadamente un semigrupo. En coordenadas polares (r,θ) el sistema (2) induce naturalmente la siguiente ecuación diferencial:

drdθ=(r2-1)(4-r2)r.

En particular,

r>2drdθ<0 (3)

La desigualdad se preserva para 0 < r < 1, y en r = 1 y r = 2 aparecen dos ciclos límite.

2.1 Pareja atractor-repulsor

La siguiente definición aparece en el libro de Rybakowski y no presupone la existencia de un atractor global para el semigrupo. Para evitar cualquier equivocación se habla de una pareja atractor- repulsor dentro de un compacto invariante. Este concepto es complementario al llamado par atractor-repulsor en un atractor global (definición 2.9).

Definición 2.2. Sea SA un compacto invariante bajo T(·). El conjunto ASA es un atractor local débil (en SA ) si existe una constante ε > 0 que satisface

ω(Oε(A)SA)=A.

El repulsor (relativo a SA ) asociado al atractor local débil ASA es

A*={xSA:ω(x)A=}..

Al par ordenado (A,A ) se le dice: pareja atractor-repulsor, respecto a SA .

Ejemplo 2.3. En el semigrupo inducido por (2) y descrito por la Figura 1 el conjunto SA = D 1 es un compacto, invariante bajo T(·). El conjunto A = D 1 es un atractor local débil pues satisface A=ω(Oε(A)SA) para algún ε > 0 y su respectivo repulsor A es ∅.

En el estudio de las propiedades dinámicas de la pareja atractor- repulsor (A, A∗ ) en un compacto invariante SA (teorema 2.4), aparece el concepto de solución global. La solución global para el semigrupo T(·) es una función continua ξ: RX que verifica

T(t)ξ(s) = ξ(t +s), ∀sR yt ∈ [0,+∞).

Si xX admite una solución global ξ x con ξ x (0) = x se dice que la solución global ξ x pasa por x. Esta solución ξ x verifica ξ x (t) = T(t)x para todo t ≥ 0. Además, el conjunto α−límite es

En este contexto, por la continuidad del semigrupo se obtiene T(t)α(ξ x )⊂α(ξ x ),∀t ≥ 0. Análogamente, para cada elección del parámetro t ≥ 0, la regla de correspondencia s 7→ ξ x (t +s) define una solución global que pasa por T(t)x.

Teorema 2.4. Sea (A,A ) una pareja atractor-repulsor para T(·), respecto a SA , entonces

  1. Los conjuntos A y A son disjuntos, compactos e invariantes.

  2. Sea ξ x =ξ: RSA la solución global que pasa por xSA ; las siguientes implicaciones son válidas:

  1. SixA*o la intersección ω(x) ∩ A∗ ̸= ∅, entonces ξ(R) ⊂ A .

  2. Si α(ξ)∩A ̸=entonces ξ(R) ⊂ A.

  3. Si x ̸∈ AA , entonces A α(ξ) y ω(x) ⊂ A.

Demostración. La prueba de este teorema aparece en el último capítulo del libro de Rybakowski (1987).

Corolario 2.5. Sean xSA y A el atractor local débil en SA .

Siω(x)A,entoncesω(x)A.

Demostración. Se observa inicialmente que si xA, entonces por la propiedad (1) y la invarianza de A se obtiene directamente que el conjunto ω(x) está incluido en A. Si por el contrario xA*. y la intersercción ω(x)A, la definición del repulsor A implica directamente que xA*. En otras palabras, x(AA*). Por el teorema 2.4, se obtiene ω(x) ⊂ A. Por lo tanto, se cumple el corolario.

2.2 Pares en un atractor global

El atractor global de T(·) es el compacto invariante que atrae a cada subconjunto acotado de X. En otras palabras, el atractor global es un compacto invariante al cual confluyen todas las trayectorias, este hecho nos da la información de cómo evoluciona el sistema con el transcurrir del tiempo. Cabe recordar que el atractor global es único y se caracteriza con las soluciones globales ξ que son acotadas. Es decir, el atractor global A satisface

A = {ξ(0): ξ es una solución global acotada} .

A continuación, se presenta un resultado de existencia del atractor global en dimensión finita, tal como aparece en Gavilán (2019). Cabe mencionar que tal monografía no describe la estabilidad de las familias uniparamétricas de semigrupos en el sentido de la sección 5.

Proposición 2.6. Si X = R n y T(·) admite un subconjunto acotado BR n que atrae a cada conjunto unitario de R n . Entonces B atrae a cada subconjunto compacto KR n . En particular, B es atrayente, es decir:

limt+dH(T(t)C,B)=0,CRn, acotado.

Demostración. La condición «B atrae al conjunto A» es equivalente a decir para cada constante ε > 0, la vecindad O ε (B) absorbe al conjunto A. Simbólicamente esto significa:

∀0,∃0 tal que ()⊂ (), si ≥ . (4)

Esto se obtiene directamente, puesto que la inclusión T(t)AO ε (B) es equivalente a la desigualdad d H (T(t)A,B) ≤ ε. En este contexto, basta probar que para cada conjunto compacto KR n se cumple:

ε > 0 ⇒ O ε (B) absorbe al conjunto K.

En efecto, si ε > 0, la condición limd H T R n t→+∞

implica que alguna vecindad abierta de xK es absorbida por O ε (B). Usando una cobertura finita del compacto K se infiere que O ε (B) absorbe K. Por (4), se obtiene que B atrae a cada compacto

KR n .

El conjunto B es atrayente, pues para cada acotado CR n su clausura C es un compacto que satisface no solo la inclusión T(t)CT(t)C sino también

dH(T(t)C,B)=dH(T(t)C¯,B)dH(T(t)C¯,B)0.

Esto concluye la demostración.

Ejemplo 2.7. La ecuación diferencial

x˙ = −x(xη)(x+η), η es una constante

induce un semigrupo T(·) que admite un conjunto compacto e invariante que atrae a cada número real. Específicamente, a partir de la proposición 2.6, se obtiene que el intervalo A = [−η , η] es el atractor global.

Ejemplo 2.8. Considere el sistema de ecuaciones diferenciales dado en (2). Por la caracterización presentada en (3), se obtiene directamente que el disco

D2¯={(x,y)R2:x2+y24}

de la Figura 1, es un conjunto compacto e invariante bajo T(·) que atrae a cada conjunto unitario del plano R 2. En este contexto, la proposición 2.6 garantiza que el disco D 2 es el atractor global del sistema.

A continuación, se estudia la estructura del atractor global.

Definición 2.9. Sea T(·) un semigrupo que admite un atractor global AX. Un subconjunto AA es un atractor local del semigrupo si

ω(O ε (A)) = A, para algúnε > 0.

El repulsor A asociado al atractor local A es el conjunto definido por

A*={xA:ω(x)A=}.

El par (A,A ) es llamado par atractor-repulsor para T(·).

Ejemplo 2.10. A manera de ilustración se presentan algunos atractores locales que se construyen dentro del atractor global

A = D 2 (ejemplo 2.8). Específicamente, ellos son:

Así, cada uno de estos conjuntos cumplen ω(O ε (A j )) = A j para algún ε > 0 cuando 0 ≤ j ≤ 3. Sus respectivos repulsores asociados son:

donde int(D 1) significa el interior de D 1. Además se observa que

∅= A 0A 1A 2A 3 =A y A .

La siguiente proposición presenta las definiciones de atractor local de acuerdo a dos enfoques diferentes. El primero aparece en el libro de Rybakowski (1987) y el segundo se encuentra en el libro de Carvalho et al. (2013).

Proposición 2.11. Sea A un atractor global para T(·). Si AA es invariante, son equivalentes:

  1. Existe ε > 0 tal queω(Oϵ(A)A)=A.

Existe ε > 0 tal queω(Oε(A))=A[/p]

Demostración. Si se acepta el ítem (b), basta observar que

AO ε (A)∩AO ε (A).

A partir de las propiedades del conjunto límite, que aparecen en

(1), se obtiene que

ω(A) ⊂ ω(O ε (A)∩A ) ⊂ ω(O ε (A)) = A

Por lo tanto, se cumple (a) pues A es invariante.

Para la demostración de la recíproca vea el libro de Carvalho et al. (2013).

Observación 2.12. Cuando en la proposición 2.11, se sustituye la condición A (atractor global) por SA (compacto e invariante) la equivalencia no necesariamente es válida.

Este hecho se muestra en el siguiente ejemplo:

Ejemplo 2.13. Sea SA = D 1. En el ejemplo 2.3 se observa que el conjunto A = D 1 cumple el ítem (a) de la proposición 2.11, sin embargo A = D 1 no satisface el ítem (b), pues ω(Oε(A))A para todo ε > 0.

3. DESCOMPOSICIÓN DE MORSE

El estudio de la descomposición de Morse es una herramienta importante que permite entender la dinámica de un atractor global.

Definición 3.1. Sea SAX, un conjunto compacto e invariante con respecto a T(·). Una colección ordenada {E 1,...,E n } de subconjuntos E j SA es una descomposición de Morse débil de SA si existe un sucesión creciente

= ∅ ⊂ ⊂ ··· ⊂ ⊂ = (5)

de atractores locales débiles, en SA para los cuales se cumple

Las propiedades básicas de una familia que satisface esta definición se describen en la siguiente proposición.

Proposición 3.2. Sea SAX un compacto, invariante con respecto a T(·) y {E 1,...,E n } una descomposición de Morse de SA asociada a los atractores locales débiles, ∅= A 0A 1 ⊂···⊂ A n 1A n = SA . Se satisfacen los siguientes enunciados.

  1. Existe ε > 0 tal queOϵ(Ei)Oϵ(Ej)=si 1 ≤ i < jn.

  2. Si ξ x = ξ: RSA es la solución global que pasa por xSA , entonces:

  • o ξ(R) ⊂ E j para algún j = 1,...,n.

  • o existen k < r tal que E k ω(x) y α(x) ⊂ E r .

  1. Cada A k está únicamente determinado por {E 1,...,E n }:

  2. Si 1 ≤ in, (Ai-1,Ei)es una pareja atractor-repulsor respecto a A i .

Demostración. Referimos al libro de Rybakowski.

La siguiente proposición describe una caracterización de la existencia de una familia que satisface la definición 3.1.

Proposición 3.3. Sea SAX un compacto, invariante con respecto a T(·). Si se asume que la familia ordenada {E 1,...,E n } satisface las tres condiciones:

  1. Cada E k SA es compacto e invariante.

  2. Existe ε > 0 tal queOϵ(Ei)Oϵ(Ej)=,, si 1 ≤ i < jn.

  3. Si ξ = ξ x : RSA es la solución global que pasa por xSA , entonces

  • o ξ x (R) ⊂ E i para algún i = 1,...,n.

  • o existen j < i tal que E j ω(x) y α(ξ x ) ⊂ E i .

Entonces {E 1,...,E n } es una descomposición de Morse de SA .

Demostración. La prueba está en el libro de Rybakowski.

3.1 Familia invariante aislada

Este concepto aparece en el artículo de Aragão et al. (2011) y es de gran utilidad para describir las propiedades de una descomposición de Morse, en un atractor global A (teorema 3.4). La familia {E 1,...,E n } es invariante aislada si existe δ > 0 tal que

Oδ(Ei)Oδ(Ej)=, cuando 1 ≤ i < jn

y cada cerrado E i A es el invariante maximal en O δ (E i ). En otras palabras, cada conjunto cerrado E i es invariante aislado. Específicamente, un conjunto cerrado e invariante EX se denomina invariante aislado, si existe una constante ε > 0 tal que el conjunto inicial E es el invariante maximal en O ε (E), es decir, cualquier conjunto invariante BO ε (E) satisface BE. Por ejemplo, en un atractor global A

cada atractor local AA y su respectivo repulsor son invariantes aislados.

El siguiente teorema demuestra la equivalencia del concepto de descomposición de Morse dados en los libros de Rybakowski (1987) y de Carvalho et al. (2013). Cabe mencionar que por la proposición 2.11 los pares atractor-repulsor en un atractor global heredan las propiedades topológicas de las parejas atractorrepulsor, por ejemplo la compacidad. En particular, se dan las condiciones para aplicar el teorema 2.4.

Teorema 3.4. Sea T(·) un semigrupo que admite un atractor global A . Son equivalentes:

  1. El atractor global admite una descomposición de Morse débil. Es decir, existe una colección ordenada {E˜1,...,E˜ n } asociada a una familia de atractores locales débiles en A

∅ = A 0A 1 ⊂ ··· ⊂ A n−1 A n = A

por medio de la relación

Ẽj=AjAj-1*,1jn

  1. El atractor global admite una familia ordenada {E 1,...,E n } de cerrados que es invariante aislada, para la cual cada solución global ξ: RA induce i, j con ij tal que

Demostración. (1 ⇒ 2): Se prueba inicialmente que la siguiente familia ordenada {E˜1,...,E˜ n } es invariante aislada. Para obtener esta afirmación se observa que todos los conjuntos Ẽj=AjAj-1* son compactos y disjuntos, por ello existe una constante positiva ε > 0 que satisface Oϵ(Ẽi)Oϵ(Ẽj)= cuando 1 ≤ i < jn. Como Ẽi es el repulsor de A i−1 en A i , entonces E ˜ i es invariante aislado, es decir, admite una constante δ i > 0 de modo que E˜ i es invariante maximal en O δi (E ˜ i ). Por tanto,

• Existe la constante δ = m´ın{ε,δ 1,...,δ n } > 0 para la cual se cumple que E ˜ i es invariante maximal en O δ (E ˜ i ). Además, si 1 ≤ i < jn, la intersección Oδ(Ẽi)Oδ(Ẽj)=.

Continuando con la prueba, se afirma que cada solución global ξ: RA induce subíndices i, j con ij de modo que α(ξ)⊂E˜ i y ω(ξ(0)) ⊂ E ˜ j . En este sentido, se da x = ξ(0) ∈A y se elige el subíndice i como el menor elemento del conjunto {1,...,n} para el cual el respectivo atractor local A i contiene a x, pero A i−1 no lo incluye. Es decir,

i = min{1,...,n: xA i , pero x ∈/ A i−1 }.

En este contexto, si x, la invarianza del conjunto cerrado E˜ i garantiza que α(ξ)∪ω(x) ⊂ E ˜ i y se concluye. Si por el contrario x es decir x(Ai-1Ai-1*), el teorema 2.4 muestra que α(ξ)Ai-1* y ω(x)Ai-1. La elección de i y la invarianza de A i implica que α(ξ)Eĩ=AiAi-1*. De ω(x) ⊂ A i 1, pueden ocurrir dos situaciones complementarias:

oω(x)Ai-2*, o bien ω(x)Ai-2*=.

Si ω(x)Ai-2*, el teorema 2.4 muestra que ω(x)Ai-2* y se concluye que ω(x) ⊂ E ˜ i−1 . Si por el contrario ω(x) es disjunto de A∗ i−2 se desprende que ω(x)∩E ˜ i−1 = ∅. Es más, la suposición ω(x)Ai-2*= implica que ω(x)Ai-2 y por el corolario 2.5 se obtiene ω(x) ⊂ A i−2 . En este contexto,

ω(x)Ai-2ω(x)Ai-3*ω(x)Ẽi-2

y

ω(x)Ai-2ω(x)Ai-3*=ω(x)Ai-3.

De este modo, se desprende que ω(x) ⊂ E ˜ i−2 o bien ω(x) ⊂ A i−3 . Continuando con este procedimiento inductivo, puede finalmente ocurrir que ω(x) ⊂ A 2, y así se desprende que ω(x) ⊂ E ˜ 2 o bien ω(x) ⊂ A 1 = E ˜ 1. Es decir, ω(x) ⊂ E ˜ j , para algún 1 ≤ j < i. Por lo tanto, se cumple (2) en el presente teorema.

(2 ⇒ 1): La familia ordenada de cerrados {E 1,...,E n } es invariante aislada, existe δ > 0 tal que O δ (E i ) ∩ O δ (E j ) = ∅ cuando 1 ≤ i < jn, y además cada cerrado E i A es invariante maximal en O δ (E i ). La compacidad de A garantiza que cada E i es compacto. Con todo esto, (2) induce las condiciones de la proposición 3.3. Por lo tanto, la familia {E 1,...,E n } es una descomposición de Morse y se obtiene (1). Esto concluye la demostración.

Ejemplo 3.5. La descomposición de Morse S = {E 1,E 2,E 3} del atractor global A = D 2 se obtiene utilizando la relación

E j para todo 1 ≤ j ≤ 3, donde el par atractor-repulsor están dados en el ejemplo 2.10. Es decir,

E1=A1A0*={(0,0)}D2¯={(0,0)}.[/p]

E3=A3A2*=D2¯D1¯=D1¯.

Además, se observa que la familia ordenada S = {E 1,E 2,E 3} de cerrados es invariante aislada. Además, en la Figura 1, para cada solución global ξ: RA se cumple

(6)

4. SEMIGRUPO DINÁMICAMENTE GRADIENTE Y FUNCIÓN DE LYAPUNOV

En esta sección, se caracteriza al semigrupo gradiente usando el siguiente concepto de estructura homoclínica.

Definición 4.1. Sea T(·), un semigrupo y sea S = {E 1,...,E n }, una familia invariante aislada. Una estructura homoclínica en S es un subconjunto {E k1 ,...,E kp } de S (pn), asociado a soluciones globales {ξ 1,...,ξ p } para las cuales se cumple

donde E kp+1 = E k1 y cada ξ j admite un t j con ξ j (t j ) ̸∈ (E kj Ek j +1).

Figura 2 Estructura homoclínica (p= 3). 

Ejemplo 4.2. De (6) se infiere que el sistema no tiene estructura homoclínica en la familia invariante aislada S .

A continuación, se presenta el concepto de semigrupo dinámicamente gradiente, de acuerdo con la presentación dada en el libro de Carvalho et al. (2013). Cabe mencionar que este concepto aparece inicialmente en el artículo de Aragão et al. (2011) con el nombre de semigrupo tipo-gradiente y en el artículo de Carvalho et al. (2007) se extiende al caso de los procesos de evolución.

Definición 4.3. Sea T(·), un semigrupo que admite un atractor global A y sea S = {E 1,...,E n }, una familia invariante aislada. Se dice que T(·) es dinámicamente gradiente, respecto a S si

⋄ Para cualquier solución global ξ: RA existe 1 ≤ i, jn tal que

⋄ No existe una estructura homoclínica asociada a S .

Ejemplo 4.4. La ecuación diferencial x˙ = −x(x − 1)(x + 1), induce un semigrupo T(·) que tiene un atractor global A = [−1,1]. Sea S = {E 1,E 2,E 3} una familia invariante aislada, donde E 1 = {−1};E 2 = {1} y E 3 = {0}. Se observa que para cualquier solución global ξ: RA se cumple

Por lo tanto, no existe estructura homoclínica en S y en consecuencia T(·) es dinámicamente gradiente respecto a S .

Ejemplo 4.5. De los resultados obtenidos en los ejemplos 3.5 y 4.2 se concluye que el semigrupo T(·) es dinámicamente gradiente con respecto a la familia invariante S = {E 1,E 2,E 3}.

4.1 Semigrupo gradiente

Definición 4.6. Sea T(·), un semigrupo que admite un atractor global A y sea S = {E 1,...,E n }, una familia invariante aislada. Se dice que T(·) es un semigrupo gradiente con respecto a S si existe una función continua V: XR tal que:

  • ⋄ La función [0,∞) ∋ t 7→ V(T(t)x) ∈ R es decreciente, para cada xX;

  • ⋄ V es constante en E i , para cada 1 ≤ in y

  • V(T(t)x) = V(x),∀t ≥ 0 si y sólo si x[ Ei=1

V es la función de Lyapunov generalizada de T(·), con respecto a S .

Ejemplo 4.7. La ecuación diferencial

x˙ = −x 3, xR,

genera un semigrupo T(·) cuyo atractor global es A = {0}. En este caso, S = {E 1} = {{0}} es invariante aislada y la función V: RR, definida por V(y ) = y cumple

ddtV(x(t))=-x6(t),

donde x(t) = T(t)x 0 es la solución que satisface x(0) = x 0. Claramente se verifica que t 7→ V(T(t)x 0) es decreciente. Además, V(x(t)) = V(x 0),∀t ≥ 0 implica que x(t) ∈ {0} = E 1. Por tanto, V es una función de Lyapunov y el semigrupo es gradiente con respecto a S .

Proposición 4.8. Si V: XR es una función de Lyapunov generalizada de T(·), con respecto a la familia invariante aislada S = {E 1,...,E n }, entonces T(·) es dinámicamente gradiente con respecto a S .

Demostración. Para verificar la definición 4.3 se considera una solución global ξ x , con ξ x (0) = x. Como T(·) es gradiente con respecto a la familia invariante aislada S = {E 1,...,E n }, se cumple que

ω(x)k=1nEkyα(ξx)k=1nEk

Por tanto,

⋄ Para cualquier solución global ξ: RA existe 1 ≤ i, jn tal que

Para probar que S no tiene una estructura homoclínica se procede por reducción al absurdo. En otras palabras:

• Se admite un subconjunto {E k1 ,...,E kp } de S (pn), asociado a soluciones globales {ξ 1,...,ξ p } tales que

cuando 1 ≤ jp con E kp+1 = E k1 .

Como V es continua y decreciente a lo largo de las soluciones, para todo 1 ≤ jp y s ≤ 0 ≤ t se tiene

V(α(ξj))V(ξj(s))V(ξj(0))V(ξj(t))V(ω(ξj(0))),

donde V(E kj ) = V(α(ξ j )) y V(ω(ξ j (0))) = V(E kj+1 ). Puesto que E kp+1 = E k1 , se desprende que V(T(t)ξ p (0)) = V(ξ p (t)) =V(ξ p (0)) y por la definición 4.6, ξ p (0) ∈ ∪p j=1 E kj . Por la invarianza de cada E kj se tiene que los conjuntos límites ω(ξ p (0)),α(ξ p )⊂E kj 0 para algún 1≤ j 0p. Como ω(ξ p (0))⊂E kp+1 y α(ξ p ) ⊂ E kp , surge una contradicción con la definición de familia invariante aislada. Consecuentemente,

⋄ No existe una estructura homoclínica asociada a S .

Por tanto, el semigrupo satisface la definición 4.3.

4.2 Atractor tipo-gradiente

En el artículo de Carvalho et al. (2009), se presenta el concepto de atractor tipo-gradiente como el atractor que se caracteriza por medio de la unión de los conjuntos inestables de sus conjuntos invariantes asociados (8). En este contexto, de acuerdo con la clásica teoría de los sistemas dinámicos, el conjunto inestable de un subconjunto invariante E viene dado por

Wu(E)={zX:ξz:RX y lims-dH(ξz(s),E)=0}.[/p]

Ejemplo 4.9. Se considera los conjuntos invariantes

E 1 = {(0,0)}, E 2 = ∂D 2 y E 3 = ∂D 1

para el semigrupo generado por el sistema dado en (2). Los conjuntos inestables de cada E j son:

W u (E 1) = E 1, W u (E 2) = E 2 y W u (E 3) = int(D 2)\E 1.

Además, cuando los conjuntos invariantes son atractores locales, estos coinciden con sus conjuntos inestables.

En el siguiente teorema se describen las propiedades básicas de un semigrupo dinámicamente gradiente respecto a una descomposición de Morse del atractor global. En este contexto, se utilizan los conjuntos inestables para obtener atractores locales.

Teorema 4.10. Sea T(·) un semigrupo dinámicamente gradiente respecto a la familia invariante aislada S = {E 1,...,E n }. Si S es una descomposición de Morse de A . Entonces los conjuntos

Ak=i=1kWu(Ei), con 1kn[/p]

son atractores locales de T(·) que satisfacen las inclusiones A 0 =

∅ ⊂ A 1 ⊂ ··· ⊂ A n−1 A n = A y E j . Además,

j=0n(AjAj*)=j=1nEj. (7)

Demostración. Una prueba aparece en el artículo de Aragão et al. (2011).

Del teorema 4.10 se desprende otra caracterización del atractor global:

A=An=i=1nWu(Ei) (8)

y recibe el nombre de atractor tipo-gradiente.

Ejemplo 4.11. Si se considera los resultados del ejemplo 4.9 se tiene que

A=A3=i=13Wu(Ei).

donde E i fueron obtenidos utilizando la relación Ei=AiAi-1* del ejemplo 3.5 en el cual también se presentan los atractores locales.

4.3 Construcción de la función de Lyapunov generalizada

Los siguientes resultados permiten construir la función de Lyapunov generalizada del teorema 4.13.

Proposición 4.12. Se asume que T(·) admite un atractor global A y que (A,A ) es un par atractor-repulsor para T(·), con A̸=∅.

  1. 1.- La función h: X → [0,+∞) dada por h(z) = sup t 0 d T cumple

  • (a) h −1(0) = A y h es continua en X

.

  • (b)th(T(t)z)es decreciente, para cada zX.

  1. 2.- La función L: X → [0,1], dada por

L(z)=d(z,A)d(z,A)+d(z,A*)está bien definida y es uniformemente continua en X. Además, L −1(0) = A y

L −1(1) = A .

  1. 3.- La función K: X → [0,1] dada por K(z) = supL(T(t)z) esta

t≥0

bien definida y satisface:

  • K es continua en X y decreciente a lo largo de las soluciones.

  • K −1(0) = A y K −1(1)∩A = A .

  • Si zA y K(T(t)z) = K(z), ∀ t ≥ 0 entonces zAA .

  1. 4.- La función f: XR dada por f(z) = K(z) + h(z) es continua en X, y satisface:

  • f decreciente a lo largo de las soluciones.

  • f −1(0) = A y f −1(1)∩A = A .

  • Si zX y f(T(t)z) = f(z), ∀t ≥ 0 entonces zAA .

Demostración. Esta construcción aparece en los trabajos de Aragão et al. (2011); Carvalho et al. (2013) (vea también las tesis de Marín (2016)).

Los autores en el artículo de Aragão et al. (2011), recuerdan que en el artículo de «enCarvalho et al. (2009) aparecen los semigrupos dinámicamente gradiente(no requieren la existencia de una función de Lyapunov, sólo algunas propiedades en la descomposición de Morse del atractor) como un concepto intermedio entre los semigrupos gradientes y los semigrupos que admiten un atractor tipo-gradiente» (8). Para los semigrupos que admiten un atractor global, ser dinámicamente gradiente con respecto a una familia invariante aislada es equivalente a poseer una función de Lyapunov generalizada.

Teorema 4.13. Sea T(·), un semigrupo que admite un atractor global A y sea S = {E 1,...,E n }, una familia invariante aislada. Son equivalentes:

  1. T(·) es un semigrupo gradiente con respecto a S .

  2. T(·) es Sdinámicamente gradiente.

Demostración. La parte (1 ⇒ 2) se prueba en la proposición 4.8. Para obtener (2 ⇒ 1) se construye una función de Lyapunov generalizada V: XR que satisface V(E k ) = k−1 para 1 ≤ kn. Inicialmente se reordena S para obtener una descomposición de Morse y se usa cada par atractor-repulsor (A j , A∗ j ). Con esto se consideran las funciones continuas K j dadas por

Kj(z)=supt0&#091;d(T(t)z,Aj)d(T(t)z,Aj)+d(T(t)z,Aj*)&#093;,1jn

y se define

n

V(z) = h(z)+ ∑ K j (z),

j=0

donde

K0(z)=supt0&#091;d(T(t)z,)d(T(t)z,)+d(T(t)z,A)&#093;=0.

Como las funciones h y K j son decrecientes a lo largo de las soluciones (proposición 4.12), se obtiene el primer ítem de la definición 4.6, según el cual:

⋄ La función [0,∞) ∋ t 7→ V(T(t)x) ∈ R es decreciente, para cada xX.

Para continuar se considera zEk=AkAk-1*. De este modo, zA k A k+1 ⊂ ··· ⊂ A n = A y

zAk-1*Ak-2*A1*A0*=A.

En consecuencia

h(z) = 0, K j (z) = 1, si 1 ≤ jk−1 y K j (z) = 0, si kjn.

Es decir,

V(z)=j=0nKj(z)=j=0k-1kj(z)+j=knKj(z)=j=0k-11+j=kn0=k-1

Por lo tanto, V(E k ) = k −1, para todo 1 ≤ kn y se obtiene la siguiente afirmación.

  • V es constante en E i , para cada 1 ≤ in. Para probar que V satisface la definición 4.6 se afirma:

(V(T(t)z)=V(z),t0)zj=1nEj

(9)

Para obtener (9) se observa que las funciones h y K j son decrecientes a lo largo de las soluciones de T(·), es decir,

h(T(t)z) ≤ h(z) y K j (T(t)z) ≤ K j (z),∀t ≥ 0 si 0 ≤ jn.

Si existe t > 0 con h(T(t)z) < h(z) (o bien K j (T(t)z) < K j (z), para algún 0 ≤ jn) se obtiene V(T(t)z) < V(z), lo cual genera una contradicción. Por tanto, h(T(t)z) = h(z),∀t ≥ 0 (o K j (T(t)z) = K j (z),∀t ≥ 0 cuando 0 ≤ jn). En otras palabras, cada f j = K j +h satisface

f j (T(t)z) = f j (z), ∀t ≥ 0.

De la proposición 4.12, se obtiene z(AjAj*) cuando 0 ≤ jn.

Es decir,

zj=0n(AjAj*)=j=1nEj (teorema 4.10) y se obtiene (9). Para concluir, se afirma que para todo zX,

zi=1nEiV(T(t)z)=V(z),t0 (10)

En efecto, sea zj=1nEj=j=0n(AjAj*). Para cada 0 ≤ jn se

obtiene que zA j A j .

Si zA j se cumple que T(t)zA j A ,∀t ≥ 0 y así h(T(t)z) = 0 y K j (T(t)z) = 0, ∀t ≥ 0, luego V(T(t)z) = hV(T(t)z)=h(T(t)z)+j=0nKj(T(t)z)=0,t0. En particular,

V(T(t)z) = V(z) = 0,∀t ≥ 0.

Si zA j , cada K j (T(t)z) = 1 y h(T(t)z) = 0, ∀t ≥ 0. Es decir,

V(T(t)z) = V(z) = n,∀t ≥ 0.

Esto demuestra (10). En otras palabras,

V(T(t)x) = V(x),∀t ≥ 0 si y sólo si x[ E i .

En consecuencia V satisface la definición 4.6. Por lo tanto, T(·) es un semigrupo gradiente con respecto a S .

Ejemplo 4.14. Del resultado del ejemplo 4.5, se concluye que T(·) es un semigrupo gradiente respecto a la familia invariante aislada S = {E 1,E 2,E 3}.

5. ESTABILIDAD DE SEMIGRUPOS GRADIENTE BAJO PERTURBACIÓN

En esta sección, se presenta la aplicación de toda la teoría desarrollada en las secciones anteriores.

Definición 5.1. El semigrupo T(·) se dice que es asintóticamente compacto si cada sucesión acotada x k X satisface lo siguiente: por cada sucesión t k ≥ 0 con lim t k = +∞, se obtiene que la k→+∞

sucesión inducida T(t k )x k admite una subsucesión convergente.

Con el objeto de aclarar y explicar mejor este concepto, se presenta el siguiente ejemplo sencillo:

Ejemplo 5.2. El semigrupo T(·) en X = R n para el cual la órbita de cada conjunto acotado es acotada (semigrupo acotado) es un ejemplo natural de un semigrupo asintóticamente compacto.

Teorema 5.3. Sea T(·) un semigrupo sobre un espacio de Banach X que es gradiente con respecto a una colección finita S de conjuntos invariantes aislados {E 1,...,E n }. Si A es un atractor global para T(·) y se cumple:

  1. Para cada η ∈ (0,1], T η (·) es un semigrupo en X con atractor global A η ;

  2. {T η (·)} η ∈[0,1] es una colección de semigrupos asintóticamente compacto

  3. S η ∈[0,1] A η es acotada;

  4. T η (·) converge a T(·), en el sentido que

d(Tη(t)u,T(t)u)0cuandoη0, (11)

uniformemente para cada u en un subconjunto compacto de X; y

  1. Para cada η ∈ (0,1], A η contiene una colección finita de conjuntos invariantes aislados S de modo que l

existen δ > 0 y η 1 ∈ (0,1) de modo que para todo η ∈ (0,η 1), si ξ η : RA η es una solución global, entonces

suptRd(ξη(t),Ejη)δξη(t)Ejηpara todotR[/p] (12)

Entonces existe un η 0 > 0 de modo que, para todo η ∈ (0,η 0),

T η (·) es un semigrupo gradiente con respecto a S η . En particular

Aη=i=1nW(Eiη)

Demostración. La demostración aparece en el libro de Carvalho et al. (2013).

Los siguientes ejemplos ilustran adecuadamente las propiedades del teorema 5.3.

Ejemplo 5.4. La ecuación diferencial

x˙ = −x(xη)(x+η), xR y η ∈ [0,1]

induce para cada η un semigrupo T η (·). Cuando η = 0, el semigrupo T 0(·) tiene un atractor global A = {0} y es gradiente con respecto a S = {E} (ejemplo 4.7). Además, se cumple lo siguiente:

  1. Para cada η ∈ (0,1], T η (·) es un semigrupo en R con atractor global A η = [−η,η].

  2. Por el ejemplo 5.2, la colección de semigrupos {T η (·)} η∈[0,1]

  3. es asintóticamente compacto y S η [0,1] A η = [−1,1] es acotada.

  4. Sea x ∈ [− , ], donde mZ y m ≥ 1, luego

|T η (t)xT 0(t)x| ≤ 2

Implica

limη0|Tη(t)x-T0(t)x|limη02mη=0.

  1. Para η ∈ (0,1], S η = {A η } = {E η }

limη0dH(Eη,E)=limη0supaEηd(a,{0})=0.

Por otro lado, desde que ξ η : RA η es una solución global, existen δ=12 y η1=110 de modo que para todo η ∈ (0,η 1) se cumple (12).

Por el teorema 5.3, existe un η 0 > 0 de modo que, para todo η ∈ (0,η 0), T η (·) es un semigrupo gradiente con respecto a S η .

Ejemplo 5.5. La ecuación diferencial

x˙ = −x(xη −1)(x+η +1), xR y η ∈ [0,1]

induce para cada η un semigrupo T η (·). Cuando η = 0, el semigrupo T 0(·) tiene un atractor global A = [−1,1] y es gradiente con respecto a S = {E 1,E 2,E 3} donde E 1 = {−1}, E 2 = {1} y E 3 = {0} (ejemplo 4.4). Además:

  1. Para cada η ∈ (0,1], T η (·) es un semigrupo sobre R con atractor global A η = [−η −1,η +1].

  2. Por el ejemplo 5.2, la colección de semigrupos {T η (·)} η∈[0,1]

  3. es asintóticamente compacto y S η [0,1] A η = [−2,2] es acotada.

  4. T η (·) converge a T(·), uniformemente en subconjuntos compactos de R.

Sea xxA=&#091;-1,1&#093;=m&#091;1η,1&#093;&#091;-1;-1+mη){0}(1-mη,1&#093;,[/p]

luego x ∈ [−1;−1 + ) ó x = 0 ó x ∈ (1 − ,1], para algún m . Si x = 0, se cumple trivialmente (11). Si x ∈ [−1;−1 + ) ∪ (1 − ,1], se tiene que |T η (t)xT 0(t)x| ≤ (m + 1)η, y se cumple (11). Si x ∈ [− +1, +1], kZ , k ≥ 1, η ∈ (0,1], entonces |T η (t)xT 0(t)x| ≤ , y se cumple (11).

  1. Para η ∈ (0,1], A contiene una colección finita de conjuntos invariantes aislados S donde E y se cumple que

limη0dH(Ejη,Ej)=0

Además, se observa que para cada solución global ξ η : RA η se cumple (12), cuando δ > 0 y η ∈ (0,1).

Por el teorema 5.3, existe un η 0 > 0 de modo que, para todo η ∈ (0,η 0), T η (·) es un semigrupo gradiente con respecto a S η .

AGRADECIMIENTO 6.

Este trabajo es parte del proyecto intitulado «estudio de atractores globales en sistemas no-autónomos» que fue parcialmente apoyado por la UNMSM, con número: 151401215. La autora agradece a los revisores por hacer un reporte detallado del manuscrito y por enviarnos valiosas sugerencias, las cuales se incluyeron para mejorar la presentación del trabajo.

REFERENCIAS

Aragão Costa, E. R., Caraballo, T., Carvalho, Alexandre N., and Langa, José A. (2011). Stability of gradient semigroups under perturbations Nonlinearity, 24 (7), 2099-2117. MR 2805595. https://www.doi.org/10.1088/0951-7715/24/7/010 [ Links ]

Bortolan, Matheus C. and Carvalho, Alexandre N. and Langa, José A. (2020) Attractors under autonomous and nonautonomous perturbations Mathematical Surveys and Monographs, vol. 246 American Mathematical Society, Providence, RI 2020 MR 4249447 [ Links ]

Carvalho, Alexandre N., Langa, José A., Robinson, James C. and Suárez, Antonio. (2007) Characterization of nonautonomous attractors of a perturbed infinite-dimensional gradient system. J. Differential Equations 236 (2), 570-603. MR 2322025 https://doi.org/10.1016/j.jde.2007.01.017 [ Links ]

Carvalho, Alexandre N. and Langa, José A. (2009) An extension of the concept of gradient semigroups which is stable under perturbation. J. Differential Equations, 246 (7), 2646-2668. MR 2503016 https://doi.org/10.1016/j.jde.2009.01.007 [ Links ]

Carvalho, Alexandre N. and Langa, José A. and Robinson, James C. (2013). Attractors for infinite dimensional non autonomous dynamical systems. South Melbourne, Australia: Thomson. Applied Mathematical Sciences, vol. 182, Springer, New York, 2013. MR 2976449 [ Links ]

Chicone, Carmen (2006). Ordinary differential equations with applications. 2nd ed., Texts in Applied Mathematics, vol 34, Springer, New York, 2006. MR 2224508 [ Links ]

Gavilán, Maruja (2019) Funciones de Lyapunov y semigrupos tipo-gradiente. Tesis para optar grado de magíster en matemática pura, Unidad de Posgrado, Universidad Nacional Mayor de San Marcos, Lima, Perú, diciembre 2019. http://cybertesis.unmsm.edu.pe/handle/cybertesis/11586Links ]

Hale, Jack-K. (2004). Stability and gradient dynamical systems. Rev. Mat.Complut, 17 (1), 7-57. MR 2063940 https://doi.org/10.5209/rev_REMA.2004.v17.n1.16767 [ Links ]

Hale, Jack-K. (1980). Ordinary differential equations. 2nd ed., Robert E. Krieger Publishing Co., Inc., Huntington, N.Y., 1980. MR 587488 [ Links ]

Marín, Gayte-Irene (2016) Dinámica global de sistemas mutualistas. Trabajo de fin de grado, Facultad de matemáticas, Universidad de Sevilla, Sevilla, España, 2016, http://hdl.handle.net/11441/43805Links ]

Raugel, G. (2002). Global attractors in partial differential equations, Handbook of dynamical systems, Vol. 2, North-Holland, Amsterdam, 2002, pp. 885-982. MR 1901068 (2003f:37151) [ Links ]

Krzysztof P., Rybakowski (1987). The homotopy index and partial differential equations. Universitext, Springer-Verlag, Berlin, 1987. MR 910097 (89d:58025) [ Links ]

Apéndice A

:

Ecuaciones diferenciales autónomas

Tal como se describe en el libro texto de Hale (1980), cada función contínua en un abierto euclidiano induce una ecuación diferencial, de modo que las soluciones siempre existen. Es más, la continuidad de las derivadas garantizan la unicidad de las soluciones y se obtienen así ejemplos de semigrupos. Específicamente, se considera el siguiente problema de valor inicial

˙ = (), (0) = ∈ , (13)

donde f: R n R n es una función continuamente diferenciable. Consecuentemente, esta función f es localmente Lipschitz: para cada x 0R n , existen dos constantes δ > 0 y L > 0 tales que las desigualdades ||xx 0|| < δ y ||yx 0|| < δ implican que

||f(x)− f(y)|| ≤ L||xy||. Una solución de (13) es una función continuamente diferenciable ϕ: IR n , definida en un intervalo abierto que contiene al cero tal que

ddt(φ(t))=f(φ(t)),tφ(0)=x0. (14)

La función φ: (α,β) → R n es llamada solución maximal si por cada solución ϕ: IR n que satisface (α,β) ⊂ I y φ = ϕ | (α,β) , se obtiene (α,β) = I, y consecuentemente φ = ϕ.

Ejemplo 6.1. Si y 0R es positivo, la solución de x˙ = x 2, xR que envía t 0 = 0 en y 0 satisface

φ(t)=y01-y0t,t-,1y0

Además, |ϕ(t)| → +∞ cuando t1y0.

En el problema (13) se cumple el siguiente teorema. La prueba se obtiene a partir de la teoría descrita en el libro texto de Chicone, C. (2006).

Teorema 6.2. Para cada x 0R n existe una solución maximal de (13) que satisface las siguientes propiedades.

  1. Si ψ: JR n satisface (14) en el intervalo abierto J ∋ 0, entonces ψ(t) =ϕ(t) para todo tIJ. Consecuentemente, la solución maximal es única.

(α,β) ∋ t 7→ φ(t,x 0) ∈ R n denota la solución maximal de (13), entonces β = +∞ o bien β < +∞ y {φ(t,x 0): 0 ≤ t < β} intersecta el complemento de cualquier compacto KR n .

  1. Si I(x 0) denota el dominio de la solución maximal, entonces el conjunto

x0RnI(x0)×{x0}

es abierto en R×R n . Además, en este conjunto abierto la regla de correspondencia (t,x) 7→ φ(t,x) genera una función continuamente diferenciable tal que

ϕ(0,x)=x,ϕ(t+s,x)=ϕ(t,ϕ(s,x)),xRn,s,t+sI(x).

Si se asume que existe una constante r 0 > 0 tal que

|||| ≥ =⇒ ()·0, (15)

donde · denota el producto usual de R n . A partir del teorema 6.2, se obtiene que la solución maximal está definida en un intervalo de longitud infinita. Específicamente, (15) implica que el dominio I(x 0) de la solución maximal de (13) incluye al intervalo [0,+∞).

En este contexto, la familia de funciones continuas T(t): R n R n dada por medio de la regla

T(t)x0 = φ(t,x0)x0R n t ≥ 0

está bien definida y forma un semigrupo en X = R n , pues se construye a partir de soluciones maximales. Esto se describe en la monografía de Bortolan et al. (2020).

Ejemplo 6.3. En el plano R 2 = {(x,y): x,yR}, se considera el siguiente sistema de ecuaciones diferenciales

ẋ=-y+P(x2+y2)x,ẏ=x+P(x2+y2)y. (16)

donde P: RR es una aplicación polinomial que admite una raíz r 0 > 0 tal que r 0 = max {rR: P(r) = 0} =⇒ P (r 0) < 0.

En este contexto, en el sistema (16) se cumple (15) y por lo tanto las soluciones maximales definen un semigrupo en R 2. En las coordenadas polares (r,θ), dadas por las igualdades x = rcosθ, y = rsenθ, el sistema (16) toma la forma

ṙ=rP(r2),θ̇=1.

Cabe mencionar que las raíces del polinomio P inducen ciclos límite para (16). En el caso especial del polinomio P(u) = 1−u (satisface P (1) < 0) la solución maximal que envía el cero en (r 0,θ 0) en coordenadas polares toma la forma

ϕt,r0,θ0=r02e2t1-r02+r02e2t12,θ0+t

Recibido: 12 de Agosto de 2020; Aprobado: 01 de Mayo de 2022

Autor para correspondencia: * mgavilang@unmsm.edu.pe

Maruja Gavilán Gonzales, es Magíster en Matemática Pura por la Universidad Nacional Mayor de San Marcos (UNMSM) (Perú). Premio Sofia Kovalevskaia a la mejor tesis de maestría 2020. Docente a tiempo completo en la Universidad Nacional Mayor de San Marcos desde el año 2009 hasta la actualidad. Reconocimiento al mérito en el desempeño docente en el 2020.

Creative Commons License Este es un artículo publicado en acceso abierto bajo una licencia Creative Commons