Coloquio Regiao Nordeste 2022 Parte3

Um breve passeio pelo problema de obstáculo - Bis
Mundo não-linear: Velhas questões, novos desafios

Problemas totalmente não-lineares com dupla fase
Referências
Avanços recentes em teoria de regularidade

elı́ptica - Parte III
João Vitor da Silva
Universidade Estadual de Campinas (jdasilva@unicamp.br)

.
V Colóquio de Matemática da Região Nordeste
.
Universidade Federal de João Pessoa - UFPB - 07 a 11 de novembro de 2022
09 de Novembro, 2022
João Vitor da Silva Avanços recentes em teoria de regularidade elı́ptica - Parte III
Referências
Outline
1 Um breve passeio pelo problema de obstáculo - Bis
2 Mundo não-linear: Velhas questões, novos desafios
3 Problemas totalmente não-lineares com dupla fase
4 Referências
Referências
Um breve passeio pelo problema de

obstáculo - Bis
Referências
Uma pequena motivação

Matematicamente, o problema de obstáculo consiste em resolver o seguinte problema de
minimização: ˆ
1
min |∇v|2 + fv dx
K Ω 2
onde
K = {v ∈ H 1 ( Ω ); v ≥ ψ e v|∂Ω = g} (conj. convexo) ⇔ u1 , u2 ∈ K ⇒ tu1 + (1 − t)u2 ∈ K.
1 ψ ∈ C2 (Ω) é um dado obstáculo;

2 g : ∂Ω → R dado de bordo;
3 0 < f ∈ L∞ ( Ω ).
Referências

Matematicamente, o problema de obstáculo consiste em resolver o seguinte problema de
minimização: ˆ
1
min |∇v|2 + fv dx
K Ω 2
onde
K = {v ∈ H 1 ( Ω ); v ≥ ψ e v|∂Ω = g} (conj. convexo) ⇔ u1 , u2 ∈ K ⇒ tu1 + (1 − t)u2 ∈ K.
1 ψ ∈ C2 (Ω) é um dado obstáculo;

3 0 < f ∈ L∞ ( Ω ).
Fisicamente, temos o seguinte
ˆ
1
X |∇v|2 dx Energia Elástica;
Ω 2
ˆ
X fvdx Energia gravitacional.
Ω
Referências

1 Existência de Minimizantes (Método Direto do Cálculo das Variações)a ;
2 Minimizantes satisfazem no sentido fraco b
∆u(x) em Ω

= f (x ) χ {u> ψ }
u(x) = g(x) em ∂Ω
3 Quão regular podem ser tais minimizantes?

a
H. Brezis, Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer,
New York, 2011. xiv+599 pp. ISBN: 978-0-387-70913-0.
N. Wolanski, Introdución a los problemas de frontera libre. Cursos y Seminarios de Matemática - Serie B.
Fascı́culo 2. 2007 Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de
Buenos Aires.
Referências

Teoria de Regularidade Elı́pticaa
Seja u : Ω → R uma sulução fraca de −∆u(x) = f (x) em Ω

2,q
1 Teoria de Calderón-Zygmund: f ∈ Lq (Ω), N
2 <q<∞ ⇒ u ∈ Wloc (Ω). Além disso,

kukW2,q (Ω0 ) ≤ C(Ω, q, N ) kukL2 (Ω) + kf kLq (Ω)
1,1− N
Pelo mergulho de Sobolev: W 2,q ,→ C q para N < q < ∞.
2 Teoria de Schauder: f ∈ C0,α (Ω), α ∈ (0, 1) ⇒ u ∈ C2,α
loc ( Ω ). Além disso,

kukC2,α (Ω0 ) ≤ C(Ω, α, N ) kukL∞ (Ω) + kf kC0,α (Ω)
D. Gilbarg & N.S. Trudinger, Elliptic partial differential equations of second order. Reprint of the 1998
edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001. xiv+517 pp. ISBN: 3-540-41160-7 35-02.
Referências

Regressando ao Problema de Obstáculo
∆u(x) = f (x)χ{u>ψ} ∈ L∞ (Ω) ⇒ u ∈ C1,α

loc , ∀ α ∈ (0, 1) (Regularidade Elı́ptica).
Mas, de fato, se ψ ∈ C1,1 (Ω) então u ∈ C1,1

loc ( Ω ) (Frehse’72 e Kinderlehrer-Nirenberg’77)
/ C2loc (Ω)! Por quê?a .
Além disso, u ∈
L.A. Caffarelli, The obstacle problem. Lezioni Fermiane. [Fermi Lectures] Accademia Nazionale dei Lincei,
Rome; Scuola Normale Superiore, Pisa, 1998. ii+54 pp.
A. Figalli, Regularity of interfaces in phase transitions via obstacle problems. - Fields Medal lecture.
Proceedings of the International Congress of Mathematicians - Rio de Janeiro 2018. Vol. I. Plenary lectures,
225-247, World Sci. Publ., Hackensack, NJ, 2018.
J.F. Rodrigues, Obstacle problems in mathematical physics. North-Holland Mathematics Studies, 134.
Notas de MatemÃ¡tica [Mathematical Notes], 114. North-Holland Publishing Co., Amsterdam, 1987.
xvi+352 pp. ISBN: 0-444-70187-7.
Referências
Qual a importância de estimativas de regularidade do tipo
kukX ≤ C(N, dados) (kukX0 + kf kY )
1 Existência/convergência de soluções/algorı́tmos em métodos numéricos;

2 Compacidade
Desigualdade de Harnack ⇒ Regularidade Hölder ⇒ Pré-compacidade de soluções.
3 Resultados do tipo Louville - Classificação de perfils globais: Seja u uma solução de
 −∆u = 0 em RN

+
u (x0 , 0) = 0
u ∈ C0,1 (RN +)

Então, u(x0 , xN ) = LxN , onde L = kuk .

C0,1 (RN
+)
Referências
Mundo não-linear: Velhas questões, novos

desafios
Referências
Um pouco sobre o p−Laplaciano
O operador p−Laplaciano
O operador p−Laplaciano é uma extensão natural do Laplaciano:
∆p u := div(|∇u|p−2 ∇u), 1 < p < ∞.
Referências
O operador p−Laplaciano
O operador p−Laplaciano é uma extensão natural do Laplaciano:
∆p u := div(|∇u|p−2 ∇u), 1 < p < ∞.
Aspectos de Regularidade
−∆p u = f ∈ Lq (Ω) ⇒ u ∈ C1,α

loc ( Ω ), q > N α = α(N, p, q) ∈ (0, 1)
1 Ladyzhenskaya-Ural’tseva’68 (Linear and quasilinear elliptic equations);

