Showing 1–50 of 75 results for author: Yao, X

Königs maps and commutants of composition operators on the Hardy-Hilbert space of Dirichlet series

Authors: Frédéric Bayart, Xingxing Yao

Abstract: Let $\varphi$ be a holomorphic map which is a symbol of a bounded composition operator $C_\varphi$ acting on the Hardy-Hilbert space of Dirichlet series. We find a Königs map for $\varphi$. We then deduce several applications on $C_\varphi$ (e.g. on its spectrum, on its dynamical properties). In particular, we study for a large class of symbols $\varphi$ if the associated composition operator has… ▽ More Let $\varphi$ be a holomorphic map which is a symbol of a bounded composition operator $C_\varphi$ acting on the Hardy-Hilbert space of Dirichlet series. We find a Königs map for $\varphi$. We then deduce several applications on $C_\varphi$ (e.g. on its spectrum, on its dynamical properties). In particular, we study for a large class of symbols $\varphi$ if the associated composition operator has a minimal commutant. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Minimal surfaces with low genus in lens spaces

Authors: Xingzhe Li, Tongrui Wang, Xuan Yao

Abstract: Given a Riemannian $\mathbb{RP}^3$ with a bumpy metric or a metric of positive Ricci curvature, we show that there either exist four distinct minimal real projective planes, or exist one minimal real projective plane together with two distinct minimal $2$-spheres. Our proof is based on a variant multiplicity one theorem for the Simon-Smith min-max theory under certain equivariant settings. In part… ▽ More Given a Riemannian $\mathbb{RP}^3$ with a bumpy metric or a metric of positive Ricci curvature, we show that there either exist four distinct minimal real projective planes, or exist one minimal real projective plane together with two distinct minimal $2$-spheres. Our proof is based on a variant multiplicity one theorem for the Simon-Smith min-max theory under certain equivariant settings. In particular, we show under the positive Ricci assumption that $\mathbb{RP}^3$ contains at least four distinct minimal real projective planes and four distinct minimal tori. Additionally, the number of minimal tori can be improved to five for a generic positive Ricci metric on $\mathbb{RP}^3$ by the degree method. Moreover, using the same strategy, we show that in the lens space $L(4m,2m\pm 1)$, $m\geq 1$, with a bumpy metric or a metric of positive Ricci curvature, there either exist $N(m)$ numbers of distinct minimal Klein bottles, or exist one minimal Klein bottle and three distinct minimal $2$-spheres, where $N(1)=4$, $N(m)=2$ for $m\geq 2$, and the first case happens under the positive Ricci assumption. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 34 pages, comments are welcome!

MSC Class: 53A10; 53C42

On the stability of the Yamabe invariant of $S^3$

Authors: Liam Mazurowski, Xuan Yao

Abstract: Let $g$ be a complete, asymptotically flat metric on $\mathbb{R}^3$ with vanishing scalar curvature. Moreover, assume that $(\mathbb{R}^3,g)$ supports a nearly Euclidean $L^2$ Sobolev inequality. We prove that $(\mathbb{R}^3,g)$ must be close to Euclidean space with respect to the $d_p$-distance defined by Lee-Naber-Neumayer. We then discuss some consequences for the stability of the Yamabe invari… ▽ More Let $g$ be a complete, asymptotically flat metric on $\mathbb{R}^3$ with vanishing scalar curvature. Moreover, assume that $(\mathbb{R}^3,g)$ supports a nearly Euclidean $L^2$ Sobolev inequality. We prove that $(\mathbb{R}^3,g)$ must be close to Euclidean space with respect to the $d_p$-distance defined by Lee-Naber-Neumayer. We then discuss some consequences for the stability of the Yamabe invariant of $S^3$. More precisely, we show that if such a manifold $(\mathbb{R}^3,g)$ carries a suitably normalized, positive solution to $Δ_g w + λw^5 = 0$ then $w$ must be close, in a certain sense, to a conformal factor that transforms Euclidean space into a round sphere. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 26 pages, comments are welcome!

MSC Class: 53C21

Counterexamples and weak (1,1) estimates of wave operators for fourth-order Schrödinger operators in dimension three

Authors: Haruya Mizutani, Zijun Wan, Xiaohua Yao

Abstract: This paper is dedicated to investigating the $L^p$-bounds of wave operators $W_\pm(H,Δ^2)$ associated with fourth-order Schrödinger operators $H=Δ^2+V$ on $\mathbb{R}^3$. We consider that real potentials satisfy $|V(x)|\lesssim \langle x\rangle^{-μ}$ for some $μ>0$. A recent work by Goldberg and Green \cite{GoGr21} has demonstrated that wave operators $W_\pm(H,Δ^2)$ are bounded on… ▽ More This paper is dedicated to investigating the $L^p$-bounds of wave operators $W_\pm(H,Δ^2)$ associated with fourth-order Schrödinger operators $H=Δ^2+V$ on $\mathbb{R}^3$. We consider that real potentials satisfy $|V(x)|\lesssim \langle x\rangle^{-μ}$ for some $μ>0$. A recent work by Goldberg and Green \cite{GoGr21} has demonstrated that wave operators $W_\pm(H,Δ^2)$ are bounded on $L^p(\mathbb{R}^3)$ for all $1<p<\infty$ under the condition that $μ>9$, and zero is a regular point of $H$. In this paper, we aim to further establish endpoint estimates for $W_\pm(H,Δ^2)$ in two significant ways. First, we provide counterexamples that illustrate the unboundedness of $W_\pm(H,Δ^2)$ on the endpoint spaces $L^1(\mathbb{R}^3)$ and $L^\infty(\mathbb{R}^3)$, even for non-zero compactly supported potentials $V$. Second, we establish weak (1,1) estimates for the wave operators $W_\pm(H,Δ^2)$ and their dual operators $W_\pm(H,Δ^2)^*$ in the case where zero is a regular point and $μ>11$. These estimates depend critically on the singular integral theory of Calderón-Zygmund on a homogeneous space $(X,dω)$ with a doubling measure $dω$. △ Less

Submitted 6 May, 2024; v1 submitted 12 November, 2023; originally announced November 2023.

Comments: 31 pages. We have fixed a gap and rewritten the proof of Lemma 5.2 and made some small corrections in the version

$L^p$-boundedness of wave operators for fourth order Schrödinger operators with zero resonances on $\mathbb{R}^3$

Authors: Haruya Mizutani, Zijun Wan, Xiaohua Yao

