Willy 2017

Un problema de Dirichlet del tipo p(x)-Kirchhoff vı́a
alternativa de Fredholm
Willy David Barahona Martı́nez
VII Simposio Internacional de Matemática Aplicada
UNMSM, Julio 2017
Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Un problema de Dirichlet del tipo p(x)-Kirchhoff vı́a alternativa de Fredholm
Resumen
El objetivo de este trabajo es obtener soluciones débiles para una clase de

problema de tipo p(x) - Kirchhoff. El resultado es obtenido mediante
resultados del tipo Fredholm para un par de operadores no lineales.
Además, se considera la unicidad de las soluciones débiles.
Palabras clave: Ecuaciones de tipo p(x) -Kirchhoff, Resultados tipo
Fredholm, Condición lı́mite sin flujo.

Introducción
Problema (1)
En este artı́culo estudiaremos el siguiente problema p(x)-Kirchhoff
Z
t(x)
−M A(x, ∇u) div (a(x, ∇u)) = f (x, u)|u|s(x) en Ω (1)
Ω
u=0 sobre ∂Ω
donde Ω es un dominio acotado en Rn con frontera regular ∂Ω, y n ≥ 1,

p, s, t ∈ C (Ω) para cada x ∈ Ω; M : R+ → R+ es una función continua, f
es una función de Caratheodory y div (a(x, ∇u)) es un operador del tipo
p(x)-Laplaciano.

En los últimos años los estudios de ecuaciones diferenciales y problemas
variacionales con condiciones de crecimiento no estándar han recibido
considerable atención (Ver [2] − [4]); esto debido a las múltiples
aplicaciones a la Dinámica poblacional, Biomatemática, Mecánica elástica,
Restauración de imágenes entre otras.
Consideramos (1) y estudiaremos la existencia, unicidad y singularidad de
las soluciones débiles; para lograr lo deseado utilizaremos resultados
topológicos del tipo Fredholm dados por Dinca en [1].

Resultados Previos
Recordamos algunas propiedades de los espacios generalizados de

1,p(x)
Lebesgue Lp(x) (Ω) y Sobolev W0 (Ω); consideramos el conjunto:
C+ (Ω) = {p(x) ∈ C (Ω) : p(x) > 1, ∀x ∈ Ω}

p + = max{p(x); x ∈ C (Ω)} y para algún p(x) ∈ C+ (Ω)
p − = min{p(x); x ∈ C (Ω)} y para algún p(x) ∈ C+ (Ω)
Sea M(Ω) es el conjunto de todas las funciones reales medibles definidas
sobre Ω.
i,e) M(Ω)={ u: u es una función medible con valor real sobre Ω}

Definimos el Espacio de Lebesgue con exponente variable
( Z )
Lp(x) (Ω) = u ∈ M(Ω) : |u(x)|p(x) dx < ∞
Ω
con la norma
Z
u(x) p(x)
|u|p(x) = inf µ > 0 : | | dx ≤ 1
Ω µ
ası́ (Lp(x) (Ω), |u|p(x) ) es un Espacio de Banach.
Definimos el Espacio de Sobolev con exponente variable
( )
W 1,p(x) (Ω) = u ∈ Lp(x) (Ω) : |∇u| ∈ Lp(x) (Ω).

Teoremas.
1,p(x)
A la clausura de C0∞ (Ω) en W 1,p(x) (Ω) lo denotamos como W0 (Ω),
cuya norma está dada por
kuk = |u|p(x) + |∇u|p(x)

1,p(x)
Se sabe que |∇u|p(x) y kuk son normas equivalentes en W0 (Ω). Por lo
que usaremos la norma
1,p(x)
kuk = |∇u|p(x) , ∀u ∈ W0 (Ω)