2 K. Uhlenbeck’77;
3 L. Evans’82;
4 E. DiBenedetto’83;
Referências
Resultados no plano
Se N = 2 então soluções fracas de −∆p u = 0 são C1,α a
loc com :
s !
1 p 14 1 1
α= + 1+ + → quando p → ∞.
6 p−1 p−1 (p − 1)2 3
T. Iwaniec & J.J. Manfredi, Regularity of p-harmonic functions on the plane. Revista Matemática
Iberoamericana 5 (1989), 1-19.
Referências
Resultados ótimos
1
1+ p−
Seja u(x) = Cp |x| 1 para p > 2. Então, u é uma solução fraca de
−∆p u = 1.
0
Conjectura Cp
Soluções fracas limitadas de
− ∆ p u = f ∈ L∞ ( Ω ), p > 2. (2.1)
1
1, p− 1
são Cloc (Ω) e
1
kuk 1, 1
≤ C(N, p) kukL∞ (Ω) + kf kLp∞−1(Ω)
C p−1 (Ω0 )
Referências
0
A Conjectura Cp está provada em:
1 N = 2;
2 Casos Radiais;
3 Em pontos crı́ticos que não são de sela.
0
D.J. Araújo; E.V. Teixeira & J.M. Urbano, Towards the Cp −regularity conjecture in higher dimensions. Int.
Math. Res. Not. IMRN 2018, no. 20, 6481-6495.
0
D.J. Araújo; E.V. Teixeira & J.M. Urbano, A proof of the Cp −regularity conjecture in the plane. Adv. Math. 316
(2017), 541-553.
Quem quer ser um milionário?

Tal conjectura permanece em aberto para casos gerais!
Referências

O problema de obstáculo para o p−Laplaciano
ˆ
1
min |∇v|p + fv dx Kp = {v ∈ W 1,p (Ω); v ≥ ψ e v|∂Ω = g}
Kp Ω p
onde
1 ψ ∈ C1,β (Ω) é um dado obstáculo com β ≥ 1
p−1 e p > 2;
3 0 < f ∈ L∞ ( Ω ).
Minimizantes satisfazema
1
1, p− 1
∆ p u = f (x ) χ {u> φ } ⇒ u ∈ Cloc ( Ω ).
J. Andersson; E. Lindgren & H. Shahgholian, Optimal regularity for the obstacle problem for the
p-Laplacian. J. Differential Equations 259 (2015), no. 6, 2167-2179.
Referências
O problema de “Núcleos Mortos”a
Seja u uma solução fraca de

q
∆ p u = a (x )u+ em Ω (2.2)
Em Catálise quı́mica u representa a densidade de uma certa substância/gás a(o) qual foi
injetada(o) no bordo com uma taxa g ≥ 0. Além disso,
inf a(x) > 0, kakL∞ (Ω) < ∞, 0 ≤ q < p−1 e 1 < p < ∞.
Ω
J.I. Dı́az, Nonlinear partial differential equations and free boundaries. Elliptic equations, vol. I, Research
Notes in Mathematics 106 (Advanced Publishing Program Boston, MA, 1985) vii+323.
Referências

O problema de “Núcleos Mortos”
Podemos provar que soluções fracas limitadas de (2.2) satisfazem:
p p
C1 r p−1−q ≤ sup u(x) ≤ C2 r p−1−q , ∀ x0 ∈ ∂{u > 0} e r 1.
Br (x0 )
J.V. da Silva & A. Salort, Sharp regularity estimates for quasi-linear elliptic dead core problems and applications.
Calc. Var. Partial Differential Equations 57 (2018), no. 3, Paper No. 83, 24 pp.
J.V. da Silva, P. Ochoa & A. Silva, Regularity for degenerate evolution equations with strong absorption. J.
Differential Equations 264 (2018), no. 12, 7270-7293.
Ganho inesperado de suavidade

Agora notemos que para qualquer 0 ≤ q < p − 1 temos
p 1 0
κ= ≥ 1+ (Expoente da Conjectura Cp − Problema de Obstáculo)
p−1−q p−1
Referências
O ∞−Laplaciano
O operador ∞−Laplaciano
Considemos o seguinte problema −∆p up = f > 0 em B1 . Entãoa :

− |∇up |p−2 ∆up + (p − 2)|∇up |p−4 ∆∞ up = f (x) (Forma não-divergente)
1 1 1
⇒ − |∇up |2 ∆up − ∆∞ up = f (x) (Equivalência de sol.)
p−2 p − 2 |∇up |p−4
− ∆ ∞ u∞ = 0

em B1 no sentido da viscosidade
Quando p → ∞, up → u∞ satisfaz ⇒
|∇u∞ | ≤ 1 em B1
Como operador de segunda ordem: ∆∞ u(x) = hD2 u∇u, ∇ui.
T. Bhattacharya, E. DiBenedetto & J.J. Manfredi, Limits as p → ∞ of ∆p up = f and related extremal

problems. Some topics in nonlinear PDEs (Turin, 1989). Rend. Sem. Mat. Univ. Politec. Torino 1989,
Special Issue, 15-68 (1991).João Vitor da Silva Avanços recentes em teoria de regularidade elı́ptica - Parte III
Referências
O ∞−Laplaciano
O operador ∞−Laplaciano: Estado-da-Arte
Soluções ∞−Harmônicas são:

1 Lipschitz contı́nuas (Aronsson’67-68, Crandall-Evans-Gariepy’01 e Jensen’93);
2 Deriváveis em todo ponto (Evans-Smart’11 e Savin’05);
3 Em 2 − D ⇒ C1,α
loc para algum α ∈ (0, 1) (Evans-Savin’08)
Referências
O ∞−Laplaciano

3 Em 2 − D ⇒ C1,α
Exemplo de Aronsson:
4 4 1
u(x, y) = x 3 − y 3 ⇒ −∆∞ u(x, y) = 0 e u ∈ C1, 3 .
Referências
O ∞−Laplaciano

3 Em 2 − D ⇒ C1,α
Exemplo de Aronsson:
4 4 1
u(x, y) = x 3 − y 3 ⇒ −∆∞ u(x, y) = 0 e u ∈ C1, 3 .
Conjectura:
1
Soluções ∞−Harmônicas (ou com ∞−Laplaciano limitado) são C1, 3 !
Referências
O ∞−Laplaciano
O ∞−Laplaciano e o problema de Núcleo morto
Pergunta:
O que poderı́amos esperar para soluções do problema de Núcleo morto quando p, q → ∞?
up → u∞ ∈ C0,1 (B1 ) satisfaz no sentido da viscosidade
max{∆∞ u∞ , |∇u∞ | − uQ
∞} = 0
onde
q(p)
Q := lim ∈ [0, 1).
p→ ∞ p
Além disso,
1 1
C1 r 1−Q ≤ sup u∞ (x) ≤ C2 r 1−Q , ∀ x0 ∈ ∂{u∞ > 0} e r 1.
Br (x0 )
J.V. da Silva, J.D. Rossi & A. Salort, Regularity properties for p-dead core problems and their asymptotic limit
as p → ∞. J. Lond. Math. Soc. (2) 99 (2019), no. 1, 69-96.
Referências
Problemas com dupla lei de

degenerescência
Referências
Revisão Literária
Antes de apresentar nossos problemas e resultados, permita-nos revisitar alguns models de EDPs elı́pticas:
Scenario Forma Divergente Forma Não-Divergente

Uniformemente Elı́ptico div(A(x)∇u) Tr(A(x)D2 u)
Lei de Degenerecência Simples div(|∇u|p−2 ∇u) (p > 2) |Du|p Tr(A(x)D2 u) (p > 0)
Lei de Degenerecência Dupla div((|∇u| p − 2 + a(x)|∇u|q−2 )∇u) (2 < p ≤ q) Qual seria o proótipo?
Referências
Antes de apresentar nossos problemas e resultados, permita-nos revisitar alguns models de EDPs elı́pticas:
Scenario Forma Divergente Forma Não-Divergente