Abstract: Let $H = Δ^2 + V$ be the fourth-order Schrödinger operator on $\mathbb{R}^3$ with a real-valued fast-decaying potential $V$. If zero is neither a resonance nor an eigenvalue of $H$, it has recently been shown by Goldberg and Green \cite{GoGr21} that the wave operators $W_\pm(H, Δ^2)$ are bounded on $L^p(\mathbb{R}^3)$ for $1 < p < \infty$. Additionally, it has been proved by the authors in \cite{M… ▽ More Let $H = Δ^2 + V$ be the fourth-order Schrödinger operator on $\mathbb{R}^3$ with a real-valued fast-decaying potential $V$. If zero is neither a resonance nor an eigenvalue of $H$, it has recently been shown by Goldberg and Green \cite{GoGr21} that the wave operators $W_\pm(H, Δ^2)$ are bounded on $L^p(\mathbb{R}^3)$ for $1 < p < \infty$. Additionally, it has been proved by the authors in \cite{MWY23} that these wave operators are unbounded at the endpoints, i.e., for $p=1$ and $p=\infty$. In this paper, our primary focus is to further establish the $L^p$-bounds of $W_\pm(H, Δ^2)$ that exhibit all types of singularities at the zero energy threshold. We first prove that $W_\pm(H, Δ^2)$ are bounded on $L^p(\mathbb{R}^3)$ for $1 < p < \infty$ in the first kind resonance case. We then proceed to establish for the second kind resonance case that they are bounded on $L^p(\mathbb{R}^3)$ for $1 < p < 3$, but not for $3 \le p < \infty$. In the third kind resonance case, we show that $W_\pm(H, Δ^2)$ are bounded on $L^p(\mathbb{R}^3)$ for $1<p<3$. Remarkably, we can also prove that $W_\pm(H, Δ^2)$ remain bounded on $L^p(\mathbb{R}^3)$ for $3\le p<\infty$ if in addition $H$ has a zero eigenvalue, but no $p$-wave zero resonance and all zero eigenfunctions are orthogonal to $x_ix_jx_kV$ in $L^2(\mathbb{R}^3)$ for all $i,j,k=1,2,3$ with $x=(x_1,x_2,x_3)$ and that, without such additional conditions, they are unbounded on $L^p(\mathbb{R}^3)$ for $3\le p<\infty$. These results precisely delineate all $L^p$-bounds of the wave operators $W_\pm(H, Δ^2)$ in $\mathbb{R}^3$ with the exception of the endpoints $p=1$ and $p=\infty$. As a result, $L^p$-$L^q$ decay estimates are derived for solutions of fourth-order Schrödinger equations and beam equations with zero resonance singularities. △ Less

Submitted 12 November, 2023; originally announced November 2023.

Comments: 70 pages! Any comments are welcome!

Generalized $S^1$-stability theorem

Authors: Tongrui Wang, Xuan Yao

Abstract: We use the equivariant $μ$-bubbles technique to prove that for any compact manifold $M^n$ with non-empty boundary, $n\in\{3,5,6\}$, the Yamabe invariant of $M^n$ is positive if and only if the Yamabe invariant of $M^n\times S^1$ is positive. This generalized the $S^1$-stability conjecture of Rosenberg to compact manifolds with boundary. We use the equivariant $μ$-bubbles technique to prove that for any compact manifold $M^n$ with non-empty boundary, $n\in\{3,5,6\}$, the Yamabe invariant of $M^n$ is positive if and only if the Yamabe invariant of $M^n\times S^1$ is positive. This generalized the $S^1$-stability conjecture of Rosenberg to compact manifolds with boundary. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 14 pages, comments are welcome!

MSC Class: 53C21; 53C23

Improved Hebey-Vaugon conjecture on equivariant Yamabe invariants in dimension 3

Authors: Tongrui Wang, Xuan Yao

Abstract: Consider a closed connected $3$-manifold $M$ acted diffeomorphically on by a compact Lie group $G$ with at least one orbit of finite cardinality. We show an upper bound for the $G$-equivariant Yamabe invariant $σ_G(M)$ under certain topological assumptions, which improved a conjecture of Hebey-Vaugon. Consider a closed connected $3$-manifold $M$ acted diffeomorphically on by a compact Lie group $G$ with at least one orbit of finite cardinality. We show an upper bound for the $G$-equivariant Yamabe invariant $σ_G(M)$ under certain topological assumptions, which improved a conjecture of Hebey-Vaugon. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 10 pages, 2 figures, comments are welcome!

Decay estimates for Beam equations with potential in dimension three

Authors: Miao Chen, ** Li, Avy Soffer, Xiaohua Yao

Abstract: This paper is devoted to studying time decay estimates of the solution for Beam equation (higher order type wave equation) with a potential $$u_{t t}+\big(Δ^2+V\big)u=0, \,\ u(0, x)=f(x),\ u_{t}(0, x)=g(x)$$ in dimension three, where $V$ is a real-valued and decaying potential on $\R^3$. Assume that zero is a regular point of $H:= Δ^2+V $, we first prove the following optimal time decay estimate… ▽ More This paper is devoted to studying time decay estimates of the solution for Beam equation (higher order type wave equation) with a potential $$u_{t t}+\big(Δ^2+V\big)u=0, \,\ u(0, x)=f(x),\ u_{t}(0, x)=g(x)$$ in dimension three, where $V$ is a real-valued and decaying potential on $\R^3$. Assume that zero is a regular point of $H:= Δ^2+V $, we first prove the following optimal time decay estimates of the solution operators \begin{equation*} \big\|\cos (t\sqrt{H})P_{ac}(H)\big\|_{L^{1} \rightarrow L^{\infty}} \lesssim|t|^{-\frac{3}{2}}\ \ \hbox{and} \ \ \Big\|\frac{\sin(t\sqrt{H})}{\sqrt{H}} P_{a c}(H)\Big\|_{L^{1} \rightarrow L^{\infty}} \lesssim|t|^{-\frac{1}{2}}. \end{equation*} Moreover, if zero is a resonance of $H$, then time decay of the solution operators above also are considered. It is noticed that the first kind resonance does not effect the decay rates for the propagator operators $\cos(t\sqrt{H})$ and $\frac{\sin(t\sqrt{H})}{\sqrt{H}}$, but their decay will be dramatically changed for the second and third resonance types. △ Less

Submitted 22 August, 2023; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: 42 Pages. Some lines have been updated in this version

Monotone Quantities for $p$-Harmonic functions and the Sharp $p$-Penrose inequality

Authors: Liam Mazurowski, Xuan Yao

Abstract: Consider a complete asymptotically flat 3-manifold $M$ with non-negative scalar curvature and non-empty minimal boundary $Σ$. Fix a number $1 < p < 3$. We derive monotone quantities for $p$-harmonic functions on $M$ which become constant on Schwarzschild. These monotonicity formulas imply a sharp mass-capacity estimate relating the ADM mass of $M$ with the $p$-capacity of $Σ$ in $M$, which was fir… ▽ More Consider a complete asymptotically flat 3-manifold $M$ with non-negative scalar curvature and non-empty minimal boundary $Σ$. Fix a number $1 < p < 3$. We derive monotone quantities for $p$-harmonic functions on $M$ which become constant on Schwarzschild. These monotonicity formulas imply a sharp mass-capacity estimate relating the ADM mass of $M$ with the $p$-capacity of $Σ$ in $M$, which was first proved by Xiao using weak inverse mean curvature flow. △ Less

Submitted 19 January, 2024; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: 22 pages, comments are welcome!

The Yamabe Invariant of $\mathbb{RP}^3$ via Harmonic Functions

Authors: Liam Mazurowski, Xuan Yao

Abstract: We use harmonic functions to give a new proof of a result of Bray and Neves on the Yamabe invariant of $\mathbb{RP}^3$ We use harmonic functions to give a new proof of a result of Bray and Neves on the Yamabe invariant of $\mathbb{RP}^3$ △ Less

Submitted 1 May, 2023; originally announced May 2023.

Comments: 8 pages, comments welcome!

Difference independence of the Euler gamma function

Authors: Qiongyan Wang, Xiao Yao

Abstract: In this paper, we established a sharp version of the difference analogue of the celebrated Hölder's theorem concerning the differential independence of the Euler gamma function $Γ$. More precisely, if $P$ is a polynomial of $n+1$ variables in $\mathbb{C}[X, Y_0,\dots, Y_{n-1}]$ such that \begin{equation*} P(s, Γ(s+a_0), \dots, Γ(s+a_{n-1}))\equiv 0 \end{equation*} for some… ▽ More In this paper, we established a sharp version of the difference analogue of the celebrated Hölder's theorem concerning the differential independence of the Euler gamma function $Γ$. More precisely, if $P$ is a polynomial of $n+1$ variables in $\mathbb{C}[X, Y_0,\dots, Y_{n-1}]$ such that \begin{equation*} P(s, Γ(s+a_0), \dots, Γ(s+a_{n-1}))\equiv 0 \end{equation*} for some $(a_0, \dots, a_{n-1})\in \mathbb{C}^{n}$ and $a_i-a_j\notin \mathbb{Z}$ for any $0\leq i<j\leq n-1$, then we have $$P\equiv 0.$$ Our result complements a classical result of algebraic differential independence of the Euler gamma function proved by Hölder in 1886, and also a result of algebraic difference independence of the Riemann zeta function proved by Chiang and Feng in 2006. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Comments: 8 Pages

MSC Class: 11M06; 39A05

On the Yamabe invariant of certain compact manifolds with boundary

Authors: Xuan Yao

Abstract: We generalize Kobayashi's connected-sum inequality to the $λ$-Yamabe invariants. As an application, we calculate the $λ$-Yamabe invariants of $\#m_1\mathbb{RP}^n\# m_2(\mathbb{RP}^{n-1}\times S^1)\#lH^n\#kS_+^n$, for any $λ\in [0,1]$, $n\geq 3$, provided $k+l\geq 1$. As a corollary, we prove that $\mathbb{RP}^n$ minus finitely many disjoint $n$-balls have the same $λ$-Yamabe invariants as the he… ▽ More We generalize Kobayashi's connected-sum inequality to the $λ$-Yamabe invariants. As an application, we calculate the $λ$-Yamabe invariants of $\#m_1\mathbb{RP}^n\# m_2(\mathbb{RP}^{n-1}\times S^1)\#lH^n\#kS_+^n$, for any $λ\in [0,1]$, $n\geq 3$, provided $k+l\geq 1$. As a corollary, we prove that $\mathbb{RP}^n$ minus finitely many disjoint $n$-balls have the same $λ$-Yamabe invariants as the hemi-sphere, which forms an interesting contrast with the famous Bray-Neves results on the Yamabe invariants of $\mathbb{RP}^3$. △ Less

Submitted 29 March, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 22 pages, comments welcome!

MSC Class: 53C18

To Define the Core Entropy for All Polynomials Having a Connected Julia Set

Authors: Jun Luo, Bo Tan, Yi Yang, Xiao-Ting Yao

Abstract: The classical core entropy for a post critically finite (PCF) polynomial f with deg(f)>1 is defined to be the topological entropy of f restricted to its Hubbard tree. We fully generalize this notion by a new quantity, called the (general) core entropy, which is well defined whenever f has a connected Julia set. If f is PCF, the core entropy equals the classical version. If two polynomials are J-eq… ▽ More The classical core entropy for a post critically finite (PCF) polynomial f with deg(f)>1 is defined to be the topological entropy of f restricted to its Hubbard tree. We fully generalize this notion by a new quantity, called the (general) core entropy, which is well defined whenever f has a connected Julia set. If f is PCF, the core entropy equals the classical version. If two polynomials are J-equivalent they share the same core entropy. If f is renormalizable there is a direct connection between the core entropy of f and that corresponding to the small Julia set. We also analyze the map that sends every parameter c in the Mandelbrot set to the core entropy of the polynomial z^2+c. In particular, the level set of this entropy map at log2 is of full harmonic measure and the Mandelbrot set is locally connected at each point in this level set. △ Less

Submitted 17 April, 2024; v1 submitted 29 January, 2023; originally announced January 2023.

Comments: 36 pages, 5 figures

MSC Class: 54D05; 54H20; 37F45; 37E99

A model for planar compacta and rational Julia sets

Authors: Jun Luo, Yi Yang, Xiaoting Yao

Abstract: A Peano compactum is a compact metric space with locally connected components such that at most finitely many of them are of diameter greater than any fixed number C>0. Given a compactum K in the extended complex plane. It is known that there is a finest upper semi-continuous decomposition of K into subcontinua such that the resulting quotient space is a Peano compactum. We call this decomposition… ▽ More A Peano compactum is a compact metric space with locally connected components such that at most finitely many of them are of diameter greater than any fixed number C>0. Given a compactum K in the extended complex plane. It is known that there is a finest upper semi-continuous decomposition of K into subcontinua such that the resulting quotient space is a Peano compactum. We call this decomposition the core decomposition of K with Peano quotient and its elements atoms of K. For any atom d of K and any finite-to-one open map f of the plane onto itself, we show that the preimage of d under f has finitely many components each of which is also an atom of the preimage of K under f. Since all rational functions are finite-to-one open maps, our result extends earlier ones that are restricted to more limited cases, requiring that f be a polynomial and K completely invariant under f. We also determine the atoms for typical planar continua. In particular, we show that every quadratic Julia set J that contains a Cremer fixed point has a unique atom, the whole Julia set J. △ Less

Submitted 8 September, 2022; originally announced September 2022.

Comments: 26 pages, 11 figures

MSC Class: 37C70; 37F45; 37F99

Peridynamic modeling for impact failure of wet concrete considering the influence of saturation

Authors: Liwei Wu, Dan Huang, Qipeng Ma, Zhiyuan Li, Xuehao Yao

Abstract: In this paper, a modified intermediately homogenized peridynamic (IH-PD) model for analyzing impact failure of wet concrete has been presented under the configuration of ordinary state-based peridynamic theory. The meso-structural properties of concrete are linked to the macroscopic mechanical behavior in the IH-PD model, where the heterogeneity of concrete is taken into account, and the calculati… ▽ More In this paper, a modified intermediately homogenized peridynamic (IH-PD) model for analyzing impact failure of wet concrete has been presented under the configuration of ordinary state-based peridynamic theory. The meso-structural properties of concrete are linked to the macroscopic mechanical behavior in the IH-PD model, where the heterogeneity of concrete is taken into account, and the calculation cost does not increase. Simultaneously, the porosity of concrete is considered, which is implemented by deleting the bond between two material points, as well as the influence of porosity on the mechanical properties of concrete. Moreover, the effective bulk and shear modulus of cement mortar in wet concrete (saturated and unsaturated concrete) are calculated respectively. The dynamic model for wet concrete is described from three aspects: strength, dynamic increase factor, and equation of state. Validation of the proposed model is established through analyzing some benchmark tests and comparing with the corresponding experiment and other available numerical results. △ Less

Submitted 18 May, 2022; v1 submitted 16 May, 2022; originally announced May 2022.

Rationality of meromorphic functions between real algebraic sets in the plane

Authors: Tuen-Wai Ng, Xiao Yao

Abstract: We study one variable meromorphic functions map** a planar real algebraic set $A$ to another real algebraic set in the complex plane. By using the theory of Schwarz reflection functions, we show that for certain $A$, these meromorphic functions must be rational. In particular, when $A$ is the standard unit circle, we obtain an one dimensional analog of Poincaré(1907), Tanaka(1962) and Alexander(… ▽ More We study one variable meromorphic functions map** a planar real algebraic set $A$ to another real algebraic set in the complex plane. By using the theory of Schwarz reflection functions, we show that for certain $A$, these meromorphic functions must be rational. In particular, when $A$ is the standard unit circle, we obtain an one dimensional analog of Poincaré(1907), Tanaka(1962) and Alexander(1974)'s rationality results for $2m-1$ dimensional sphere in $\mathbb{C}^m$ when $m\ge 2$. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Comments: To appear in Proc. AMS

MSC Class: 30C99; 30D99

$L^p$-boundedness of wave operators for bi-Schrödinger operators on the line

Authors: Haruya Mizutani, Zijun Wan, Xiaohua Yao

Abstract: This paper is devoted to establishing several types of $L^p$-boundedness of wave operators $W_\pm=W_\pm(H, Δ^2)$ associated with the bi-Schrödinger operators $H=Δ^{2}+V(x)$ on the line $\mathbb{R}$. Given suitable decay potentials $V$, we firstly prove that the wave and dual wave operators are bounded on $L^p(\mathbb{R})$ for all $1<p<\infty$:… ▽ More This paper is devoted to establishing several types of $L^p$-boundedness of wave operators $W_\pm=W_\pm(H, Δ^2)$ associated with the bi-Schrödinger operators $H=Δ^{2}+V(x)$ on the line $\mathbb{R}$. Given suitable decay potentials $V$, we firstly prove that the wave and dual wave operators are bounded on $L^p(\mathbb{R})$ for all $1<p<\infty$: $$ \|W_\pm f\|_{L^p(\mathbb{R})}+\|W_\pm^* f\|_{L^p(\mathbb{R})}\lesssim \|f\|_{L^p(\mathbb{R})},$$ which are further extended to the $L^p$-boundedness on the weighted spaces $L^p(\mathbb{R},w)$ with general even $A_p$-weights $w$ and to the boundedness on the Sobolev spaces $W^{s,p}(\mathbb{R})$. For the limiting case, we prove that $W_\pm$ are bounded from $L^1(\R)$ to $L^{1,\infty}(\R)$ as well as bounded from the Hardy space $\H^1(\R)$ to $L^1(\R)$. These results especially hold whatever the zero energy is a regular point or a resonance of $H$. We also obtain that $W_\pm$ are bounded from $L^\infty(\R)$ to $\BMO(\R)$ if zero is a regular point or a first kind resonance of $H$. Next, we show that $W_\pm$ are neither bounded on $L^1(\mathbb{R})$ nor on $L^\infty(\mathbb{R})$ even if zero is a regular point of $H$. Moreover, if zero is a second kind resonance of $H$, then $W_\pm$ are shown to be even not bounded from $L^\infty(\R)$ to $\BMO(\R)$ in general. In particular, we remark that our results give a complete picture of the validity of $L^p$-boundedness of the wave operators for all $1\le p\le \infty$ in the regular case. Finally, as applications, we deduce the $L^p$-$L^q$ decay estimates for the propagator $e^{-itH}P_{\mathrm{ac}}(H)$ with pairs $(1/p,1/q)$ belonging to a certain region of $\mathbb{R}^2$, as well as establish the Hörmander-type $L^p$-boundedness theorem for the spectral multiplier $f(H)$. △ Less

Submitted 18 June, 2024; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 57 pages. This is a final version. To appear in Adv. Math., 2024

The K-homology of 2-dimensional Crystallographic Groups

Authors: Hang Wang, Xiufeng Yao

Abstract: In this paper we compute the topological K-homology of 2-dimensional crystal groups. Our method focuses on the fixed point of group action and simplifies the calculation of the K-homology of universal space. The result also verifies the Baum-Connes Conjecture of 2-dimensional crystal groups. In this paper we compute the topological K-homology of 2-dimensional crystal groups. Our method focuses on the fixed point of group action and simplifies the calculation of the K-homology of universal space. The result also verifies the Baum-Connes Conjecture of 2-dimensional crystal groups. △ Less

Submitted 1 March, 2022; v1 submitted 24 December, 2021; originally announced December 2021.

Decay estimates for fourth-order Schrödinger operators in dimension two

Authors: ** Li, Avy Soffer, Xiaohua Yao

Abstract: In this paper we study the decay estimates of the fourth order Schrödinger operator $H=Δ^{2}+V(x)$ on $\mathbb{R}^2$ with a bounded decaying potential $V(x)$. We first deduce the asymptotic expansions of resolvent of $H$ near the zero threshold in the presence of resonances or eigenvalue, and then use them to establish the $L^1-L^\infty$ decay estimates of $e^{-itH}$generated by the fourth order S… ▽ More In this paper we study the decay estimates of the fourth order Schrödinger operator $H=Δ^{2}+V(x)$ on $\mathbb{R}^2$ with a bounded decaying potential $V(x)$. We first deduce the asymptotic expansions of resolvent of $H$ near the zero threshold in the presence of resonances or eigenvalue, and then use them to establish the $L^1-L^\infty$ decay estimates of $e^{-itH}$generated by the fourth order Schrödinger operator $H$. Our methods used in the decay estimates depend on Littlewood-Paley decomposition and oscillatory integral theory. Moreover, we classify these zero resonances as the distributional solutions of $Hφ=0$ in suitable weighted spaces. Due to the degeneracy of $Δ^{2}$ at zero threshold and the lower even dimension (i.e. $n=2$), we remark that the asymptotic expansions of resolvent $R_V(λ^4)$ and the classifications of resonances are more involved than Schrödinger operator $-Δ+V$ in dimension two. △ Less

Submitted 31 July, 2023; v1 submitted 14 October, 2021; originally announced October 2021.

Comments: 62 Pages. This is a final version which was published in JFA 2023

Topological structure of the space of composition operators on the Hardy space of Dirichlet series

Authors: Frédéric Bayart, Maofa Wang, Xingxing Yao

Abstract: The aim of this paper is to study when two composition operators on the Hilbert space of Dirichlet series with square summable coefficients belong to the same component or when their difference is compact. As a corollary we show that if a linear combination of composition operators with polynomial symbols of degree at most 2 is compact, then each composition operator is compact. The aim of this paper is to study when two composition operators on the Hilbert space of Dirichlet series with square summable coefficients belong to the same component or when their difference is compact. As a corollary we show that if a linear combination of composition operators with polynomial symbols of degree at most 2 is compact, then each composition operator is compact. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Stability for the multi-dimensional Borg--Levinson theorem of the biharmonic operator

Authors: Peijun Li, Xiaohua Yao, Yue Zhao

Abstract: In this paper, we prove a conditional Hölder stability estimate for the inverse spectral problem of the biharmonic operator. The proof employs the resolvent estimate and a Weyl-type law for the biharmonic operator which were obtained by the authors in \cite{LYZ}. This work extends nontrivially the result in \cite{stefanov} from the second order Schrödinger operator to the fourth order biharmonic o… ▽ More In this paper, we prove a conditional Hölder stability estimate for the inverse spectral problem of the biharmonic operator. The proof employs the resolvent estimate and a Weyl-type law for the biharmonic operator which were obtained by the authors in \cite{LYZ}. This work extends nontrivially the result in \cite{stefanov} from the second order Schrödinger operator to the fourth order biharmonic operator. △ Less

Submitted 14 January, 2022; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: A detailed comparison is made with reference [8]; The structures of the proofs are improved; The presentation of the work including the introduction is modified; More relevant references are added

The spectrum of period-doubling Hamiltonian

Authors: Qinghui Liu, Yanhui Qu, Xiao Yao

Abstract: In this paper, we show the following: the Hausdorff dimension of the spectrum of period-doubling Hamiltonian is bigger than $\log α/\log 4$, where $α$ is the Golden number; there exists a dense uncountable subset of the spectrum such that for each energy in this set, the related trace orbit is unbounded, which is in contrast with a recent result of Carvalho (Nonlinearity 33, 2020); we give a compl… ▽ More In this paper, we show the following: the Hausdorff dimension of the spectrum of period-doubling Hamiltonian is bigger than $\log α/\log 4$, where $α$ is the Golden number; there exists a dense uncountable subset of the spectrum such that for each energy in this set, the related trace orbit is unbounded, which is in contrast with a recent result of Carvalho (Nonlinearity 33, 2020); we give a complete characterization for the structure of gaps and the gap labelling of the spectrum. All of these results are consequences of an intrinsic coding of the spectrum we construct in this paper. △ Less

Submitted 8 October, 2021; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: Comments are welcome!

Generating Large-scale Dynamic Optimization Problem Instances Using the Generalized Moving Peaks Benchmark

Authors: Mohammad Nabi Omidvar, Danial Yazdani, Juergen Branke, Xiaodong Li, Shengxiang Yang, Xin Yao

Abstract: This document describes the generalized moving peaks benchmark (GMPB) and how it can be used to generate problem instances for continuous large-scale dynamic optimization problems. It presents a set of 15 benchmark problems, the relevant source code, and a performance indicator, designed for comparative studies and competitions in large-scale dynamic optimization. Although its primary purpose is t… ▽ More This document describes the generalized moving peaks benchmark (GMPB) and how it can be used to generate problem instances for continuous large-scale dynamic optimization problems. It presents a set of 15 benchmark problems, the relevant source code, and a performance indicator, designed for comparative studies and competitions in large-scale dynamic optimization. Although its primary purpose is to provide a coherent basis for running competitions, its generality allows the interested reader to use this document as a guide to design customized problem instances to investigate issues beyond the scope of the presented benchmark suite. To this end, we explain the modular structure of the GMPB and how its constituents can be assembled to form problem instances with a variety of controllable characteristics ranging from unimodal to highly multimodal, symmetric to highly asymmetric, smooth to highly irregular, and various degrees of variable interaction and ill-conditioning. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Comments: arXiv admin note: text overlap with arXiv:2106.06174

Decay estimates for bi-Schrödinger operators in dimension one

Authors: Avy Soffer, Zhao Wu, Xiaohua Yao

Abstract: This paper is devoted to study the time decay estimates for bi-Schrödinger operators $H=Δ^{2}+V(x)$ in dimension one with decaying potentials $V(x)$. We first deduce the asymptotic expansions of resolvent of $H$ at zero energy threshold without/with the presence of resonances, and then characterize these resonance spaces corresponding to different types of zero resonance in suitable weighted space… ▽ More This paper is devoted to study the time decay estimates for bi-Schrödinger operators $H=Δ^{2}+V(x)$ in dimension one with decaying potentials $V(x)$. We first deduce the asymptotic expansions of resolvent of $H$ at zero energy threshold without/with the presence of resonances, and then characterize these resonance spaces corresponding to different types of zero resonance in suitable weighted spaces $L_s^2({\mathbf{R}})$. Next we use them to establish the sharp $L^1-L^\infty$ decay estimates of Schrödinger groups $e^{-itH}$ generated by bi-Schrödinger operators also with zero resonances. As a consequence, Strichartz estimates are obtained for the solution of fourth-order Schrödinger equations with potentials for initial data in $L^2({\mathbf{R}})$. In particular, it should be emphasized that the presence of zero resonances does not change the optimal time decay rate of $e^{-itH}$ in dimension one, except at requiring faster decay rate of the potential. △ Less

Submitted 14 December, 2021; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: 49 pages. This is a final version which will be published in Annales Henri Poincare

Direct and inverse problems for the Schrödinger operator in a three-dimensional planar waveguide

Authors: Peijun Li, Xiaohua Yao, Yue Zhao

Abstract: In this paper, we study the meromorphic continuation of the resolvent for the Schrödinger operator in a three-dimensional planar waveguide. We prove the existence of a resonance-free region and an upper bound for the resolvent. As an application, the direct source problem is shown to have a unique solution under some appropriate assumptions. Moreover, an increasing stability is achieved for the in… ▽ More In this paper, we study the meromorphic continuation of the resolvent for the Schrödinger operator in a three-dimensional planar waveguide. We prove the existence of a resonance-free region and an upper bound for the resolvent. As an application, the direct source problem is shown to have a unique solution under some appropriate assumptions. Moreover, an increasing stability is achieved for the inverse source problem of the Schrödinger operator in the waveguide by using limited aperture Dirichlet data only at multiple frequencies. The stability estimate consists of the Lipschitz type data discrepancy and the high frequency tail of the source function, where the latter decreases as the upper bound of the frequency increases. △ Less

Submitted 19 June, 2021; originally announced June 2021.

Comments: arXiv admin note: text overlap with arXiv:2102.04631

Gridless Evolutionary Approach for Line Spectral Estimation with Unknown Model Order

Authors: Bai Yan, Qi Zhao, ** Zhang, J. Andrew Zhang, Xin Yao

Abstract: Gridless methods show great superiority in line spectral estimation. These methods need to solve an atomic $l_0$ norm (i.e., the continuous analog of $l_0$ norm) minimization problem to estimate frequencies and model order. Since this problem is NP-hard to compute, relaxations of atomic $l_0$ norm, such as nuclear norm and reweighted atomic norm, have been employed for promoting sparsity. However,… ▽ More Gridless methods show great superiority in line spectral estimation. These methods need to solve an atomic $l_0$ norm (i.e., the continuous analog of $l_0$ norm) minimization problem to estimate frequencies and model order. Since this problem is NP-hard to compute, relaxations of atomic $l_0$ norm, such as nuclear norm and reweighted atomic norm, have been employed for promoting sparsity. However, the relaxations give rise to a resolution limit, subsequently leading to biased model order and convergence error. To overcome the above shortcomings of relaxation, we propose a novel idea of simultaneously estimating the frequencies and model order by means of the atomic $l_0$ norm. To accomplish this idea, we build a multiobjective optimization model. The measurment error and the atomic $l_0$ norm are taken as the two optimization objectives. The proposed model directly exploits the model order via the atomic $l_0$ norm, thus breaking the resolution limit. We further design a variable-length evolutionary algorithm to solve the proposed model, which includes two innovations. One is a variable-length coding and search strategy. It flexibly codes and interactively searches diverse solutions with different model orders. These solutions act as step**stones that help fully exploring the variable and open-ended frequency search space and provide extensive potentials towards the optima. Another innovation is a model order pruning mechanism, which heuristically prunes less contributive frequencies within the solutions, thus significantly enhancing convergence and diversity. Simulation results confirm the superiority of our approach in both frequency estimation and model order selection. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

Journal ref: IEEE Transactions on Cybernetics, 2022, early access

Stability for an inverse source problem of the damped biharmonic plate equation

Authors: Peijun Li, Xiaohua Yao, Yue Zhao

Abstract: This paper is concerned with the stability of the inverse source problem for the damped biharmonic plate equation in three dimensions. The stability estimate consists of the Lipschitz type data discrepancy and the high frequency tail of the source function, where the latter decreases as the upper bound of the frequency increases. The stability also shows exponential dependence on the constant damp… ▽ More This paper is concerned with the stability of the inverse source problem for the damped biharmonic plate equation in three dimensions. The stability estimate consists of the Lipschitz type data discrepancy and the high frequency tail of the source function, where the latter decreases as the upper bound of the frequency increases. The stability also shows exponential dependence on the constant dam** coefficient. The analysis employs Carleman estimates and time decay estimates for the damped plate wave equation to obtain an exact observability bound and depends on the study of the resonance-free region and an upper bound of the resolvent of the biharmonic operator with respect to the complex wavenumber. △ Less

Submitted 28 February, 2021; originally announced March 2021.

Multifractal analysis in non-uniformly hyperbolic interval maps

Authors: Guan-Zhong Ma, Wen-Qiang Shen, Xiao Yao

Abstract: In this paper, we study the Hausdorff dimension of the generalized intrinsic level set with respect to the given ergodic meausre in a class of non-uniformly hyperbolic interval maps with finitely many branches. In this paper, we study the Hausdorff dimension of the generalized intrinsic level set with respect to the given ergodic meausre in a class of non-uniformly hyperbolic interval maps with finitely many branches. △ Less

Submitted 14 February, 2021; originally announced February 2021.

MSC Class: 37B40; 28A80

Stability for an inverse source problem of the biharmonic operator

Authors: Peijun Li, Xiaohua Yao, Yue Zhao

Abstract: In this paper, we study for the first time the stability of the inverse source problem for the biharmonic operator with a compactly supported potential in $\mathbb R^3$. Firstly, to connect the boundary data with the unknown source, we shall consider an eigenvalue problem for the bi-Schr$\ddot{\rm o}$dinger operator $Δ^2 + V(x)$ on a ball which contains the support of the potential $V$. We prove a… ▽ More In this paper, we study for the first time the stability of the inverse source problem for the biharmonic operator with a compactly supported potential in $\mathbb R^3$. Firstly, to connect the boundary data with the unknown source, we shall consider an eigenvalue problem for the bi-Schr$\ddot{\rm o}$dinger operator $Δ^2 + V(x)$ on a ball which contains the support of the potential $V$. We prove a Weyl-type law for the upper bounds of spherical normal derivatives of both the eigenfunctions $φ$ and their Laplacian $Δφ$ corresponding to the bi-Schr$\ddot{\rm o}$dinger operator. This type of upper bounds was proved by Hassell and Tao for the Schr$\ddot{\rm o}$dinger operator. Secondly, we investigate the meromorphic continuation of the resolvent of the bi-Schr$\ddot{\rm o}$dinger operator and prove the existence of a resonance-free region and an estimate of $L^2_{\rm comp} - L^2_{\rm loc}$ type for the resolvent. As an application, we prove a bound of the analytic continuation of the data from the given data to the higher frequency data. Finally, we derive the stability estimate which consists of the Lipschitz type data discrepancy and the high frequency tail of the source function, where the latter decreases as the upper bound of the frequency increases. △ Less

Submitted 8 February, 2021; originally announced February 2021.

Global existences and asymptotic behavior for semilinear heat equation

Authors: Avy Soffer, Yifei Wu, Xiaohua Yao

Abstract: In this paper, we consider the global Cauchy problem for the $L^2$-critical semilinear heat equations $ \partial_t h=Δh\pm |h|^{\frac4d}h, $ with $h(0,x)=h_0$, where $h$ is an unknown real function defined on $ \R^+\times\R^d$. In most of the studies on this subject, the initial data $h_0$ belongs to Lebesgue spaces $L^p(\R^d)$ for some $p\ge 2$ or to subcritical Sobolev space $H^{s}(\R^d)$ with… ▽ More In this paper, we consider the global Cauchy problem for the $L^2$-critical semilinear heat equations $ \partial_t h=Δh\pm |h|^{\frac4d}h, $ with $h(0,x)=h_0$, where $h$ is an unknown real function defined on $ \R^+\times\R^d$. In most of the studies on this subject, the initial data $h_0$ belongs to Lebesgue spaces $L^p(\R^d)$ for some $p\ge 2$ or to subcritical Sobolev space $H^{s}(\R^d)$ with $s>0$. {\it First,} we prove that there exists some positive constant $γ_0$ depending on $d$, such that the Cauchy problem is locally and globally well-posed for any initial data $h_0$ which is radial, supported away from the origin and in the negative Sobolev space $\dot H^{-γ_0}(\R^d)$. In particular, it leads to local and global existences of the solutions to Cauchy problem considered above for the initial data in a proper subspace of $L^p(\R^d)$ with some $p<2$. {\it Secondly,} the sharp asymptotic behavior of the solutions ( i.e. $L^2$-decay estimates ) as $t\to +\infty$ are obtained with arbitrary large initial data $h_0\in \dot H^{-γ_0}(\R^d)$ in the defocusing case and in the focusing case with suitably small initial data $h_0$. △ Less

Submitted 28 December, 2020; originally announced December 2020.

Comments: Revised and expanded version of arXiv:1903.08316. It also includes new section on large time asymptotics

MSC Class: 35K05; 35B40; 35B65

Inequalities Concerning Maximum Modulus and Zeros of Random Entire Functions

Authors: Hui Li, Jun Wang, Xiao Yao, Zhuan Ye

Abstract: Let $f_ω(z)=\sum\limits_{j=0}^{\infty}χ_j(ω) a_j z^j$ be a random entire function, where $χ_j(ω)$ are independent and identically distributed random variables defined on a probability space $(Ω, \mathcal{F}, μ)$. In this paper, we first define a family of random entire functions, which includes Gaussian, Rademacher, Steinhaus entire functions. Then, we prove that, for almost all functions in the f… ▽ More Let $f_ω(z)=\sum\limits_{j=0}^{\infty}χ_j(ω) a_j z^j$ be a random entire function, where $χ_j(ω)$ are independent and identically distributed random variables defined on a probability space $(Ω, \mathcal{F}, μ)$. In this paper, we first define a family of random entire functions, which includes Gaussian, Rademacher, Steinhaus entire functions. Then, we prove that, for almost all functions in the family and for any constant $C>1$, there exist a constant $r_0=r_0(ω)$ and a set $E\subset [e, \infty)$ of finite logarithmic measure such that, for $r>r_0$ and $r\notin E$, $$ |\log M(r, f)- N(r,0, f_ω)|\le (C/A)^{\frac1{B}}\log^{\frac1{B}}\log M(r,f) +\log\log M(r, f), \qquad a.s. $$ where $A, B$ are constants, $M(r, f)$ is the maximum modulus, and $N(r, 0, f)$ is the weighted counting-zero function of $f$. As a by-product of our main results, we prove Nevanlinna's second main theorem for random entire functions. Thus, the characteristic function of almost all functions in the family is bounded above by a weighed counting function, rather than by two weighted counting functions in the classical Nevanlinna theory. For instance, we show that, for almost all Gaussian entire functions $f_ω$ and for any $ε>0$, there is $r_0$ such that, for $r>r_0$, $$ T(r, f) \le N(r,0, f_ω)+(\frac12+ε) \log T(r, f). $$ △ Less

Submitted 14 December, 2020; originally announced December 2020.

Comments: 18 pages

MSC Class: 30B20; 30D15; 60G99

Knee Point Identification Based on Trade-Off Utility

Authors: Ke Li, Haifeng Nie, Huifu Gao, Xin Yao

Abstract: Knee points, characterised as their smallest trade-off loss at all objectives, are attractive to decision makers in multi-criterion decision-making. In contrast, other Pareto-optimal solutions are less attractive since a small improvement on one objective can lead to a significant degradation on at least one of the other objectives. In this paper, we propose a simple and effective knee point ident… ▽ More Knee points, characterised as their smallest trade-off loss at all objectives, are attractive to decision makers in multi-criterion decision-making. In contrast, other Pareto-optimal solutions are less attractive since a small improvement on one objective can lead to a significant degradation on at least one of the other objectives. In this paper, we propose a simple and effective knee point identification method based on trade-off utility, dubbed KPITU, to help decision makers identify knee points from a given set of trade-off solutions. The basic idea of KPITU is to sequentially validate whether a solution is a knee point or not by comparing its trade-off utility with others within its neighbourhood. In particular, a solution is a knee point if and only if it has the best trade-off utility among its neighbours. Moreover, we implement a GPU version of KPITU that carries out the knee point identification in a parallel manner. This GPU version reduces the worst-case complexity from quadratic to linear. To validate the effectiveness of KPITU, we compare its performance with five state-of-the-art knee point identification methods on 134 test problem instances. Empirical results fully demonstrate the outstanding performance of KPITU especially on problems with many local knee points. At the end, we further validate the usefulness of KPITU for guiding EMO algorithms to search for knee points on the fly during the evolutionary process. △ Less

Submitted 23 May, 2020; originally announced May 2020.

Global Kato smoothing and Strichartz estimates for higher-order Schrödinger operators with rough decay potentials

Authors: Haruya Mizutani, Xiaohua Yao

Abstract: Let $H=(-Δ)^m+V $ be a higher-order elliptic operator on $L^2(R^n)$ with a general bounded decaying potential $V$. This paper is devoted to consider the global Kato smoothing and Strichartz estimates for the solution to the Schrödinger type equation associated with $H$. Among these results, the sharp global Kato smoothing estimates for $e^{itH}$ are first established based on the uniform resolvent… ▽ More Let $H=(-Δ)^m+V $ be a higher-order elliptic operator on $L^2(R^n)$ with a general bounded decaying potential $V$. This paper is devoted to consider the global Kato smoothing and Strichartz estimates for the solution to the Schrödinger type equation associated with $H$. Among these results, the sharp global Kato smoothing estimates for $e^{itH}$ are first established based on the uniform resolvent estimates of Kato-Yajima type for the absolutely continuous part of $H$. As a consequence, the optimal local decay estimates are also obtained. Then, with the aid of such local decay estimates,the full set of Strichartz estimates (including the endpoint case) have been proved. In particular, we have obtained Strichartz estimates with sharp smoothing effects for higher-order cases with rough potentials, which will be useful to the study of nonlinear higher-order Schrödinger equations. Finally, we point out that the new uniform Sobolev estimates of Kenig-Ruiz-Sogge type with extra derivatives term are deduced to establish the sharp Kato smoothing estimates. △ Less

Submitted 21 April, 2020; originally announced April 2020.

Comments: 25 pages

A Generalized $π_2$-Diffeomorphism Finiteness Theorem

Authors: Xiaochun Rong, Xuchao Yao

Abstract: The $π_2$-diffeomorphism finiteness result (\cite{FR1,2}, \cite{PT}) asserts that the diffeomorphic types of compact $n$-manifolds $M$ with vanishing first and second homotopy groups can be bounded above in terms of $n$, and upper bounds on the absolute value of sectional curvature and diameter of $M$. In this paper, we will generalize this $π_2$-diffeomorphism finiteness by removing the condition… ▽ More The $π_2$-diffeomorphism finiteness result (\cite{FR1,2}, \cite{PT}) asserts that the diffeomorphic types of compact $n$-manifolds $M$ with vanishing first and second homotopy groups can be bounded above in terms of $n$, and upper bounds on the absolute value of sectional curvature and diameter of $M$. In this paper, we will generalize this $π_2$-diffeomorphism finiteness by removing the condition that $π_1(M)=0$ and asserting the diffeomorphism finiteness on the Riemannian universal cover of $M$. △ Less

Submitted 28 February, 2020; originally announced February 2020.

On continuous extension of conformal homeomorphisms of infinitely connected planar domains

Authors: Jun Luo, Xiao-Ting Yao

Abstract: We consider conformal homeomorphisms $\varphi$ of generalized Jordan domains $U$ onto planar domains $Ω$ %, possibly {\bf infinitely connected}, that satisfy both of the next two conditions: (1) at most countably many boundary components of $Ω$ are non-degenerate and their diameters have a finite sum; (2) either the degenerate boundary components of $Ω$ or those of $U$ form a set of sigma-finite l… ▽ More We consider conformal homeomorphisms $\varphi$ of generalized Jordan domains $U$ onto planar domains $Ω$ %, possibly {\bf infinitely connected}, that satisfy both of the next two conditions: (1) at most countably many boundary components of $Ω$ are non-degenerate and their diameters have a finite sum; (2) either the degenerate boundary components of $Ω$ or those of $U$ form a set of sigma-finite linear measure. We prove that $\varphi$ continuously extends to the closure of $U$ if and only if every boundary component of $Ω$ is locally connected. This generalizes the Carathéodory's Continuity Theorem and leads us to a new generalization of the well known Osgood-Taylor-Carathéodory Theorem. There are three issues that are noteworthy. Firstly, none of the above conditions (1) and (2) can be removed. Secondly, %no further requirements concerning $U$ or $Ω$ are needed. So our results remain valid for non-cofat domains and do not follow from the extension results, of a similar nature, that are obtained in very recent studies on the conformal rigidity of circle domains. Finally, when $\varphi$ does extend continuously to the closure of $U$, the boundary of $Ω$ is a Peano compactum. Therefore, we also show that the following properties are equivalent for any planar domain $Ω$: (1) The boundary of $Ω$ is a Peano compactum. (2) $Ω$ has Property S. (3) Every point on the boundary of $Ω$ is locally accessible. (4) Every point on the boundary of $Ω$ is locally sequentially accessible. (5) $Ω$ is finitely connected at the boundary. (6) The completion of $Ω$ under the Mazurkiewicz distance is compact. \noindent This provides new generalizations of earlier partial results that are restricted to special cases, when additional assumptions on the topology of $U$ or its boundary are required. △ Less

Submitted 30 March, 2022; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: 40 pages, 6 figures

MSC Class: Primary 30D40; 54C20; Secondary 54F15

Journal ref: Trans Amer Math Soc, 2022

On Lambda Function and a Quantification of Torhorst Theorem

Authors: Li Feng, Jun Luo, Xiao-Ting Yao

Abstract: To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $λ_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if $Λ_K(x)\equiv0$. We establish basic methods of determining the lambda function $λ_K$ for specific compacta $K\subset\hat{\mathbb{C}}$, including a gluing lemma for lambda functio… ▽ More To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $λ_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if $Λ_K(x)\equiv0$. We establish basic methods of determining the lambda function $λ_K$ for specific compacta $K\subset\hat{\mathbb{C}}$, including a gluing lemma for lambda functions and some inequalities. One of these inequalities comes from an interplay between the topological difficulty of a planar compactum $K$ and that of a sub-compactum $L\subset K$, lying on the boundary of a component of $\hat{\mathbb{C}}\setminus K$. It generalizes and quantifies the result of Torhorst Theorem, a fundamental result from plane topology. We also find three conditions under which this inequality is actually an equality. Under one of these conditions, this equality provides a quantitative version for Whyburn's Theorem, which is a partial converse to Torhorst Theorem. △ Less

Submitted 16 April, 2021; v1 submitted 20 February, 2020; originally announced February 2020.

MSC Class: Primary 30D40; Secondary 30C35

Kato smoothing, Strichartz and uniform Sobolev estimates for fractional operators with sharp Hardy potentials

Authors: Haruya Mizutani, Xiaohua Yao

Abstract: Let $0<σ<n/2$ and $H=(-Δ)^σ+V(x)$ be Schrödinger type operators on $\mathbb R^n$ with a class of scaling-critical potentials $V(x)$, which include the Hardy potential $a|x|^{-2σ}$ with a sharp coupling constant $a\ge -C_{σ,n}$ ($C_{σ,n}$ is the best constant of Hardy's inequality of order $σ$). In the present paper we consider several sharp global estimates for the resolvent and the solution to th… ▽ More Let $0<σ<n/2$ and $H=(-Δ)^σ+V(x)$ be Schrödinger type operators on $\mathbb R^n$ with a class of scaling-critical potentials $V(x)$, which include the Hardy potential $a|x|^{-2σ}$ with a sharp coupling constant $a\ge -C_{σ,n}$ ($C_{σ,n}$ is the best constant of Hardy's inequality of order $σ$). In the present paper we consider several sharp global estimates for the resolvent and the solution to the time-dependent Schrödinger equation associated with $H$. In the case of the subcritical coupling constant $a>-C_{σ,n}$, we first prove {\it uniform resolvent estimates} of Kato--Yajima type for all $0<σ<n/2$, which turn out to be equivalent to {\it Kato smoothing estimates} for the Cauchy problem. We then establish {\it Strichartz estimates} for $σ>1/2$ and {\it uniform Sobolev estimates} of Kenig--Ruiz--Sogge type for $σ\ge n/(n+1)$. These extend the same properties for the Schrödinger operator with the inverse-square potential to the higher-order and fractional cases. Moreover, we also obtain {\it improved Strichartz estimates with a gain of regularities} for general initial data if $1<σ<n/2$ and for radially symmetric data if $n/(2n-1)<σ\le1$, which extends the corresponding results for the free evolution to the case with Hardy potentials. These arguments can be further applied to a large class of higher-order inhomogeneous elliptic operators and even to certain long-range metric perturbations of the Laplace operator. Finally, in the critical coupling constant case (i.e. $a=-C_{σ,n}$), we show that the same results as in the subcritical case still hold for functions orthogonal to radial functions. △ Less

Submitted 27 September, 2021; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 44 pages, 1 figure; revised version

Decay estimates for higher order elliptic operators

Authors: Hongliang Feng, Avy Soffer, Zhao Wu, Xiaohua Yao

Abstract: This paper is mainly devoted to study time decay estimates of the higher-order Schrödinger type operator $H=(-Δ)^{m}+V(x)$ in $\mathbf{R}^{n}$ for $n>2m$ and $m\in\mathbf{N}$. For certain decay potentials $V(x)$, we first derive the asymptotic expansions of resolvent $R_{V}(z)$ near zero threshold with the presence of zero resonance or zero eigenvalue, as well identify the resonance space for each… ▽ More This paper is mainly devoted to study time decay estimates of the higher-order Schrödinger type operator $H=(-Δ)^{m}+V(x)$ in $\mathbf{R}^{n}$ for $n>2m$ and $m\in\mathbf{N}$. For certain decay potentials $V(x)$, we first derive the asymptotic expansions of resolvent $R_{V}(z)$ near zero threshold with the presence of zero resonance or zero eigenvalue, as well identify the resonance space for each kind of zero resonance which displays different effects on time decay rate. Then we establish Kato-Jensen type estimates and local decay estimates for higher order Schrödinger propagator $e^{-itH}$ in the presence of zero resonance or zero eigenvalue. As a consequence, the endpoint Strichartz estimate and $L^{p}$-decay estimates can also be obtained. Finally, by a virial argument, a criterion on the absence of positive embedded eigenvalues is given for $(-Δ)^{m}+V(x)$ with a repulsive potential. △ Less

Submitted 10 September, 2019; v1 submitted 28 April, 2019; originally announced April 2019.

Comments: 55 pages. Welcome any comments! To appear in Transactions of the American Mathematical Society

Global rough solution for $L^2$-critical semilinear heat equation in the negative Sobolev space

Authors: Avy Soffer, Yifei Wu, Xiaohua Yao

Abstract: In this paper, we consider the Cauchy global problem for the $L^2$-critical semilinear heat equations $\partial_t h=Δh\pm |h|^{\frac4d}h, $ with $h(0,x)=h_0$, where $h$ is an unknown real function defined on $ \R^+\times\R^d$. In most of the studies on this subject, the initial data $h_0$ belongs to Lebesgue spaces $L^p(\R^d)$ for some $p\ge 2$ or to subcritical Sobolev space $H^{s}(\R^d)$ with… ▽ More In this paper, we consider the Cauchy global problem for the $L^2$-critical semilinear heat equations $\partial_t h=Δh\pm |h|^{\frac4d}h, $ with $h(0,x)=h_0$, where $h$ is an unknown real function defined on $ \R^+\times\R^d$. In most of the studies on this subject, the initial data $h_0$ belongs to Lebesgue spaces $L^p(\R^d)$ for some $p\ge 2$ or to subcritical Sobolev space $H^{s}(\R^d)$ with $s>0$. We here prove that there exists some positive constant $\varepsilon_0$ depending on $d$, such that the Cauchy problem is locally and globally well-posed for any initial data $h_0$ which is radial, supported away from origin and in the negative Sobolev space $\dot H^{-\varepsilon_0}(\R^d)$ including $L^p(\R^d)$ with certain $p<2$ as subspace. Furthermore, unconditional uniqueness, and $L^2$-estimate both as time $t\to0$ and $t\to +\infty$ were considered. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: 16 pages. Any comments are welcome

Margulis lemma and Hurewicz fibration Theorem on Alexandrov spaces

Authors: Shicheng Xu, Xuchao Yao

Abstract: We prove the generalized Margulis lemma with a uniform index bound on an Alexandrov $n$-space $X$ with curvature bounded below, i.e., small loops at $p\in X$ generate a subgroup of the fundamental group of unit ball $B_1(p)$ that contains a nilpotent subgroup of index $\le w(n)$, where $w(n)$ is a constant depending only on the dimension $n$. The proof is based on the main ideas of V.~Kapovitch, A… ▽ More We prove the generalized Margulis lemma with a uniform index bound on an Alexandrov $n$-space $X$ with curvature bounded below, i.e., small loops at $p\in X$ generate a subgroup of the fundamental group of unit ball $B_1(p)$ that contains a nilpotent subgroup of index $\le w(n)$, where $w(n)$ is a constant depending only on the dimension $n$. The proof is based on the main ideas of V.~Kapovitch, A.~Petrunin, and W.~Tuschmann, and the following results: (1) We prove that any regular almost Lipschitz submersion constructed by Yamaguchi on a collapsed Alexandrov space with curvature bounded below is a Hurewicz fibration. We also prove that such fibration is uniquely determined up to a homotopy equivalence. (2) We give a detailed proof on the gradient push, improving the universal pushing time bound given by V.~Kapovitch, A.~Petrunin, and W.~Tuschmann, and justifying in a specific way that the gradient push between regular points can always keep away from extremal subsets. △ Less

Submitted 31 March, 2019; v1 submitted 28 February, 2019; originally announced February 2019.

MSC Class: 53C23

Time Asymptotic expansions of solution for fourth-order Schrödinger equation with zero resonance or eigenvalue

Authors: Hongliang Feng, Zhao Wu, Xiaohua Yao

Abstract: In this paper, we first deduce the asymptotic expansions of resolvent of $H=(-Δ)^2+V$ with the presence of resonance or eigenvalue at the degenerate zero threshold for $d\geq5$. In particular, we identify these resonance spaces for full kinds of zero resonances. As a consequence, we then establish the {\it time asymptotic expansions} and {\it Kato-Jensen estimates} for the solution of fourth-order… ▽ More In this paper, we first deduce the asymptotic expansions of resolvent of $H=(-Δ)^2+V$ with the presence of resonance or eigenvalue at the degenerate zero threshold for $d\geq5$. In particular, we identify these resonance spaces for full kinds of zero resonances. As a consequence, we then establish the {\it time asymptotic expansions} and {\it Kato-Jensen estimates} for the solution of fourth-order Schrödinger equation under the presence of zero resonance or eigenvalue. △ Less

Submitted 28 March, 2019; v1 submitted 1 December, 2018; originally announced December 2018.

Comments: 35 pages. This is an updated version, where more backgrounds and comments are added

Dynamics of the focusing 3D cubic NLS with slowly decaying potential

Authors: Qing Guo, Hua Wang, Xiaohua Yao

Abstract: In this paper, we consider a 3d cubic focusing nonlinear Schrödinger equation (NLS) with slowing decaying potentials. Adopting the variational method of Ibrahim-Masmoudi-Nakanishi \cite{IMN}, we obtain a condition for scattering. It is actually sharp in some sense since the solution will blow up if it's false. The proof of blow-up part relies on the method of Du-Wu-Zhang \cite{DWZ} In this paper, we consider a 3d cubic focusing nonlinear Schrödinger equation (NLS) with slowing decaying potentials. Adopting the variational method of Ibrahim-Masmoudi-Nakanishi \cite{IMN}, we obtain a condition for scattering. It is actually sharp in some sense since the solution will blow up if it's false. The proof of blow-up part relies on the method of Du-Wu-Zhang \cite{DWZ} △ Less

Submitted 1 December, 2018; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 29 pages, This is a new version where the proof of Lemma 2.1 was added

Scattering and blowup for $L^{2}$-supercritical and $\dot{H}^{2}$-subcritical biharmonic NLS with potentials

Authors: Qing Guo, Hua Wang, Xiaohua Yao

Abstract: We mainly consider the focusing biharmonic Schrödinger equation with a large radial repulsive potential $V(x)$: \begin{equation*} \left\{ \begin{aligned} iu_{t}+(Δ^2+V)u-|u|^{p-1}u=0,\;\;(t,x) \in {\bf{R}\times{\bf{R}}^{N}}, u(0, x)=u_{0}(x)\in H^{2}({\bf{R}}^{N}), \end{aligned}\right. \end{equation*} If $N>8$, \ $1+\frac{8}{N}<p<1+\frac{8}{N-4}$ (i.e. the $L^{2}$-supercritical and… ▽ More We mainly consider the focusing biharmonic Schrödinger equation with a large radial repulsive potential $V(x)$: \begin{equation*} \left\{ \begin{aligned} iu_{t}+(Δ^2+V)u-|u|^{p-1}u=0,\;\;(t,x) \in {\bf{R}\times{\bf{R}}^{N}}, u(0, x)=u_{0}(x)\in H^{2}({\bf{R}}^{N}), \end{aligned}\right. \end{equation*} If $N>8$, \ $1+\frac{8}{N}<p<1+\frac{8}{N-4}$ (i.e. the $L^{2}$-supercritical and $\dot{H}^{2}$-subcritical case ), and $\langle x\rangle^β\big(|V(x)|+|\nabla V(x)|\big)\in L^\infty$ for some $β>N+4$, then we firstly prove a global well-posedness and scattering result for the radial data $u_0\in H^2({\bf R}^N)$ which satisfies that $$ M(u_0)^{\frac{2-s_c}{s_c}}E(u_0)<M(Q)^{\frac{2-s_c}{s_c}}E_{0}(Q) \ \ {\rm{and}}\ \ \|u_{0}\|^{\frac{2-s_c}{s_c}}_{L^{2}}\|H^{\frac{1}{2}} u_{0}\|_{L^{2}}<\|Q\|^{\frac{2-s_c}{s_c}}_{L^{2}}\|ΔQ\|_{L^{2}}, $$ where $s_c=\frac{N}{2}-\frac{4}{p-1}\in(0,2)$, $H=Δ^2+V$ and $Q$ is the ground state of $Δ^2Q+(2-s_c)Q-|Q|^{p-1}Q=0$. We crucially establish full Strichartz estimates and smoothing estimates of linear flow with a large poetential $V$, which are fundamental to our scattering results. Finally, based on the method introduced in \cite[T. Boulenger, E. Lenzmann, Blow up for biharmonic NLS, Ann. Sci. $\acute{E}$c. Norm. Sup$\acute{e}$r., 50(2017), 503-544]{B-Lenzmann}, we also prove a blow-up result for a class of potential $V$ and the radial data $u_0\in H^2({\bf R}^N)$ satisfying that $$ M(u_0)^{\frac{2-s_c}{s_c}}E(u_0)<M(Q)^{\frac{2-s_c}{s_c}}E_{0}(Q) \ \ {\rm{and}}\ \ \|u_{0}\|^{\frac{2-s_c}{s_c}}_{L^{2}}\|H^{\frac{1}{2}} u_{0}\|_{L^{2}}>\|Q\|^{\frac{2-s_c}{s_c}}_{L^{2}}\|ΔQ\|_{L^{2}}. $$ △ Less

Submitted 16 October, 2018; originally announced October 2018.

Comments: 39 pages

Analysis of Noisy Evolutionary Optimization When Sampling Fails

Authors: Chao Qian, Chao Bian, Yang Yu, Ke Tang, Xin Yao

Abstract: In noisy evolutionary optimization, sampling is a common strategy to deal with noise. By the sampling strategy, the fitness of a solution is evaluated multiple times (called \emph{sample size}) independently, and its true fitness is then approximated by the average of these evaluations. Most previous studies on sampling are empirical, and the few theoretical studies mainly showed the effectiveness… ▽ More In noisy evolutionary optimization, sampling is a common strategy to deal with noise. By the sampling strategy, the fitness of a solution is evaluated multiple times (called \emph{sample size}) independently, and its true fitness is then approximated by the average of these evaluations. Most previous studies on sampling are empirical, and the few theoretical studies mainly showed the effectiveness of sampling with a sufficiently large sample size. In this paper, we theoretically examine what strategies can work when sampling with any fixed sample size fails. By constructing a family of artificial noisy examples, we prove that sampling is always ineffective, while using parent or offspring populations can be helpful on some examples. We also construct an artificial noisy example to show that when using neither sampling nor populations is effective, a tailored adaptive sampling (i.e., sampling with an adaptive sample size) strategy can work. These findings may enhance our understanding of sampling to some extent, but future work is required to validate them in natural situations. △ Less

Submitted 28 November, 2022; v1 submitted 11 October, 2018; originally announced October 2018.

Multiobjective Test Problems with Degenerate Pareto Fronts

Authors: Liangli Zhen, Miqing Li, Ran Cheng, Dezhong Peng, Xin Yao

Abstract: In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In su… ▽ More In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In such cases, an m-objective optimisation problem has an (m-1)-dimensional Pareto front in the objective space. However, in some optimisation problems, there may be unexpected characteristics among objectives, e.g., redundancy. The redundancy of some objectives can lead to the multiobjective problem having a degenerate Pareto front, i.e., the dimension of the Pareto front of the $m$-objective problem be less than (m-1). In this paper, we systematically study degenerate multiobjective problems. We abstract three general characteristics of degenerate problems, which are not formulated and systematically investigated in the literature. Based on these characteristics, we present a set of test problems to support the investigation of multiobjective optimisation algorithms under situations with redundant objectives. To the best of our knowledge, this work is the first one that explicitly formulates these three characteristics of degenerate problems, thus allowing the resulting test problems to be featured by their generality, in contrast to existing test problems designed for specific purposes (e.g., visualisation). △ Less

Submitted 23 August, 2022; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 15 pages, 9 figures

Large scaled geometry of Julia sets of entire and meromorphic functions

Authors: Jun Wang, Xiao Yao

Abstract: In this paper, we study the large scaled geometric structure of Julia sets of entire and meromorphic functions. Roughly speaking, the structure gives us some asymptotic information about the Julia set near the essential singularity. We will show that part of this structure are determined by the transcendental directions coming from function theoretic point of view. In this paper, we study the large scaled geometric structure of Julia sets of entire and meromorphic functions. Roughly speaking, the structure gives us some asymptotic information about the Julia set near the essential singularity. We will show that part of this structure are determined by the transcendental directions coming from function theoretic point of view. △ Less

Submitted 21 May, 2018; originally announced May 2018.

Comments: Any comments will be appreciated

Peano Model for Planar Compacta and a Lemma by Beardon

Authors: Jun Luo, Yi Yang, Xiao-Ting Yao

Abstract: It is known that, among all the monotone decompositions of a planar compact set K with Peano hyperspaces, there exists a unique one that is finer than all the others. We call it the "core decomposition" of K with Peano hyperspace. The resulted hyperspace under quotient topology will be referred to as the "Peano model" for K. We show that the core decomposition is independent of the embedding of K… ▽ More It is known that, among all the monotone decompositions of a planar compact set K with Peano hyperspaces, there exists a unique one that is finer than all the others. We call it the "core decomposition" of K with Peano hyperspace. The resulted hyperspace under quotient topology will be referred to as the "Peano model" for K. We show that the core decomposition is independent of the embedding of K into the plane. Given a rational function f with degree at least 2 that is independent of K. A well known result by Beardon says that the pre-image for any element d of the core decomposition has finitely many components, each of which is mapped by f onto d. We show that those components belong to the core decomposition of L, the pre-image of K under the above mentioned rational map f. This provides an affirmative answer to Question 5.4 proposed by Curry (MR2642461) and extends earlier partial results by Blokh-Curry-Oversteegen (MR2737795 and MR3008890), when K is assumed to be unshielded and the rational map f is assumed to be a polynomial, under which K is completely invariant. The previous result is also connected with a well known Factor Theorem developed by Whyburn. We also introduce a lambda function from K to the set of non-negative integers, such that this function is constantly zero if and only if K is a Peano space. This function and its maximum are topologically invariant, while its level set at zero is of particular interest. For instance, when K is the Mandelbrot set we find close relations between the level set at zero and the hyperbolic components. Further discussions on the lambda function can be expected. △ Less

Submitted 25 March, 2018; originally announced March 2018.

Comments: 37 pages, 14 figures

MSC Class: Primary 37C70; Secondary 37F45; 37F99

Scattering and blow-up criteria for 3D cubic focusing nonlinear inhomogeneous NLS with a potential

Authors: Qing Guo, Hua Wang, Xiaohua Yao

Abstract: In this paper, we consider the 3d cubic focusing inhomogeneous nonlinear Schrödinger equation with a potential $$ iu_{t}+Δu-Vu+|x|^{-b}|u|^{2}u=0,\;\;(t,x) \in {\bf{R}\times{\bf{R}}^{3}}, $$ where $0<b<1$. We first establish global well-posedness and scattering for the radial initial data $u_{0}$ in $H^{1}({\bf R}^{3})$ satisfying $M(u_{0})^{1-s_{c}}E(u_{0})^{s_{c}}<\mathcal{E}$ and… ▽ More In this paper, we consider the 3d cubic focusing inhomogeneous nonlinear Schrödinger equation with a potential $$ iu_{t}+Δu-Vu+|x|^{-b}|u|^{2}u=0,\;\;(t,x) \in {\bf{R}\times{\bf{R}}^{3}}, $$ where $0<b<1$. We first establish global well-posedness and scattering for the radial initial data $u_{0}$ in $H^{1}({\bf R}^{3})$ satisfying $M(u_{0})^{1-s_{c}}E(u_{0})^{s_{c}}<\mathcal{E}$ and $\|u_{0}\|_{L^{2}}^{2(1-s_{c})}\|H^{\frac{1}{2}}u_{0}\|_{L^{2}}^{2s_{c}}<\mathcal{K}$ provided that $V$ is repulsive, where $\mathcal{E}$ and $\mathcal{K}$ are the mass-energy and mass-kinetic of the ground states, respectively. Our result extends the results of Hong \cite{H} and Farah-Guzm$\acute{\rm a}$n \cite{FG1} with $b\in(0,\frac12)$ to the case $0<b<1$. We then obtain a blow-up result for initial data $u_{0}$ in $H^{1}({\bf R}^{3})$ satisfying $M(u_{0})^{1-s_{c}}E(u_{0})^{s_{c}}<\mathcal{E}$ and $\|u_{0}\|_{L^{2}}^{2(1-s_{c})}\|H^{\frac{1}{2}}u_{0}\|_{L^{2}}^{2s_{c}}>\mathcal{K}$ if $V$ satisfies some additional assumptions.0}\|_{L^{2}}^{2(1-s_{c})}\|H^{\frac{1}{2}}u_{0}\|_{L^{2}}^{2s_{c}}>\mathcal{K}$ if $V$ satisfies some additional assumptions. △ Less

Submitted 17 January, 2019; v1 submitted 16 January, 2018; originally announced January 2018.

Comments: arXiv admin note: text overlap with arXiv:1810.07104

The existence and concentration of positive ground state solutions for a class of fractional Schrödinger-Poisson systems with steep potential wells

Authors: Liejun Shen, Xiaohua Yao

Abstract: The present study is concerned with the following fractional Schrödinger-Poisson system with steep potential well: $$ \left\{% \begin{array}{ll} (-Δ)^s u+ \la V(x)u+K(x)φu= f(u), & x\in\R^3, (-Δ)^t φ=K(x)u^2, & x\in\R^3, \end{array}% \right. $$ where $s,t\in(0,1)$ with $4s+2t>3$, and $\la>0$ is a parameter. Under certain assumptions on $V(x)$, $K(x)$ and $f(u)$ behaving like $|u|^{q-2}u$ wit… ▽ More The present study is concerned with the following fractional Schrödinger-Poisson system with steep potential well: $$ \left\{% \begin{array}{ll} (-Δ)^s u+ \la V(x)u+K(x)φu= f(u), & x\in\R^3, (-Δ)^t φ=K(x)u^2, & x\in\R^3, \end{array}% \right. $$ where $s,t\in(0,1)$ with $4s+2t>3$, and $\la>0$ is a parameter. Under certain assumptions on $V(x)$, $K(x)$ and $f(u)$ behaving like $|u|^{q-2}u$ with $2<q<2_s^*=\frac{6}{3-2s}$, the existence of positive ground state solutions and concentration results are obtained via some new analytical skills and Nehair-Pohožaev identity. In particular, the monotonicity assumption on the nonlinearity is not necessary. △ Less

Submitted 22 March, 2017; originally announced March 2017.

Comments: 21 pages

Decay Estimates and Strichartz Estimates of Fourth-order Schrödinger Operator

Authors: Hongliang Feng, Avy Soffer, Xiaohua Yao

Abstract: We study time decay estimates of the fourth-order Schrödinger operator $H=(-Δ)^{2}+V(x)$ in $\mathbb{R}^{d}$ for $d=3$ and $d\geq5$. We analyze the low energy and high energy behaviour of resolvent $R(H; z)$, and then derive the Jensen-Kato dispersion decay estimate and local decay estimate for $e^{-itH}P_{ac}$ under suitable spectrum assumptions of $H$. Based on Jensen-Kato decay estimate and loc… ▽ More We study time decay estimates of the fourth-order Schrödinger operator $H=(-Δ)^{2}+V(x)$ in $\mathbb{R}^{d}$ for $d=3$ and $d\geq5$. We analyze the low energy and high energy behaviour of resolvent $R(H; z)$, and then derive the Jensen-Kato dispersion decay estimate and local decay estimate for $e^{-itH}P_{ac}$ under suitable spectrum assumptions of $H$. Based on Jensen-Kato decay estimate and local decay estimate, we obtain the $L^1\rightarrow L^{\infty}$ estimate of $e^{-itH}P_{ac}$ in $3$-dimension by Ginibre argument, and also establish the endpoint global Strichartz estimates of $e^{-itH}P_{ac}$ for $d\geq5$. Furthermore, using the local decay estimate and the Georgescu-Larenas-Soffer conjugate operator method, we prove the Jensen-Kato type decay estimates for some functions of $H$. △ Less

Submitted 24 October, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 43 Pages, published version. To appear in J. Functional Analysis