skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Lipschitz regularity for solutions of the parabolic p-Laplacian in the Heisenberg group
We prove local Lipschitz regularity for weak solutions to a class of degenerate parabolic PDEs modeled on the parabolic p-Laplacian $$\(\partial_t u= \sum_{i=1}^{2n} X_i (|\nabla_0 u|^{p-2} X_i u),\$$ in a cylinder $$\(\Omega\times\mathbb{R}^+\)$$, where $$ \(\Omega\)$$ is domain in the Heisenberg group $$\(\mathbb{H}^n\)$$, and $$\(2\le p \le 4\)$$. The result continues to hold in the more general setting of contact subRiemannian manifolds.  more » « less
Award ID(s):
2141297
PAR ID:
10519892
Author(s) / Creator(s):
; ;
Publisher / Repository:
Annales Fennici Mathematici
Date Published:
Journal Name:
Annales Fennici Mathematici
Volume:
48
Issue:
2
ISSN:
2737-0690
Page Range / eLocation ID:
411 to 428
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We investigate the rigidity of global minimizers u ≥ 0 u\ge 0 of the Alt-Phillips functional involving negative power potentials ∫ Ω ( ∣ ∇ u ∣ 2 + u − γ χ { u > 0 } ) d x , γ ∈ ( 0 , 2 ) , \mathop{\int }\limits_{\Omega }(| \nabla u{| }^{2}+{u}^{-\gamma }{\chi }_{\left\{u\gt 0\right\}}){\rm{d}}x,\hspace{1.0em}\gamma \in \left(0,2), when the exponent γ \gamma is close to the extremes of the admissible values. In particular, we show that global minimizers in R n {{\mathbb{R}}}^{n} are one-dimensional if γ \gamma is close to 2 and n ≤ 7 n\le 7 , or if γ \gamma is close to 0 and n ≤ 4 n\le 4 . 
    more » « less
  2. Let \(\Sigma\) be a closed subset of \(\mathbb{R}^{n+1}\) which is parabolic Ahlfors-David regular and assume that \(\Sigma\) satisfies a 2-sided corkscrew condition. Assume, in addition, that \(\Sigma\) is either time-forwards Ahlfors-David regular, time-backwards Ahlfors-David regular, or parabolic uniform rectifiable. We then first prove that \(\Sigma\) satisfies a weak synchronized two cube condition. Based on this we are able to revisit the argument of Nyström and Strömqvist (2009) and prove that \(\Sigma\) contain suniform big pieces of Lip(1,1/2) graphs. When \(\Sigma\) is parabolic uniformly rectifiable the construction can be refined and in this case we prove that \(\Sigma\) contains uniform big pieces of regular parabolic Lip(1,1/2) graphs. Similar results hold if \(\Omega\subset\mathbb{R}^{n+1}\) is a connected component of \(\mathbb{R}^{n+1}\setminus\Sigma\) and in this context we also give a parabolic counterpart of the main result of Azzam et al. (2017) by proving that if \(\Omega\) is a one-sided parabolic chord arc domain, and if \(\Sigma\) is parabolic uniformly rectifiable, then \(\Omega\) is in fact a parabolic chord arc domain. Our results give a flexible parabolic version of the classical (elliptic) result of David and Jerison (1990) concerning the existence of uniform big pieces of Lipschitz graphs for sets satisfying a two disc condition. 
    more » « less
  3. null (Ed.)
    Abstract Let $$u_{k}$$ u k be a solution of the Helmholtz equation with the wave number k , $$\varDelta u_{k}+k^{2} u_{k}=0$$ Δ u k + k 2 u k = 0 , on (a small ball in) either $${\mathbb {R}}^{n}$$ R n , $${\mathbb {S}}^{n}$$ S n , or $${\mathbb {H}}^{n}$$ H n . For a fixed point p , we define $$M_{u_{k}}(r)=\max _{d(x,p)\le r}|u_{k}(x)|.$$ M u k ( r ) = max d ( x , p ) ≤ r | u k ( x ) | . The following three ball inequality $$M_{u_{k}}(2r)\le C(k,r,\alpha )M_{u_{k}}(r)^{\alpha }M_{u_{k}}(4r)^{1-\alpha }$$ M u k ( 2 r ) ≤ C ( k , r , α ) M u k ( r ) α M u k ( 4 r ) 1 - α is well known, it holds for some $$\alpha \in (0,1)$$ α ∈ ( 0 , 1 ) and $$C(k,r,\alpha )>0$$ C ( k , r , α ) > 0 independent of $$u_{k}$$ u k . We show that the constant $$C(k,r,\alpha )$$ C ( k , r , α ) grows exponentially in k (when r is fixed and small). We also compare our result with the increased stability for solutions of the Cauchy problem for the Helmholtz equation on Riemannian manifolds. 
    more » « less
  4. We prove a number of results to the effect that generic quantum graphs (defined via operator systems as in the work of Duan-Severini-Winter / Weaver) have few symmetries: for a Zariski-dense open set of tuples ( X 1 , ⋯ , X d ) (X_1,\cdots ,X_d) of traceless self-adjoint operators in the n × n n\times n matrix algebra the corresponding operator system has trivial automorphism group, in the largest possible range for the parameters: 2 ≤ d ≤ n 2 − 3 2\le d\le n^2-3 . Moreover, the automorphism group is generically abelian in the larger parameter range 1 ≤ d ≤ n 2 − 2 1\le d\le n^2-2 . This then implies that for those respective parameters the corresponding random-quantum-graph model built on the GUE ensembles of X i X_i ’s (mimicking the Erdős-Rényi G ( n , p ) G(n,p) model) has trivial/abelian automorphism group almost surely. 
    more » « less
  5. We consider minimizing harmonic maps u u from Ω<#comment/> ⊂<#comment/> R n \Omega \subset \mathbb {R}^n into a closed Riemannian manifold N \mathcal {N} and prove: 1. an extension to n ≥<#comment/> 4 n \geq 4 of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold N \mathcal {N} is finite, we have\[ H n −<#comment/> 3 ( sing ⁡<#comment/> u ) ≤<#comment/> C ∫<#comment/> ∂<#comment/> Ω<#comment/> | ∇<#comment/> T u | n −<#comment/> 1 d H n −<#comment/> 1 ; \mathcal {H}^{n-3}(\operatorname {sing} u) \le C \int _{\partial \Omega } |\nabla _T u|^{n-1} \,\mathrm {d}\mathcal {H}^{n-1}; \]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is N = S 2 \mathcal {N}=\mathbb {S}^2 we obtain that the singular set of u u is stable under small W 1 , n −<#comment/> 1 W^{1,n-1} -perturbations of the boundary data. In dimension n = 3 n=3 both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space W s , p W^{s,p} with s ∈<#comment/> ( 1 2 , 1 ] s \in (\frac {1}{2},1] and p ∈<#comment/> [ 2 , ∞<#comment/> ) p \in [2,\infty ) satisfying s p ≥<#comment/> 2 sp \geq 2 . We also discuss sharpness. 
    more » « less