Uniformemente Elı́ptico div(A(x)∇u) Tr(A(x)D2 u)
Lei de Degenerecência Simples div(|∇u|p−2 ∇u) (p > 2) |Du|p Tr(A(x)D2 u) (p > 0)
Lei de Degenerecência Dupla div((|∇u| p − 2 + a(x)|∇u|q−2 )∇u) (2 < p ≤ q) Qual seria o proótipo?
Neste ponto será natural considerar o seguinte modelo não–homogenêneo:
L[u] = [|Du|p + a(x)|Du|q ] Tr(A(x)D2 u) para 0<p<q<∞ e 0 ≤ a ∈ C0 (Ω),
i.e. a counterparte de certos problemas variationais do Calculus das Variations com estrutura de dupla fase structure.
Referências
Nas últimas décadas surgiram inúmeras pesquisas sobre problemas de dupla fase a
ˆ
1 a(x)
(w, f ) 7→ min |∇w|p + |∇w|q − fw dx ⇒ L[w] = −div |∇w|p−2 + a(x)|∇w|q−2 ∇u = f (x)
Ω p q
Ciência dos Materiais (comportamento de certos materiais fortemente anisotrópicos);

Applicações em theoria de elasticidade ;
Fluxos Transônicos entre outros;
C. De Filippis’ contributions - https://sites.google.com/view/cristianadefilippis/home
P. Marcellini’s contributions - http://web.math.unifi.it/users/marcell/index.html
G. Mingione’s contributions - https://sites.google.com/site/giuseppemingionemath/
N.N. Ural’tseva & A.B. Urdaletova, Boundedness of gradients of generalized solutions of degenerate
nonunifomly elliptic quasilinear equations. Vestnik Leningrad. Univ. Mat. Mekt. Astronom. 1983, vyp. 4,
50-56.
V.V. Zhikov, Lavrentiev phenomenon and homogenization for some variational problems. C. R. Acad. Sci.
Paris Sér. I Math. 316 (1993), no. 5, 435-439.
Referências
Apresentando o problema
Estamos interessados em estudar propriedades quantitativas para modelos totalmente não-lineares com dupla
degenerescência da seguinte forma:

G[u] := [|Du|p + a(x)|Du|q ] F x, D2 u = f (x) em Ω ⊂ RN (domı́nio limitado), (3.1)
em que suporemos a seguinte Condição Estrutural (SC):
Referências
Apresentando o problema
Estamos interessados em estudar propriedades quantitativas para modelos totalmente não-lineares com dupla
degenerescência da seguinte forma:

G[u] := [|Du|p + a(x)|Du|q ] F x, D2 u = f (x) em Ω ⊂ RN (domı́nio limitado), (3.1)
em que suporemos a seguinte Condição Estrutural (SC):

X f ∈ C0 (Ω) ∩ L∞ (Ω);
X F : Ω × Sym(N ) → R é um operador (λ, Λ)−elı́ptico com coeficientes ω −contı́nuos:
|F(x, X) − F(y, X)|

λkX − Yk ≤ F(x, X) − F(x, Y) ≤ ΛkX − Yk e ΘF (x, y) := sup ≤ CF ω (|x − y|).
X∈Sym(n) kXk
X6 =0
X 0 < p < q < ∞ e 0 ≤ a ∈ C0 (Ω).
Referências
Algumas Motivações
Uma questão chave em EDPs lineares/não-lineares consiste em inferir qual é a regularidade esperada para as
correspondentes soluções.
Referências
Permita-nos revisitar a teoria uniformemente elı́ptica: Seja u uma solução de

G[u] := Tr A(x)D2 u = f (x) em B1 . (3.2)
Referências

G[u] := Tr A(x)D2 u = f (x) em B1 . (3.2)
Existem dois aspectos centrais a serem levados em consideração:
Estimativas a priori para a EDP Hom. Integrabilidade do

&
com coeff. “constantes” termo de força
Referências

G[u] := Tr A(x)D2 u = f (x) em B1 . (3.2)
Existem dois aspectos centrais a serem levados em consideração:
Estimativas a priori para a EDP Hom. Integrabilidade do

&
com coeff. “constantes” termo de força
u(ρx)
De fato, v(x) := ρκ
, for κ ∈ (0, 2] satisfaz:
N
Gρ [v] = Tr Aρ (x)D2 v = ρ2−κ f (ρx) := fρ (x) ⇒ kfρ kLr (B ) ≤ ρ2−κ − r k f k Lr ( B ) .
1 1
Referências
Estimativas de regularidade precisas

Maior integrabilidade/regularidade de f (resp. A) ⇒ Melhor regularidade de u
Theorem ([E. Teixeira, Arch. Ration. Mech. Anal., 2014, , and J.V. da Silva and G. Nornberg. Calc. Var. PDEs 2021])
Seja u uma solução de viscosidade limitadaa to (3.2) thenb
f ∈ Lr (B1 ) Regularidade Precisa

N <r<N 0,ς
2 Cloc (B1 )
0,Log-Lip
r=N Cloc ( B1 )
1,ζ
N<r<∞ Cloc (B1 )
1,Log-Lip
BMO ⊃ L∞ Cloc ( B1 )
a u ∈ C0 (B1 ) é uma super-solução viscosa (resp. sub-solução) de (3.2) se sempre que ϕ ∈ C2 (B1 ) e x0 ∈ B1 tal
que u − ϕ tem um mı́nimum local (resp. máximum local) em x0 , então
Tr A(x0 )D2 ϕ(x0 ) ≤ f (x0 ) resp. (≥ f (x0 )).
b
P. Daskalopoulos, T. Kuusi & G. Mingione, Borderline estimates for fully nonlinear elliptic equations.
Comm. Partial Differential Equations 39 (2014), n.3, 574-590..
Referências
Da teoria uniformemente elı́ptica à teoria duplamente

degenerada
O que devemos esperar do cenário duplamente degenerado?

1,γ
Recentemente, combinando métodos geométricos e técnicas analı́ticasa the Cloc estimativas de regularidade fotam
abordadas por De Filippis para as equações da forma
[|Du|p + a(x)|Du|q ] F(D2 u) = f ∈ L∞ (B1 ) ∩ C0 (B1 ), for some γ(universal) ∈ (0, 1).
I. Birindelli, F. Demengel & F. Leoni, C1,γ regularity for singular or degenerate fully nonlinear
equations and applications. NoDEA Nonlinear Differential Equations Appl. 26 (2019), no. 5, Paper No. 40,
13 pp.
C. De Filippis, Regularity for solutions of fully nonlinear elliptic equations with nonhomogeneous
degeneracy. Proc. Roy. Soc. Edinburgh Sect. A, 151 (2021), no. 1, 110-132.
C. Imbert & L. Silvestre, C1,α regularity of solutions of degenerate fully non-linear elliptic equations.
Adv. Math. 233 (2013), 196-206.
Referências
Cenários em aberto
Não obstante, o trabalho de De Filippis deixa algumas questões em aberto no que diz respeito ao cenário geral:

G[u] := [|Du|p + a(x)|Du|q ] F x, D2 u = f (x) in Ω under the Structural Conditions (SC).
Ressaltamos que a teoria da regularidade para modelos uniformemente elı́pticos está disponı́vel nos trabalhos de
Caffarelli e Trudingera
L.A. Caffarelli, Interior apriori estimates for solutions of fully nonlinear equations. Ann. of Math. (2)
130 (1989), 189-213.
L.A. Caffarelli & X. Cabré, Fully nonlinear elliptic equations. American Mathematical Society
Colloquium Publications, 43. American Mathematical Society, Providence, RI, 1995. vi+104 pp. ISBN:
0-8218-0437-5.
N.S. Trudinger, Fully nonlinear, uniformly elliptic equations under natural structure conditions. Trans.
Amer. Math. Soc. 278 (1983), no. 2, 751-769.
Referências
Our contributions
Forneceremos uma resposta afirmativa nos seguintes cenários:
Hipóteses Regularidade
precisa

1,min 1 , α−
p+1 Hom
(SC) em vigor Cloc
1, 1
p+1
(SC) + F um operador côncavo/convexo Cloc
Outra questão central:
Existem mudanças significativas entre a abordagem de De Filippis e a nossa?

1 Compacidade (Estimativas Hölder) via o Métodp de Ishii-Lions;
2 Regime C1,α via esquema de aproximações afins (Desvio por Planos) Gξ [u] = H(x, ∇u + ξ )F(D2 u);
3 Caráter degenerado do operador: estimativas a priori estimates para ξ −translações pequenas/grandes;
Referências
Nosso foco principal e suas possı́veis implicações
Nosso principal objetivo
Portanto, vamos estabelecer estimativas C1,α (geométricas) para soluções de (3.1) usando uma abordagem
sistemática e alternativaa , bem como abordar algumas melhorias.
a
0
D.J. Araújo, E.V. Teixeira & J.M. Urbano, Towards the Cp regularity conjecture, Int. Math. Res.
Not. IMRN 2018, no. 20, 6481-6495.
E. Lindgren, P. Lindqvist, Regularity of the p-Poisson equation in the plane. J. Anal. Math. 132 (2017),
217-228.
A. Attouchi, M. Parviainen & E. Ruosteenoja, C1,α regularity for the normalized p-Poisson problem.
J. Math. Pures Appl. (9) 108 (2017), no. 4, 553-591.
Referências
Nosso Teorema principal
Theorem (da S. - Ricarte, Calc. Var. PDEs, 59 (2020), n. 5, Paper No. 161, 33 pp.)
Seja K ⊂⊂ B1 , u uma solução limitada de (3.1) em B1 e suponha que (SC) estejam em vigor. Então u é C1,α
loc , ou
seja, existe uma constante (universal) M > 0 tal que
" 1 #
p+1
[u]∗ 1,α ≤ M. kukL∞ (B ) + kf kL∞ (B ) + 1 where,
C (K ) 1 1
ku − lx0 (u)kL∞ (Bρ (x )∩K)

!
[u]∗ 1,α := sup inf 0
and lx0 (u) := u(x0 ) + Du(x0 ) · (x − x0 ).
C (K )
0< ρ ≤ ρ0 x0 ∈ K ρ1+ α
Nossas estimativas de regularidade generalizam, até certo ponto, as anteriores por meio de uma abordagem diferentea
D.J. Araújo, G.C. Ricarte & E.V. Teixeira, Geometric gradient estimates for solutions to degenerate
elliptic equations. Calc. Var. Partial Differential Equations 53 (2015), 605-625.
Referências
Nosso foco principal e suas possı́veis implicações
Vale destacar que tais estimativas desempenham um papel essencial ema :

1 Resultados do tipo Liouville e Blow-up;
2 Propriedades geométricas fracas e estimativas de medida de Hausdorff;
3 Regularidade sharp em certos problemas de fronteira livre (PFL para abreviar - Bernoulli, obstÃ¡culo,
singularmente perturbado etc.).
J. Andersson, E. Lindgren & H Shahgholian, Optimal regularity for the obstacle problem for the
p−Laplacian. J. Differential Equations 259 (2015), n. 6, 2167-2179.
L. Caffarelli & S. Salsa, A geometric approach to free boundary problems. Graduate Studies in
Mathematics, 68. American Mathematical Society, Providence, RI, 2005. x+270 pp. ISBN: 0-8218-3784-2.
J.V. da Silva & A. Salort, Sharp regularity estimates for quasi-linear elliptic dead core problems and
applications. Calc. Var. Partial Differential Equations 57 (2018), no. 3, 57: 83.
J.V. da Silva, E.C. Júnior & G.C. Ricarte, Fully non-linear singularly perturbed models with
non-homogeneous degeneracy. Rev. Mat. Iberoam. (2022), published online first DOI 10.4171/RMI/1319.
Referências
Capı́tulo 0: Ferramentas Úteis
Vamos apresentar algumas ferramentas matemáticas úteis para nossos propósitosa :

 
 1 1
f p+1 f q+1

Estimativas ABP : kukL∞ (Ω) ≤ kgkL∞ (∂Ω) + C(n, λ, p, q) · diam(Ω) max

, .
 1 + a N L (Ω)
1 + a LN (Ω) 

 
1 1

 f p+1

f q+1

Estimativas Hölder: kuk 0,α0 0 ≤ C(universal) · kukL∞ (Ω) + max , 
C (Ω )  1 + a ∞ L (Ω)
1 + a L∞ ( Ω ) 
Resultados de Estabilidade: Se H(x, Duk )Fk (x, D2 uk ) = fk e uk → u0 , fk → f0 e Fk (x, ·) → F0 então
H(x, Du0 )F0 (D2 u0 ) = f0 .
Lema do Corte de Imbert-Silvestre: H(x, Du)F(D2 u) = 0 em B1 ⇒ F(D2 u) = 0 em B1 .

" 1 #
p+1
Estimativa de regularidade de De Filippis: kukC1,γ (B ≤ C(universal) · k u k L∞ (B ) + k f k L∞ (B ) +1 .
1/2 ) 1 1
J.V. da Silva & H. Vivas, The obstacle problem for a class of degenerate fully nonlinear operators, Rev.
Mat. Iberoam. 37 (2021), no. 5, 1991-2020.
C. De Filippis, Regularity for solutions of fully nonlinear elliptic equations with nonhomogeneous
degeneracy. Proc. Roy. Soc. Edinburgh Sect. A, 151 (2021), no. 1, 110-132.
Referências
Capı́tulo 1: Um esquema de aproximação
Um passo chave para acessar a teoria da regularidade dı́sponÃvel para operadores homogêneos com coeficiente
“connstantes”, é o seguinte.
Lemma (Lema de Aproximação)
Se u é uma solução de (3.1) em B1 com kukL∞ (B ) ≤ 1, então ∀ε > 0 existe δ = δ(p, q, N, λ, Λ, ε) > 0 tal que se
n o 1
max ΘF (x), kf kL∞ (B ) ≤ δε existe uma função F-harmônica φ : B 1 → R, i.e., F(D2 φ) = 0, tal que
1 2
 

 

 
max ku − φ k !, kD(u − φ)k <ε em que kφk ≤ C(n, λ, Λ) · kφkL∞ (Ω) .
C1,αHom (Ω0 )
!
L∞ B 1 L∞ B 1

 

 
2 2
Referências
Capı́tulo 1: Um esquema de aproximação
Um passo chave para acessar a teoria da regularidade dı́sponÃvel para operadores homogêneos com coeficiente
“connstantes”, é o seguinte.
Lemma (Lema de Aproximação)
Se u é uma solução de (3.1) em B1 com kukL∞ (B ) ≤ 1, então ∀ε > 0 existe δ = δ(p, q, N, λ, Λ, ε) > 0 tal que se
n o 1
max ΘF (x), kf kL∞ (B ) ≤ δε existe uma função F-harmônica φ : B 1 → R, i.e., F(D2 φ) = 0, tal que
1 2
 

 

 
max ku − φ k !, kD(u − φ)k <ε em que kφk ≤ C(n, λ, Λ) · kφkL∞ (Ω) .
C1,αHom (Ω0 )
!
L∞ B 1 L∞ B 1

 

 
2 2
Prova “Just waving hands”:
A prova é baseada em um Reductio ad absurdum e faz uso de compacidade, estabilidade, as estimativas a priori de De
Filippis, Lema do Corte de Imbert-Silvestre e unicidade do problema de Dirichlet.
Referências
Capı́tulo 1: Um resultado de aproximação
Remark (Normalização e “regime de flatness”)
As hipóteses do Lema 3 não são restritivas. De fato, fixado δε > 0, existe κ, τ > 0 tal que a função
u(τx + x0 )
v(x) = ,
κ
cumpre as condições do Lema 3, em que
 
