arXiv ScienceSearch

arXiv subjects

Joshua Flynn

Publications and source records attributed to Joshua Flynn.

13 recordsLinked to original sources

Conformally Covariant Boundary Operators and Sharp Higher Order CR Sobolev Trace Inequalities on the Siegel Domain and Complex Ball

We first introduce an appropriate family of conformally covariant boundary operators associated to the Siegel domain ${\mathcal U}^{n+1}$ with the Heisenberg group $\mathbb{H}^{n}$ as its boundary and the complex ball $\mathbb{B}_{\mathbb{C}}^{n+1}$ with the complex sphere $\mathbb{S}^{2n+1}$ as its boundary. We provide the explicit formulas of these conformally covariant boundary operators. Second, we establish all higher order extension theorems of Caffarelli-Silvestre type for the Siegel domain and complex ball. Third, we prove all higher order CR Sobolev trace inequalities for the Siegel domain ${\mathcal U}^{n+1}$ and the complex ball $\mathbb{B}_{\mathbb{C}}^{n+1}$.In particular, we generalize the Sobolev trace inequalityfor $γ\in (0, 1)$ in the CR setting by Frank-González-Monticelli-Tan to the case for all $γ\in (0, n+1)\backslash \mathbb{N}$. The family of higher order conformally covariant boundary operators we define are naturally intrinsic to the higher order Sobolev trace inequalities on both the Siegel domain ${\mathcal U}^{n+1}$ and complex ball $\mathbb{B}_{\mathbb{C}^{n+1}}$. Finally, we give an explicit solution to the scattering problem on the complex hyperbolic ball. More precisely, we obtain an integral representation and an expansion in terms of special functions for the solution to the scattering problem.

math.AP

Liouville-type results for the CR Yamabe equation in the Heisenberg group

We obtain Liouville-type results for solutions to the CR Yamabe equation in $\mathbb{H}^n$, which extend a result obtained by Jerison and Lee for solutions in $L^{2+2/n}(\mathbb{H}^n)$. We obtain our results under either pointwise conditions or integral conditions at infinity. In particular, our results hold for all bounded solutions when $n=2$ and solutions satisfying a pointwise decay assumption when $n\ge3$. The proofs rely on integral estimates combined with a suitable divergence formula.

math.AP

Conformally Covariant Boundary Operators and Sharp Higher Order Sobolev Trace Inequalities on Poincaré-Einstein Manifolds

In this paper we introduce conformally covariant boundary operators for Poincaré-Einstein manifolds satisfying a mild spectral assumption. Using these boundary operators we set up higher order Dirichlet problems whose solutions are such that, when applied to by our boundary operators, they recover the fractional order GJMS operators on the conformal infinity of the manifold. We moreover obtain all related higher order trace Sobolev inequalities on these manifolds. In conjunction with Beckner's fractional Sobolev inequalities on the sphere, we obtain as an application the sharp higher order Sobolev trace inequalities on the ball.

math.DG

$L^p$-Hardy identities and inequalities with respect to the distance and mean distance to the boundary

Firstly, this paper establishes useful forms of the remainder term of Hardy-type inequalities on general domains where the weights are functions of the distance to the boundary. For weakly mean convex domains we use the resulting identities to establish nonexistence of extremizers for and improve known sharp Hardy inequalities. Secondly, we establish geometrically interesting remainders for the Davies-Hardy-Tidblom inequalities for the mean distance function, as well as generalize and improve several Hardy type inequalities in the spirit of Brezis and Marcus and spectral estimates of Davies. Lastly, we apply our results to obtain Sobolev inequalities for non-regular Riemannian metrics on geometric exterior domains.

math.AP

$L^{p}$-Caffarelli-Kohn-Nirenberg inequalities and their stabilities