Teoremas
Teorema (3.1)
0 1 1
El Espacio conjugado de Lp(x) (Ω) es Lp (x) (Ω) donde p(x) + p 0 (x) = 1.
Para cada u ∈ Lp(x) (Ω) yv ∈L p 0 (x) (Ω) tenemos la siguiente desigualdad
del tipo Hölder.
Z
1 1
uvdx ≤ ( − + − 0 )|u|p(x) |v |p0 (x)

Ω p (p )
Teorema (3.2)
1,p(x)
Los Espacios generalizados Lp(x) (Ω), W 1,p(x) (Ω) y W0 (Ω)
son Espacios de Banach Separables y Reflexivos.

Teoremas
Teorema (3.3)
Denotamos ρ(u) = Ω |u(x)|p(x) dx; ∀u, uν ∈ Lp(x) (Ω), entonces tenemos
R
las siguientes propiedades:

(1) u 6= 0, |u|p(x) = λ ⇐⇒ ρ( λu ) = 1;
(2) |u|p(x) < 1 (= 1; > 1) ⇐⇒ ρ(u) < 1 (= 1; > 1);
− +
(3) Si |u|p(x) > 1, =⇒ |u|pp(x) ≤ ρ(u) ≤ |u|pp(x) ;
+ −
(4) Si |u|p(x) < 1, =⇒ |u|pp(x) ≤ ρ(u) ≤ |u|pp(x) ;
(5) lim |uν |p(x) = 0 ⇐⇒ lim ρ(uν ) = 0;
ν→+∞ ν→+∞
(6) lim |uν |p(x) = +∞ ⇐⇒ lim ρ(uν ) = +∞.
ν→+∞ ν→+∞