1 ! 1
p+2

1 

p+1 δε δε
κ := kukL∞ (Ω) + 1 + δε−1 kf kL∞ (Ω) e τ = min , , ω −1 .
2
 kf kL∞ ( Ω ) + 1 CF + 1 

Referências
Capı́tulo 2: Uma primeira estimativa aproximada
No que se segue, o objetivo será fazer uso de uma aproximação F−harmônica em um cenário C1 (Lema de Aproximação)
para garantir que as soluções de viscosidade sejam “geometricamente próximas” de seu plano tangente de maneira
adequada, ou seja,
|u(x) − u(x0 ) − Du(x0 ) · (x − x0 )|

C1 − Aproximação Estimativa Geométrica sup ≤ 1,
=⇒
B ρ ( x0 ) ρ1+ α
obtendo assim uma estimativa geométrica.
Referências
Capı́tulo 2: Uma primeira estimativa aproximada
No que se segue, o objetivo será fazer uso de uma aproximação F−harmônica em um cenário C1 (Lema de Aproximação)
para garantir que as soluções de viscosidade sejam “geometricamente próximas” de seu plano tangente de maneira
adequada, ou seja,
|u(x) − u(x0 ) − Du(x0 ) · (x − x0 )|

C1 − Aproximação Estimativa Geométrica sup ≤ 1,
=⇒
B ρ ( x0 ) ρ1+ α
obtendo assim uma estimativa geométrica.
Lemma (“Pseudo” primeiro passo de indução)

Seja u uma solução de viscosidade de (3.1) em B1 com kukL∞ (B ) ≤ 1. Existem δε > 0 e ρ ∈ 0, 12 tal que se
n o 1
max ΘF (x), kf kL∞ (B ) ≤ δε , então
1
 
1

1 1

αHom −α 
sup u(x) − lx0 (u)(x) ≤ ρ1+α com ρ ∈ 0, min , .

B ρ ( x0 )
2 2C(N, λ, Λ) 
Referências
Capı́tulo 3: A lacuna no processo de indução padrão
Prosseguindo com o processo de iteração

Diferentemente das estimativas de regularidade C1,α do cenário linear, não podemos mais prosseguir com um
esquema iterativo, ou seja,
|u(x) − lk (x)| Mergulho de

sup ≤1 Dini-Campanato u é C1,α em x0 ,
B k ( x0 ) ρ k (1+ α ) =⇒
ρ
dado que a priori não conhecemos a equação que é satisfeita por
(u − lk )(ρk x)
B1 ( 0 ) 3 x 7 → , for {lk }k∈N perfis afins, pois [|Dv|p + a(x)|Dv|q ] F(x, D2 v) não é invariante por mapas afins.
ρ k (1+ α )
Referências
Capı́tulo 3: A lacuna no processo de indução padrão
Prosseguindo com o processo de iteração

Diferentemente das estimativas de regularidade C1,α do cenário linear, não podemos mais prosseguir com um
esquema iterativo, ou seja,
|u(x) − lk (x)| Mergulho de

sup ≤1 Dini-Campanato u é C1,α em x0 ,
B k ( x0 ) ρ k (1+ α ) =⇒
ρ
dado que a priori não conhecemos a equação que é satisfeita por
(u − lk )(ρk x)
B1 ( 0 ) 3 x 7 → , for {lk }k∈N perfis afins, pois [|Dv|p + a(x)|Dv|q ] F(x, D2 v) não é invariante por mapas afins.
ρ k (1+ α )
Por tal razão, uma abordagem alternativa deve ser implementada: informações quantitativas sobre a oscilação de u
ρ−1 |u(x) − u(x0 )| Iteração

ρ−k |u(x) − u(x0 )|
sup ≤1 sup ≤ 1,
Bρ (x0 ) ρα + |Du(x0 )| =⇒
B k ( x0 ) |Du(x0 )|(1−ρ(k−1)α )
ρ ρkα + 1− ρ α
que prova ser a estimativa adequada para continuar com um processo iterativo, desde que tenhamos um tipo de controle
adequado sob a magnitude do gradiente (pontualmente)
Referências
CapÃtulo 4: Esquema de iteração: um novo mecanismo de oscilação
Corollary (O primeiro passo (real) de indução)
Suponha que as hipótess do Lema anterior estejam em vigor. Então,
sup |u(x) − u(x0 )| ≤ ρ1+α + ρ|Du(x0 )|.

B ρ ( x0 )
Referências
CapÃtulo 4: Esquema de iteração: um novo mecanismo de oscilação
Corollary (O primeiro passo (real) de indução)
Suponha que as hipótess do Lema anterior estejam em vigor. Então,
sup |u(x) − u(x0 )| ≤ ρ1+α + ρ|Du(x0 )|.

B ρ ( x0 )
Para obter um controle preciso sobre a influência da magnitude do gradiente de u, iteraremos soluções (usando o
Corolário anterior) em bolas ρ-ádicos.
Lemma (Processo Iterativo)
Sob as hipóteses do Corolário anterior, tem-se
k −1
sup |u(x) − u(x0 )| ≤ ρk(1+α) + |Du(x0 )| ∑ ρk+jα .
B k ( x0 ) j=0
ρ
Proof.
1 .
Via processo de indução – Aqui fazemos uso da suposição α ≤ p+ 1
Referências
Capı́tulo 4: Esquema Iterativo: Um novo mecanisco de oscilação
Nosso próximo resultado fornece uma estimativa de regularidade geométrica no interior da zona singular:
Sρα (B1 ) := {x ∈ B1 ; |Du(x)| ≤ ρα } .
Referências
Capı́tulo 4: Esquema Iterativo: Um novo mecanisco de oscilação
Nosso próximo resultado fornece uma estimativa de regularidade geométrica no interior da zona singular:
Sρα (B1 ) := {x ∈ B1 ; |Du(x)| ≤ ρα } .
Lemma (Estimativa dentro da zona singular)
Suponha que as hipóteses do Lema anterior estejam em vigor. Então, existe M(universal) > 1 tal que

sup |u(x) − u(x0 )| ≤ Mρ0 1+α 1 + |Du(x0 )|ρ0 −α , ∀ρ0 ∈ (0, ρ).
Bρ0 (x0 )
Referências
Conclusão: Prova do Teorema principal
Prova do Teorema.
SPDGW, podemos assumir que K = B 1 e x0 = 0 ∈ Sρα (K). Usando o Lema anterior, estimamos
0
2
|u(x) − l0 u(x)| |u(x) − u(0)| |Du(0)|ρ0