We establish a general identity (Theorem 1.2) that implies both the $L^{p}$-Hardy identities and the $L^{p}$-Caffarelli-Kohn-Nirenberg identities (Theorems 1.3 and 1.4) and $L^{p}$-Hardy inequalities and the $L^{p}$-Caffarelli-Kohn-Nirenberg inequalities (Theorems 1.5 and 1.6)). Weighted $L^{p}$-Caffarelli-Kohn-Nirenberg inequalities with nonradial weights are also obtained. (Theorem 1.7). Our results provide simple interpretations to the sharp constants, as well as the existence and non-existence of the optimizers, of several $L^{p}$-Hardy and $L^{p}% $-Caffarelli-Kohn-Nirenberg inequalities. As applications of our main results, we are able to establish stabilities of a class of $L^{2}$ and $L^{p}% $-Caffarelli-Kohn-Nirenberg inequalities. (Theorems 1.8 and 1.9.) We also derive the best constants and explicit extremal functions for a large family of $L^{2}$ and $L^{p}$ Caffarelli-Kohn-Nirenberg inequalities. (Corollaries 1.1 and 1.2.)

math.AP

General Conformally Induced Mean Curvature Flow

This paper continues the investigation of isoperimetric inequalities through volume preserving and area decreasing mean curvature type flows related to conformal Killing vector fields. Results of this kind prior to this paper all studied convex hypersurfaces or hypersurfaces which are starshaped with respect to generalized dilations. This paper is the first to study results of this kind for hypersurfaces which are starshaped with respect to general conformal Killing vector fields perturbed by an isometric Killing vector field and our flows allow us to establish isoperimetric inequalities for a much wider class of hypersurfaces. For example, our results apply to hypersurfaces in $\mathbb{R}^{n+1}$ which are far from being starshaped in the traditional sense, but are starshaped with respect to the conformal Killing vector field composed of a dilation and a rotational vector field. The flow considered in this paper is a novel modification of the mean curvature-type flow first introduced by Guan and Li, which was later generalized by Guan-Li-Wang and Li-Pan.

math.DG

Caffarelli-Kohn-Nirenberg identities, inequalities and their stabilities

We set up a one-parameter family of inequalities that contains both the Hardy inequalities (when the parameter is 1) and the Caffarelli-Kohn-Nirenberg inequalities (when the parameter is optimal). Moreover, we study these results with the exact remainders to provide direct understandings to the sharp constants, as well as the existence and non-existence of the optimizers of the Hardy inequalities and Caffarelli-Kohn-Nirenberg inequalities. As an application of our identities, we establish some sharp versions with optimal constants and theirs attainability of the stability of the Heisenberg Uncertainty Principle and several stability results of the Caffarelli-Kohn-Nirenberg inequalities.

math.AP

Extendability and the $\overline \partial$ Operator on the Hartogs Triangle

In this paper it is shown that the Hartogs triangle $\mathbf T$ in $\mathbf C^2$ is a uniform domain. This implies that the Hartogs triangle is a Sobolev extension domain. Furthermore, the weak and strong maximal extensions of the Cauchy-Riemann operator agree on the Hartogs triangle. These results have numerous applications. Among other things, they are used to study the Dolbeault cohomology groups with Sobolev coefficients on the complement of $\mathbf T$.

math.CV

Caffarelli-Kohn-Nirenberg inequalities for curl-free vector fields and second order derivatives

The present work has as a first goal to extend the previous results in \cite{CFL20} to weighted uncertainty principles with nontrivial radially symmetric weights applied to curl-free vector fields. Part of these new inequalities generalize the family of Caffarelli-Kohn-Nirenberg (CKN) inequalities studied by Catrina and Costa in \cite{CC} from scalar fields to curl-free vector fields. We will apply a new representation of curl-free vector fields developed by Hamamoto in \cite{HT21}. The newly obtained results are also sharp and minimizers are completely described. Secondly, we prove new sharp second order interpolation functional inequalities for scalar fields with radial weights generalizing the previous results in \cite{CFL20}. We apply new factorization methods being inspired by our recent work \cite{CFL21}. The main novelty in this case is that we are able to find a new independent family of minimizers based on the solutions of Kummer's differential equations. We point out that the two types of weighted inequalities under consideration (first order inequalities for curl-free vector fields vs. second order inequalities for scalar fields) represent independent families of inequalities unless the weights are trivial.