Teoremas
Teorema (3.4)
1,p(x)
En W0 (Ω) la desigualdad de Poincaré nos dice que existe una
constante C0 positiva talque
1,p(x)
|u|Lp(x) (Ω) ≤ C0 |∇u|Lp(x) (Ω) , ∀u ∈ W0 (Ω).
Teorema (3.5)
Si µ ∈ C+ (Ω) y µ(x) ≤ p ∗ (x) (µ(x) < p ∗ (x)) para x ∈ Ω, entonces existe
1,p(x)
una inmersión continua (compacta) W0 (Ω) ,→ Lµ(x) (Ω), donde
(
np(x )
p ∗ (x) = n−p(x) , p(x) < n;
+∞, p(x) ≥ n.

Solución Débil del Problema (1)
Definición :
1,p(x)
La función u ∈ W0 (Ω) es llamada solución débil del problema (1) si
Z Z Z
t(x)
− M( A(x, ∇u)dx) (a(x, ∇u))∇vdx = |u|s(x) f (x, u)vdx (2)
Ω Ω Ω
1,p(x)
∀v ∈ W0 (Ω)
En lo que continúa, la función f : Ω × R −→ R siempre sera considerada

con la condición de Caratheodory
(f0 ) f (x, t)t ≤ c1 |t|α(x)−1 + c2 , ∀(x, t) ∈ Ω × R
donde c1 , c2 son constantes positivas, α ∈ C+ (Ω) tal que
1 < α(x) < p ∗ (x)

(M0 ) M : [0; +∞[−→ [m0 ; +∞[ es continua no decreciente con
m0 > 0.
La aplicación
a(x, ξ) : Ω̄ × Rn −→ R
es la derivada continua respecto a la variable ξ de la aplicación
A : Ω̄ × Rn −→ Rn , A = A(x, ξ);
Ası́ tenemos que:
∂
a(x, ξ) = Dξ A(x, ξ) = ∂ξ A(x, ξ), satisface las siguientes condiciones:

(a) a(x, ξ) ≤ c0 (1 + |ξ|p(x)−1 ), ∀x ∈ Ω y ξ ∈ Rn para alguna
constante c0 > 0.
(b) A es p(x)-uniformemente convexa, si existe una constante
k > 0 tal que
ξ+ψ 1 1
A(x, ) ≤ A(x, ξ) + A(x, ψ) − k|ξ − ψ|p(x) ,
2 2 2
∀x ∈ Ω; ξ, ψ ∈ Rn .
(c) La siguiente desigualdad es válida a(x, ξ).ξ ≤ p(x)A(x, ξ)
para todo x ∈ Ω; ξ ∈ Rn .
(d) A(x, 0) = 0, ∀x ∈ Ω.
(e) (a(x, ξ) − a(x, η)).(ξ − η) ≥ γ|ξ − η|p(x) , para algún γ ≥ 1.

Observamos que el problema no es variacional, por lo que nuestra
herramienta en la búsqueda de soluciones es un resultado del tipo
alternativa de Fredholm para un par de operadores no lineales obtenidos
por G. Dinca [1].
Denotamos al operador grado de Leray-Schauder como dLS (G , B, 0).

Teoremas
Teorema (3.6) (Dinca).

Sean X e Y espacios de Banach reales y dos operadores no lineales
T , S : X → Y tal que:
1 T es biyectiva y T −1 es continua.
2 S es compacto.
3 Sea λ 6= 0 un número real talque: k(λT − S)(x)k → +∞ cuando
kxk → +∞
4 Existe una constante R > 0 tal que
k(λT − S)(x)k > 0 si kxk ≥ R, dLS (I − T −1 ( Sλ ), B(θ, R), 0) 6= 0
Entonces
λI − S es suryectiva de X en Y .

1,p(x)
Recordemos que u ∈ W0 (Ω) es una solución débil del problema (1) sı́
y sólo sı́
Z
t(x) 0
−M A(x, ∇u) div (a(x, ∇u)) = |u|s(x) Nf u en W −1,p (x) (Ω)
Ω
donde Nf es el operador de Nemytski.

Discusión
Teorema (4.1).Si las siguientes condiciones se satisfacen :

(a) a(x, ξ) ≤ c0 (1 + |ξ|p(x)−1 ), ∀x ∈ Ω y ξ ∈ Rn para alguna
constante c0 > 0.
(b) A es p(x)-uniformemente convexo, si existe una constante
k > 0 tal que
ξ+ψ 1 1
A(x, ) ≤ A(x, ξ) + A(x, ψ) − k|ξ − ψ|p(x) ,
2 2 2
∀x ∈ Ω; ξ, ψ ∈ Rn .
(c) a(x, ξ).ξ ≤ p(x)A(x, ξ), ∀x ∈ Ω y ξ ∈ Rn .
(d) A(x, 0) = 0, ∀x ∈ Ω.
(e) (a(x, ξ) − a(x, η)).(ξ − η) ≥ γ|ξ − η|p(x) , para algún γ ≥ 1.

Continúa el enunciado del Teorema (4.1).
Además:
(f0 ) f (x, t)t ≤ c1 |t|α(x)−1 + c2 , ∀(x, t) ∈ Ω × R,
(M0 ) M : [0; +∞[−→ [m0 ; +∞[ es continua no decreciente con
m0 > 0.
donde
t + + α+
< p−
2
Entonces
existe una solución débil para el problema (1).

Prueba del Teorema (4.1)
0
Prueba: Para aplicar el teorema (3.6), tomamos Y = W −1,p (x) (Ω) y los
operadores
1,p(x) 0
T , S : W0 (Ω) → W −1,p (x) (Ω)
de la siguiente manera
Z Z
hTu, v i = M A(x, ∇u)dx a(x, ∇u)∇vdx
Ω Ω
t(x)
hSu, v i = |u|s(x) hNf u, v i
Z
t(x)
hSu, v i = |u|s(x) f (x, u)vdx
Ω

1,p(x)
Dado que W0 (Ω) ,→ Lα(x) (Ω) es compacta, de la condición dada por
(f0 ), podemos ver que la aplicación
1,p(x) 0
Nf : W 0 (Ω) → W −1,p (x) (Ω)
es secuencialmente débilmente y fuertemente continua; la continuidad de
S es inmediata.
Sea :
1,p(x)
(uν )ν≥1 ⊆ W0 (Ω) acotada,
entonces existe una subsucesión
(uνk )k≥1 de (uν )ν≥1
tal que
(Nf (uνk ))k≥1 es fuertemente convergente

Sea:
1,p(x)
uν → u en W0 (Ω)
entonces
uν → u en Ls(x) (Ω) y Lα(x) (Ω)

de donde
uν → u ctp en Ω
Desde que t ∈ C (Ω), tenemos
t(x) t(x)
|uν |s(x) → |u|s(x) ctp x ∈Ω
además
f (x, uν ) → f (x, u) ctp x ∈Ω
entonces tenemos
t(x) t(x)
f (x, uν )|uν |s(x) → f (x, u)|u|s(x) ctp x ∈Ω
de (f0 ) y uν → u ctp en Ω
0
t(x) α (x)

t(x)
f (x, uν )|uν |s(x) − f (x, u)|u|s(x) ≤ C 1 + k(x) + |u|α(x)

donde
(1 + k(x) + |u|α(x) ) ∈ L1 (Ω)
y por el teorema de la Convergencia Dominada
Z α0 (x)
t(x) t(x)
lim |uν |s(x) f (x, uν ) − |u|s(x) f (x, u) dx = 0

ν→+∞ Ω

entonces
α0 (x)
t(x) t(x)
lim |uν |s(x) f (x, uν ) − |u|s(x) f (x, u) =0 (3)

ν→+∞
luego de (3) tenemos

t(x) t(x)
hSuν , v i − hSu, v i ≤ C f (x, uν )|uν |s(x) − f (x, u)|u|s(x) →0 (4)

α0 (x)
0
Ası́, Suν → Su en W −1,p (x) (Ω). Esto demuestra que S es compacto.

Por otro lado:
1,p(x)
Consideramos la funcional L : W0 (Ω) → R definida por
Z
1,p(x)
L(u) = A(x, ∇u)dx, ∀u ∈ W0 (Ω)
Ω
1,p(x)
cuya derivada de Gateaux en el punto u ∈ W0 (Ω) es dada por
Z
0 1,p(x)
hL (u), v i = a(x, ∇u)∇vdx, ∀u, v ∈ W0 (Ω)
Ω

La monotonicidad estricta de L0 es deducida inmediatamente de la
condición de monotonicidad (a), de (e) y de la siguiente identidad
elemental ∀a, b ∈ Rn se cumple:
22−p |a − b|n ≤ (|a|p−2 a − |b|p−2 b)(a − b); si p(x) ≥ 2
(p−1)|a−b|2 (|a|+|b|)p−2 ≤ (|a|p−2 a−|b|p−2 b)(a−b); si 1 < p(x) < 2

donde estamos usando el producto interno estandar de Rn . Ası́ tenemos
que L es estrictamente convexo.

Dado que M es no decreciente, entonces
Z t
M(t) =
b M(s)ds
0
1,p(x)
es convexo en [0, +∞[ ası́, para cada u, v ∈ W0 (Ω), con u 6= v , y
cada s, t ∈]0, 1[ con s + t = 1 se tiene
M(L(su
b + tv )) < M(sL(u)
b + tL(v )) ≤ s M(L(u))
b + t M(L(v
b ))
Esto muestra que Z

φ(u) = M
b A(x, ∇u)
Ω
es estrictamente convexo, y comohφ0 (u), v i

= hTu, v i deducimos que T es
1,p(x)
estrictamente monótona en W0 (Ω), por lo que T es una inyección,
lograndose probar que T es un operador del tipo (S+ ).
1,p(x)
Ahora, para u ∈ W0 (Ω), con kuk > 1, tenemos
hTu, ui 0
≥ m0 kukp −1 −→ +∞
kuk
cuando kuk → +∞ por lo tanto, T es coercivo; los argumentos estándar
garantizan que T es demicontinuo.
Por el teorema de Minty-Browder, el operador T es una suryección, y por
lo tanto la inversa
0 1,p(x)
(T )−1 : W −1,p (x) (Ω) → W0 (Ω)
de T existe. Ahora probaremos la continuidad de (T )−1 .

En efecto sean:
0 0
(gν )ν≥1 ⊆ W −1,p (x) (Ω) talque gν → g en W −1,p (x) (Ω)
y
uν = (T )−1 gν , u = (T )−1 g , entonces Tuν = gν , Tu = g
Por la coercitividad de T , deducimos que (uν )ν≥1 es acotada en

1,p(x)
W0 (Ω).
ası́ tenemos que
1,p(x)
uν * u en W0 (Ω)
desde que
0
gν → g en W −1,p (x) (Ω)
lim hTuν − Tu, uν − ui = lim hgν − g , uν − ui = 0.
ν→+∞ ν→+∞
Como T es del tipo (S+ ) y uν → u entonces T −1 es continuo.

Por otro lado después de algunos cálculos obtenemos
− −1 1,p(x)
kTuk ≥ m0 kuk2p , ∀u ∈ W0 (Ω), kuk ≥ 1,
t + +α+ −1 1,p(x)
kSuk ≥ c1 kuk + c2 , ∀u ∈ W0 (Ω), kuk ≥ 1
Por lo que para kuk ≥ 1 tenemos:
− −1 + +α+ −1
k(T − S)uk ≥ kTuk − kSuk ≥ m0 kuk2p − c1 kukt + c2 ,
1,p(x)
∀u ∈ W0 (Ω)
Luego concluimos que
k(T − S)uk → +∞ cuando kuk → +∞
entonces existe r1 > 1 tal que

1,p(x)
k(T − S)uk > 1, ∀u ∈ W0 (Ω), con kuk > r1

luego se demuestra que

1,p(x) −1
A = u ∈ W0 (Ω) : u = tT (Su); t ∈ [0, 1]
1,p(x)
es acotado en W0 (Ω).
Entonces existe r2 > 0 tal que A ⊆ B(0, r2 ).
Elegimos R = max{r1 , r2 } y consideramos la homotopı́a de las
transformaciones compactas
1,p(x)
H1 : [0, 1] × B(0, R) −→ W0 (Ω)
definida por
H1 (t, u) = tT −1 (Su)

de la elección de R, tenemos H1 (t, u) 6= u, ∀u ∈ ∂B(0, R), por lo tanto
el grado de Leray-Schauder
dLS (I − T −1 (S), B(0, R), 0)
esta bien definido.
dLS (I − T −1 ◦ S, B(0, R), 0) = dLS (I − H1 (1, .), B(0, R), 0)

dLS (I − T −1 ◦ S, B(0, R), 0) = dLS (I − H1 (0, .), B(0, R), 0)
dLS (I − T −1 ◦ S, B(0, R), 0) = dLS (I , B(0, R), 0) = 1 6= 0
Ası́, el par de operadores no lineales (T , S) satisfacen la hipótesis del
teorema (1) para λ = 1.

Se deduce que
1,p(x) 0
T − S : W0 (Ω) → W −1,p (x) (Ω)
1,p(x)
es suryectivo. Por lo tanto, existe u ∈ W0 (Ω) tal que
0
(T − S)u = 0; en W −1,p (x) (Ω)
es decir
0
Tu = Su en W −1,p (x) (Ω)
de donde concluimos la demostración.

Conclusiones
1 Debido a que el problema (1) no tiene estructura variacional, hemos

recurrido a una técnica Topológica debido a Dinca [1] . Esta
metodologı́a de trabajo nos ha permitido obtener solución débil del
problema.
2 El método introducido es bastante general y es aplicable a ecuaciones
elı́pticas con otros operadores y términos no lineales y en otros tipos
de espacios, por ejemplo en los espacios de Orlicz.
3 Similarmente es posible aplicar el método a ecuaciones elı́pticas que
presentan condiciones de frontera tipo Neumann, condiciones mixtas,
de ningún flujo, etc.
4 Serı́a interesante aplicar la técnica explicada en problemas con
operadores fraccionales y con no linealidades que involucren términos
gradientes.
Referencias Bibliográficas
Dinca G., A Fredholm-type result for a couple of nonlinear operators,
CRACSI, 333(5), 2001, 415-419.
Dai G, Liu D., Infinitely many positive solutions for a p(x)-Kirchhoff
type equation, J. Math. Anal Appl. 359(2009)704-710.
Dai G, Hao R., Existence of solutions for a p(x)-Kirchhoff type
equation, J. Math. Anal Appl. 359(2009)275-284.
Fan X. L., On nonlocal p(x)-Laplacian Dirichlet problems. Nonlinear
Anal. 72(2010)3314-3323.
Barahona W, Cabanillas E, Rodriguez G, De La Cruz R, Quique J.,
Existence of solutions for a class of p(x)-Kirchhoff type equation via
topological methods, Libro de Resumenes VIII ENAMA.
UFPE-Pernambuco/ Brasil(2014)200-201.
Obrigado pela sua atenção
Muchas gracias por su atención


Willy 2017

Cargado por

Copyright:

Formatos disponibles

Willy 2017

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Willy 2017

Cargado por

Copyright:

Formatos disponibles

Un problema de Dirichlet del tipo p(x)-Kirchhoff vı́a

Willy David Barahona Martı́nez

VII Simposio Internacional de Matemática Aplicada

UNMSM, Julio 2017

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

El objetivo de este trabajo es obtener soluciones débiles para una clase de

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

donde Ω es un dominio acotado en Rn con frontera regular ∂Ω, y n ≥ 1,

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Recordamos algunas propiedades de los espacios generalizados de

C+ (Ω) = {p(x) ∈ C (Ω) : p(x) > 1, ∀x ∈ Ω}

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

kuk = |u|p(x) + |∇u|p(x)

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

las siguientes propiedades:

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

En lo que continúa, la función f : Ω × R −→ R siempre sera considerada

(f0 ) f (x, t)t ≤ c1 |t|α(x)−1 + c2 , ∀(x, t) ∈ Ω × R

donde c1 , c2 son constantes positivas, α ∈ C+ (Ω) tal que

1 < α(x) < p ∗ (x)

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Teorema (3.6) (Dinca).

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

donde Nf es el operador de Nemytski.

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Teorema (4.1).Si las siguientes condiciones se satisfacen :

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

(uνk )k≥1 de (uν )ν≥1

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

uν → u en Ls(x) (Ω) y Lα(x) (Ω)

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

luego de (3) tenemos

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

22−p |a − b|n ≤ (|a|p−2 a − |b|p−2 b)(a − b); si p(x) ≥ 2

(p−1)|a−b|2 (|a|+|b|)p−2 ≤ (|a|p−2 a−|b|p−2 b)(a−b); si 1 < p(x) < 2

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Esto muestra que Z 

es estrictamente convexo, y comohφ0 (u), v i

de T existe. Ahora probaremos la continuidad de (T )−1 .

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

uν = (T )−1 gν , u = (T )−1 g , entonces Tuν = gν , Tu = g

Por la coercitividad de T , deducimos que (uν )ν≥1 es acotada en

Como T es del tipo (S+ ) y uν → u entonces T −1 es continuo.

k(T − S)uk → +∞ cuando kuk → +∞

entonces existe r1 > 1 tal que

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

Willy David Barahona Martı́nez VII Simposio Internacional de Matemática Aplicada

dLS (I − T −1 (S), B(0, R), 0)

esta bien definido.

dLS (I − T −1 ◦ S, B(0, R), 0) = dLS (I − H1 (1, .), B(0, R), 0)

Esto muestra que Z