sup ≤ sup +
Bρ0 ρ10+α Bρ0 ρ10+α ρ10+α

≤ M 1 + |Du(0)|ρ0−α +1
≤ 3M.
Referências
Conclusão: Prova do Teorema principal
Prova do Teorema.
SPDGW, podemos assumir que K = B 1 e x0 = 0 ∈ Sρα (K). Usando o Lema anterior, estimamos
0
2
|u(x) − l0 u(x)| |u(x) − u(0)| |Du(0)|ρ0

sup ≤ sup +
Bρ0 ρ10+α Bρ0 ρ10+α ρ10+α

≤ M 1 + |Du(0)|ρ0−α +1
≤ 3M.
Por outro lado, se o gradiente tiver uma cota inferior uniforme, ou seja, |Du| ≥ L0 > 0, então as estimativas clássicas
de Caffarelli-Trudinger podem ser aplicadas uma vez que o operador se torne uniformemente elı́ptico:

M− 2 −1
λ,Λ (D u) ≤ C0 L0 , p, q, kakL∞ (B ) , kf kL∞ (B ) e M+ 2 −1
λ,Λ (D u) ≥ −C0 L0 , p, q, kakL∞ (B ) , kf kL∞ (B ) .
1 1 1 1
Referências
Capı́tulo Final: Uma aplicação em modelos elı́pticos
Estimativas de Regularidade para funções (p&q)−Harmônicas:

q
Retornando aos problemas de Dupla fase sob as hipéteses 1 < p < 1 + N para 0 ≤ a ∈ C0,β (Ω):
β
ˆ
1 a(x) 1,α
min |∇w|p + |∇w|q dx ⇒ L[w] = −div |∇w|p−2 + a(x)|∇w|q−2 ∇w = 0 ⇒ w ∈ Cloc0 .
Ω p q
Referências

q
β
ˆ
1 a(x) 1,α
Ω p q
Neste ponto podemos considerar: −Lw(x) = J1 (∇w, D2 w) + J2 (∇w, D2 w) = 0.a
h i h i
J1 = |∇w|p−2 + a(x)|∇w|q−2 ∆w(x) e J2 = (p − 2) |∇w|p−2 + (q − 2) a(x)|∇w|q−2 ∆N
∞ w(x) + |∇w|
q−2 ∇w · ∇a.
Referências

q
β
ˆ
1 a(x) 1,α
Ω p q
Neste ponto podemos considerar: −Lw(x) = J1 (∇w, D2 w) + J2 (∇w, D2 w) = 0.a
h i h i
J1 = |∇w|p−2 + a(x)|∇w|q−2 ∆w(x) e J2 = (p − 2) |∇w|p−2 + (q − 2) a(x)|∇w|q−2 ∆N
∞ w(x) + |∇w|
q−2 ∇w · ∇a.
" 1 #
∞ p−1
Portanto, ∆N
∞ w, ∇a, ∇w ∈ L (B1 ) ⇒ [w] 1 ! ≤ C · kwkL∞ (B ) + kJ2 kL∞ (B ) + 1 .
1, 1 1
C (p−2)+1 B1
2
M. Colombo & G. Mingione, Regularity for double phase variational problems. Arch. Rational Mech.
Anal. 215 (2015) 443-496.
Y. Fang & C. Zhang, Equivalence between distributional and viscosity solutions for the double-phase
equation. Adv. Calc. Var., 5 (2022), no. 4, 811-829.
Referências

q
Por outro lado, para problemas de Dupla fase sob as hipéteses 1 < p < 1 + N para 0 ≤ a ∈ C0,β (Ω):
β
ˆ
1 a(x) 1,α
Ω p q
Referências

q
β
ˆ
1 a(x) 1,α
Ω p q
Assim, podemos considerar: −Lw(x) = G1 (∇w, D2 w) + G2 (∇w, D2 w) = 0.a
h i h i
G1 = |∇w|2 + a(x)|∇w|2 ∆w(x) e G2 = (p − 2) + (q − 2) a(x)|∇w|q−p ∆∞ w(x) + |∇w|q−p ∇w · ∇a.
Referências

q
β
ˆ
1 a(x) 1,α
Ω p q
Assim, podemos considerar: −Lw(x) = G1 (∇w, D2 w) + G2 (∇w, D2 w) = 0.a
h i h i
G1 = |∇w|2 + a(x)|∇w|2 ∆w(x) e G2 = (p − 2) + (q − 2) a(x)|∇w|q−p ∆∞ w(x) + |∇w|q−p ∇w · ∇a.
∆∞ w, ∇a, ∇w ∈ L∞ (B1 )
h q i
Portanto, ⇒ [w] ! ≤ C · kwkL∞ (B ) + 3 kG2 kL∞ (B ) + 1 .
1, 1 1 1
C 3 B1
2
M. Colombo & G. Mingione, Regularity for double phase variational problems. Arch. Rational Mech.
Anal. 215 (2015) 443-496.
Y. Fang & C. Zhang, Equivalence between distributional and viscosity solutions for the double-phase
equation. Adv. Calc. Var., 5 (2022), no. 4, 811-829.
Referências
Capı́tulo Final: A Jornada continua...
Conclusões finais:
Retornando as questões em aberto (até o momento):
f ∈ Lr (B1 ) ∩ C0 (B1 ) Estimativas Regularidade

(SC) e r = N C0,α
loc
(SC) e N < r < ∞ Problema em aberto –Teoria de Calderón-Zygmund

1,min 1 , α−
p+1 Hom
(SC) Cloc
1, 1
p+1
(SC) + F um operador côncavo/convexe (or Assint. convexo) Cloc
Estimativas Hölder são uma consequência da Desigualdade de Harnack provada nas seguintes referências:a
I. Birindelli & F. Demengel, Eigenfunctions for singular fully nonlinear equations in unbounded
domains. NoDEA Nonlinear Differential Equations Appl. 17 (2010), n. 6, 697-714.
J.V. da Silva, G.C. Rampasso, G.C. Ricarte & H. Vivas, Free boundary regularity for a class of
one-phase problems with non-homogeneous degeneracy, To appear in Israel Journal of Mathematics.
Referências
Novos horizontes
Também provamos no escopo de EDPs elı́pticas com degenerescência não-homogênea de ordem variável a
h i
|Du|p(x) + a(x)|Du|q(x) M+ 2
λ,Λ (D u) = f (x) in Ω with u(x) = g(x) on ∂Ω (0 < pmin ≤ p(x) ≤ pmax < q(x) ≤ qmax ).
Referências
Novos horizontes
Também provamos no escopo de EDPs elı́pticas com degenerescência não-homogênea de ordem variável a
h i
|Du|p(x) + a(x)|Du|q(x) M+ 2
λ,Λ (D u) = f (x) in Ω with u(x) = g(x) on ∂Ω (0 < pmin ≤ p(x) ≤ pmax < q(x) ≤ qmax ).
1 Existência/unicidade e limitação uniforme (estimativas ABP) de soluções de viscosidade;