math.AP

Sharp Hardy-Sobolev-Maz'ya, Adams and Hardy-Adams inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane

Though Adams and Hardy-Adams inequalities can be extended to general symmetric spaces of noncompact type fairly straightforwardly by following closely the systematic approach developed in our early works on real and complex hyperbolic spaces, higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities are more difficult to establish. The main purpose of this goal is to establish the Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. A crucial part of our work is to establish appropriate factorization theorems on these spaces which are of their independent interests. To this end, we need to identify and introduce the ``Quaternionic Geller's operators" and ``Octonionic Geller's operators" which have been absent on these spaces. Combining the factorization theorems and the Geller type operators with the Helgason-Fourier analysis on symmetric spaces, the precise heat and Bessel-Green-Riesz kernel estimates and the Kunze-Stein phenomenon for connected real simple groups of real rank one with finite center, we succeed to establish the higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. The kernel estimates required to prove these inequalities are also sufficient for us to establish, as a byproduct, the Adams and Hardy-Adams inequalities on these spaces. This paper, together with our earlier works, completes our study of the factorization theorems, higher order Poincaré-Sobolev, Hardy-Sobolev-Maz'ya, Adams and Hardy-Adams inequalities on all rank one symmetric spaces of noncompact type.

math.CA

Short proofs of refined sharp Caffarelli-Kohn-Nirenberg inequalities

This note relies mainly on a refined version of the main results of the paper by F. Catrina and D. Costa (J. Differential Equations 2009). We provide very short and self-contained proofs. Our results are sharp and minimizers are obtained in suitable functional spaces. As main tools we use the so-called \textit{expand of squares} method to establish sharp weighted $L^{2}$-Caffarelli-Kohn-Nirenberg (CKN) inequalities and density arguments.

math.AP

Sharp second order uncertainty principles

We study sharp second order inequalities of Caffarelli-Kohn-Nirenberg type in the euclidian space $\mathbb{R}^{N}$, where $N$ denotes the dimension. This analysis is equivalent to the study of uncertainty principles for special classes of vector fields. In particular, we show that when switching from scalar fields $u: \rr^n\rightarrow \mathbb{C}$ to vector fields of the form $\vec{u}:=\nabla U$ ($U$ being a scalar field) the best constant in the Heisenberg Uncertainty Principle (HUP) increases from $\frac{N^{2}}{4}$ to $\frac{(N+2)^{2}}{4}$, and the optimal constant in the Hydrogen Uncertainty Principle (HyUP) improves from $\frac{\left( N-1\right)^{2}}{4}$ to $\frac{(N+1)^{2}}{4}$. As a consequence of our results we answer to the open question of Maz'ya (Integral Equations Operator Theory 2018) in the case $N=2$ regarding the HUP for divergence free vector fields.

math-ph

Connectivity and giant component in random distance graphs

Various different random graph models have been proposed in which the vertices of the graph are seen as members of a metric space, and edges between vertices are determined as a function of the distance between the corresponding metric space elements. We here propose a model $G=G(X, f)$, in which $(X, d)$ is a metric space, $V(G)=X$, and $\mathbb{P}(u\sim v) = f(d(u, v))$, where $f$ is a decreasing function on the set of possible distances in $X$. We consider the case that $X$ is the $n\times n \times \dots\times n$ integer lattice in dimension $r$, with $d$ the $\ell_1$ metric, and $f(d) = \frac{1}{n^βd}$, and determine a threshold for the emergence of the giant component and connectivity in this model. We compare this model with a traditional Waxman graph. Further, we discuss expected degrees of nodes in detail for dimension 2.

math.CO