2 Compacidade global (Estimativas Hölder e Lipschitz);
3 Estimativas Gradiente (estimativas locais melhoradas e estimativas globais precisas);
4 Propriedades geométricas de não-degenerescência de soluções;
5 Estimativas mais finas e algumas aplicações em modelos não-lineares e problemas de fronteira livre.
I. Birindelli & F. Demengel, Fully nonlinear operators with Hamiltonian: Hölder regularity of the
gradient. NoDEA Nonlinear Differential Equations Appl. 23 (2016), no. 4, Art. 41, 17 pp.
A. Bronzi, E. Pimentel, G.C. Rampasso & E.V. Teixeira, Regularity of solutions to a class of
variable-exponent fully nonlinear elliptic equations. J. Funct. Anal. 279 (2020), no. 12, 108781.
J.V. da silva, E.C. Júnior, G.C. Rampasso & G.C. Ricarte, Global regularity for a class of fully
nonlinear PDEs with unbalanced variable degeneracy. Arxiv arXiv:2108.08343 2021, 42 pp.
Y. Fang, V.D. Rǎdulescu & C. Zhang, Regularity of solutions to degenerate fully nonlinear elliptic
equations with variable exponent. Bull. London Math. Soc. 53 (2021) 1863-1878 doi:10.1112/blms.12550.
Referências
Novos horizontes: Estimativas refinadas para o contexto de expoente variável
Suponha que p(·) e q(·) têm um módulo de continuidade universal, i.e., existe uma função não-decrescente
ω̂ : [0, +∞) → [0, +∞) tal que
|p(x) − p(y)| + |q(x) − q(y)| ≤ L0 ω̂ (|x − y|) com ω̂ (0) = 0,
a qual satisfaz a “condição de balanço”:
lim sup ω̂ (s) ln(s−1 ) ≤ L1 < ∞. (3.3)

s→0+
Referências
Suponha que p(·) e q(·) têm um módulo de continuidade universal, i.e., existe uma função não-decrescente
ω̂ : [0, +∞) → [0, +∞) tal que
|p(x) − p(y)| + |q(x) − q(y)| ≤ L0 ω̂ (|x − y|) com ω̂ (0) = 0,
a qual satisfaz a “condição de balanço”:
lim sup ω̂ (s) ln(s−1 ) ≤ L1 < ∞. (3.3)

s→0+
Desta forma, apresentamos a seguinte estimativa de regularidade refinada:
Theorem (Estimativas pontuais melhoradas)
Assuma que as hipóteses do Teorema 2 são válidas. Suponha que F seja um operador côncavo/convexo e que a hipótese
1, 1
p(x )+1
(3.3) se verifique. Então, para qualquer x0 ∈ B 1 temos que u é Cloc 0 em x0 . Além disso,
2
 
1
|u(x) − u(x0 ) − Du(x0 ) · (x − x0 )| p +1
sup 1
≤ C(n, λ, Λ, L0 , L1 ) · kukL∞ (Ω) + kf kL∞
min
(Ω)
+ 1 .
Br (x0 ) 1+
r 1 + p ( x0 )
Referências
Remark
Em contraste com o Teorema 2, no resultado acima, obtemos uma estimativa pontual mais refinada, dado que
1 1
1+ ≥ 1+ ∀ x0 ∈ B1/2 .
1 + p ( x0 ) 1 + pmax
Referências
Remark
Em contraste com o Teorema 2, no resultado acima, obtemos uma estimativa pontual mais refinada, dado que
1 1
1+ ≥ 1+ ∀ x0 ∈ B1/2 .
1 + p ( x0 ) 1 + pmax
Example
Permita-nos considerar exponentes variáveis cumprindo a Log-condição:
ω ∗ (|x − y|)
|p(x) − p(y)| + |q(x) − q(y)| ≤ ∀ x, y ∈ Ω, , x 6= y,
| ln(|x − y|−1 )|
ω ∗ (s)
para um módulo de continuidade universal ω ∗ : [0, +∞) → [0, +∞). Note que a função s 7→ é não-decrescente
| ln(s−1 )|
em (0, s∗ ) com
ω ∗ (s)
lim = 0,
s→0 | ln(s−1 )|
o que implica que a hipótese (3.3) é satisfeita.
Referências
Example
Particularmente, tal classe em (3.3) engloba a bem-conhecida condição Log-Hölder, i.e.
cp,q 1
|p(x) − p(y)| + |q(x) − q(y)| ≤ ∀ x, y ∈ Ω, with |x − y| ≤ ,
− ln(|x − y|) 2
que desempenha um papel decisivo na obtenção de estimativas de regularidade em muitos contextos de EDPs elı́pticas
com crescimento não-padrão (veja os trabalhos Mingione-Rǎdulescu).
Referências
Novos horizontes: Regularidade para Strong p(x)−Laplaciano
Substituindo p por p(x) na definição de p−Laplaciano, produz uma certa generalização, i.e. o Strong
p(x)−Laplaciano:
−∆Sp(x) u = −div(|∇u|p(x)−2 ∇u) + |∇u|p(x)−2 log(|∇u|)∇u · ∇p.
Referências
p(x)−Laplaciano:
Siltakoskia considerou a noção de viscosidade para a equação do p(x)−Laplaciano normalizado dada por
p(x) − 2
− ∆N
p(x) u = −∆u −
: ∆∞ u = 0, (3.4)
|Du|2
cujo interesse em tal classe de equações decorre de sua conexão entre EDPs e a Teoria da Probabilidade (jogos
estocásticos de cabo de guerra com probabilidades espacialmente variadas.
Referências
p(x)−Laplaciano:
Siltakoskia considerou a noção de viscosidade para a equação do p(x)−Laplaciano normalizado dada por
p(x) − 2
− ∆N
p(x) u = −∆u −
: ∆∞ u = 0, (3.4)
|Du|2
cujo interesse em tal classe de equações decorre de sua conexão entre EDPs e a Teoria da Probabilidade (jogos
estocásticos de cabo de guerra com probabilidades espacialmente variadas.
Formalmente, tem-se
−|∇u|p(x)−2 ∆N
p(x) u = −div(|∇u|
p(x)−2 ∇u) + |∇u|p(x)−2 log(|∇u|)∇u · ∇p.
J. Siltakoski, Equivalence of viscosity and weak solutions for the normalized p(x)−Laplacian. Calc. Var.
Partial Differential Equations 57 (2018), no. 4, Paper No. 95, 20 pp.
Referências
Consequentemente, as noções de soluções fraca e viscosidade podem ser baseadas na equação do Strong
p(x)−Laplaciaano:
− ∆Sp(x) u = 0. (3.5)
De fato, Siltakoski provou que soluções de viscosidade de (3.4) são equivalentes as soluções de viscosidade de (3.5), desde
que p ∈ C0,1 (Ω) e inf p(x) > 1.
Ω
Referências
Consequentemente, as noções de soluções fraca e viscosidade podem ser baseadas na equação do Strong
p(x)−Laplaciaano:
− ∆Sp(x) u = 0. (3.5)
De fato, Siltakoski provou que soluções de viscosidade de (3.4) são equivalentes as soluções de viscosidade de (3.5), desde
0
que p ∈ C0,1 (Ω) e inf p(x) > 1. Particularmente, soluções de viscosidade de (3.4) são C1,α 0
loc para algum α ∈ (0, 1). Além
Ω
disso, Siltakoski provou o seguinte resultado:
Lemma
Uma função u é uma solução de viscosidade de 3.4 se e somente se for uma solução de viscosidade de

− |∇u|2 ∆u − (p(x) − 2)∆∞ u = −Tr (|∇u|2 Idn + (p(x) − 2)∇u ⊗ ∇u)D2 u = 0, (3.6)
Referências
Como uma consequência do Lema 1 e nossos resultados provamos estimativa precisa:
Theorem
Seja u uma solução fraca limitada de (3.5). Assuma também que as hipóteses do artigo de Siltakoski e o Lema 1 estão em
1, 1
vigor, e G[u] = (p(x) − 2)∆∞ u ∈ L∞ (B1 ). Então, u ∈ Cloc3 (B1 ) e a seguinte estimativa se verifica:
h q i
[u] ! ≤ C(universal) · kukL∞ (B ) + 3 kG[u]kL∞ (B ) .
1, 1 1 1
C 3 B1
2
Referências
Como uma consequência do Lema 1 e nossos resultados provamos estimativa precisa:
Theorem
Seja u uma solução fraca limitada de (3.5). Assuma também que as hipóteses do artigo de Siltakoski e o Lema 1 estão em
1, 1
vigor, e G[u] = (p(x) − 2)∆∞ u ∈ L∞ (B1 ). Então, u ∈ Cloc3 (B1 ) e a seguinte estimativa se verifica:
h q i
[u] ! ≤ C(universal) · kukL∞ (B ) + 3 kG[u]kL∞ (B ) .
1, 1 1 1
C 3 B1
2
Remark
1, 1
O Teorema 2 deve ser interpretado como uma espécie de forma fraca da conjectura C 3 para o ∞−Laplaciano
não-homogêneo, a qual afirma que se v é uma solução de viscosidade limitada de
1, 1
∆ ∞ v = f ∈ L ∞ ( B1 ) ⇒ v ∈ Cloc3 (B1 ).
Referências
References
J.V. da Silva, E.C. Bezerra Jr., G.C. Rampasso, G.C. Ricarte and H.
Vivas. Recent developments for fully nonlinear PDEs with unbalanced degeneracy.
Matemática Contemporânea, Vol. 51, 123-161, 2022
http://doi.org/10.21711/231766362022/rmc517.
O.A. Ladyzhenskaya, N.N. Ural’tseva, Linear and quasilinear elliptic equations.
Translated from the Russian by Scripta Technica, Inc. Translation editor: Leon
Ehrenpreis Academic Press, New York-London 1968 xviii+495 pp.
G. Mingione, V. Rǎdulescu, Recent developments in problems with nonstandard
growth and nonuniform ellipticity. J. Math. Anal. Appl. 501 (2021), no. 1, 125197, 41
pp.
V. Rǎdulescu, D. Repovš, Partial differential equations with variable exponents.
Variational methods and qualitative analysis. Monographs and Research Notes in
Mathematics. CRC Press, Boca Raton, FL, 2015. xxi+301 pp. ISBN:
978-1-4987-0341-3.
E.V. Teixeira, Regularity theory for nonlinear diffusion processes. Notices Amer.
Math. Soc. 67 (2020), no. 4, 475-483. 35-02.
Referências
Muito obrigado pela atenção : −)!

Espero encontrá-la(o)s em breve na UNICAMP ; −)!

Coloquio Regiao Nordeste 2022 Parte3

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Coloquio Regiao Nordeste 2022 Parte3

Enviado por

Direitos autorais:

Formatos disponíveis

Um breve passeio pelo problema de obstáculo - Bis

Mundo não-linear: Velhas questões, novos desafios

Avanços recentes em teoria de regularidade

João Vitor da Silva

Universidade Estadual de Campinas (jdasilva@unicamp.br)

1 Um breve passeio pelo problema de obstáculo - Bis

2 Mundo não-linear: Velhas questões, novos desafios

3 Problemas totalmente não-lineares com dupla fase

Um breve passeio pelo problema de

Uma pequena motivação

K = {v ∈ H 1 ( Ω ); v ≥ ψ e v|∂Ω = g} (conj. convexo) ⇔ u1 , u2 ∈ K ⇒ tu1 + (1 − t)u2 ∈ K.

1 ψ ∈ C2 (Ω) é um dado obstáculo;

Uma pequena motivação

K = {v ∈ H 1 ( Ω ); v ≥ ψ e v|∂Ω = g} (conj. convexo) ⇔ u1 , u2 ∈ K ⇒ tu1 + (1 − t)u2 ∈ K.

1 ψ ∈ C2 (Ω) é um dado obstáculo;

Uma pequena motivação

3 Quão regular podem ser tais minimizantes?

Uma pequena motivação

Seja u : Ω → R uma sulução fraca de −∆u(x) = f (x) em Ω

Uma pequena motivação

∆u(x) = f (x)χ{u>ψ} ∈ L∞ (Ω) ⇒ u ∈ C1,α

Mas, de fato, se ψ ∈ C1,1 (Ω) então u ∈ C1,1

Uma pequena motivação

Qual a importância de estimativas de regularidade do tipo

kukX ≤ C(N, dados) (kukX0 + kf kY )

1 Existência/convergência de soluções/algorı́tmos em métodos numéricos;

Então, u(x0 , xN ) = LxN , onde L = kuk .

Mundo não-linear: Velhas questões, novos

Um pouco sobre o p−Laplaciano

∆p u := div(|∇u|p−2 ∇u), 1 < p < ∞.

Um pouco sobre o p−Laplaciano

∆p u := div(|∇u|p−2 ∇u), 1 < p < ∞.

−∆p u = f ∈ Lq (Ω) ⇒ u ∈ C1,α

1 Ladyzhenskaya-Ural’tseva’68 (Linear and quasilinear elliptic equations);

Um pouco sobre o p−Laplaciano

Um pouco sobre o p−Laplaciano

Um pouco sobre o p−Laplaciano

Quem quer ser um milionário?

Um pouco sobre o p−Laplaciano

Um pouco sobre o p−Laplaciano

O problema de “Núcleos Mortos”a

Seja u uma solução fraca de

Um pouco sobre o p−Laplaciano

Podemos provar que soluções fracas limitadas de (2.2) satisfazem:

Ganho inesperado de suavidade

Considemos o seguinte problema −∆p up = f > 0 em B1 . Entãoa :

Como operador de segunda ordem: ∆∞ u(x) = hD2 u∇u, ∇ui.

T. Bhattacharya, E. DiBenedetto & J.J. Manfredi, Limits as p → ∞ of ∆p up = f and related extremal

O operador ∞−Laplaciano: Estado-da-Arte

Soluções ∞−Harmônicas são:

O operador ∞−Laplaciano: Estado-da-Arte

Soluções ∞−Harmônicas são:

O operador ∞−Laplaciano: Estado-da-Arte

Soluções ∞−Harmônicas são:

Problemas com dupla lei de

Scenario Forma Divergente Forma Não-Divergente

Scenario Forma Divergente Forma Não-Divergente

Neste ponto será natural considerar o seguinte modelo não–homogenêneo:

L[u] = [|Du|p + a(x)|Du|q ] Tr(A(x)D2 u) para 0<p<q<∞ e 0 ≤ a ∈ C0 (Ω),

Ciência dos Materiais (comportamento de certos materiais fortemente anisotrópicos);

C. De Filippis’ contributions - https://sites.google.com/view/cristianadefilippis/home

P. Marcellini’s contributions - http://web.math.unifi.it/users/marcell/index.html

G. Mingione’s contributions - https://sites.google.com/site/giuseppemingionemath/