-
Nonempty interior of pinned distance and tree sets
Authors:
Tainara Borges,
Benjamin Foster,
Yumeng Ou,
Eyvindur Palsson
Abstract:
For a compact set $E\subset\mathbb{R}^d$, $d\geq 2$, consider the pinned distance set $Δ^{y}(E)=\lbrace |x-y| : x\in E\rbrace$. Peres and Schlag showed that if the Hausdorff dimension of $E$ is bigger than $\frac{d+2}{2}$ with $d\geq 3$, then there exists a point $y\in E$ such that $Δ^{y}(E)$ has nonempty interior. In this paper we obtain the first non-trivial threshold for this problem in the pla…
▽ More
For a compact set $E\subset\mathbb{R}^d$, $d\geq 2$, consider the pinned distance set $Δ^{y}(E)=\lbrace |x-y| : x\in E\rbrace$. Peres and Schlag showed that if the Hausdorff dimension of $E$ is bigger than $\frac{d+2}{2}$ with $d\geq 3$, then there exists a point $y\in E$ such that $Δ^{y}(E)$ has nonempty interior. In this paper we obtain the first non-trivial threshold for this problem in the plane, improving on the Peres--Schlag threshold when $d=3$, and we extend the results to trees using a novel induction argument.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Incidence bounds related to circular Furstenberg sets
Authors:
John Green,
Terence L. J. Harris,
Yumeng Ou,
Kevin Ren,
Sarah Tammen
Abstract:
We prove bounds on approximate incidences between families of circles and families of points in the plane. As a consequence, we prove a lower bound for the dimension of circular $(u,v)$-Furstenberg sets, which is new for large $u$ and $v$.
We prove bounds on approximate incidences between families of circles and families of points in the plane. As a consequence, we prove a lower bound for the dimension of circular $(u,v)$-Furstenberg sets, which is new for large $u$ and $v$.
△ Less
Submitted 15 February, 2025;
originally announced February 2025.
-
Morse Index for Homothetic motions in the gravitational n-body problem
Authors:
Yuwei Ou,
Alessandro Portaluri
Abstract:
In the gravitation n-body Problem, a homothetic orbit is a special solution of the Newton's Equations of motion, in which each body moves along a straight line through the center of mass and forming at any time a central configuration. In 2020, Portaluri et al. proved that under a spectral gap condition on the limiting central configuration, known in literature as non-spiraling or [BS]-condition,…
▽ More
In the gravitation n-body Problem, a homothetic orbit is a special solution of the Newton's Equations of motion, in which each body moves along a straight line through the center of mass and forming at any time a central configuration. In 2020, Portaluri et al. proved that under a spectral gap condition on the limiting central configuration, known in literature as non-spiraling or [BS]-condition, the Morse index of an asymptotic colliding motion is finite. Later Ou et al. proved this result for other classes of unbounded motions, e.g. doubly asymptotic motions (e.g. doubly homothetic motions).
In this paper we prove that for a homothetic motion, irrespective of how large the index of the limiting central configuration and how large the energy level is, the following alternative holds: if the non-spiraling condition holds then the Morse index is 0 otherwise it is infinite.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
A short survey on biharmonic Riemannian submersions
Authors:
Ye-Lin Ou
Abstract:
The study of biharmonic submanifolds, initiated by B. Y. Chen and G. Y. Jiang independently, has received a great attention in the past 30 years with many important progress. This note attempts to give a short survey on the study of biharmonic Riemannian submersions which are a dual concept of biharmonic submanifolds (i.e., biharmonic isometric immersions).
The study of biharmonic submanifolds, initiated by B. Y. Chen and G. Y. Jiang independently, has received a great attention in the past 30 years with many important progress. This note attempts to give a short survey on the study of biharmonic Riemannian submersions which are a dual concept of biharmonic submanifolds (i.e., biharmonic isometric immersions).
△ Less
Submitted 21 July, 2024;
originally announced July 2024.
-
Biharmonic functions and bi-eigenfunctions on some model spaces
Authors:
Ye-Lin Ou
Abstract:
In this paper, we first give a convenient formula for bi-Laplacian on a sphere and the complete description of its eigenvalues, buckling eigenvalues, and their corresponding eigenfunctions. We then show that the radial (or rotationally symmetric) solutions for biharmonic equation on the model space $( \mathbb{R}^+\times S^{m-1}, dr^2 + σ^2(r)\, g^{S^{m-1}})$ can be given by an integral formula. We…
▽ More
In this paper, we first give a convenient formula for bi-Laplacian on a sphere and the complete description of its eigenvalues, buckling eigenvalues, and their corresponding eigenfunctions. We then show that the radial (or rotationally symmetric) solutions for biharmonic equation on the model space $( \mathbb{R}^+\times S^{m-1}, dr^2 + σ^2(r)\, g^{S^{m-1}})$ can be given by an integral formula. We also prove that the model space always admits proper biharmonic functions as the products of any eigenfunctions of the factor sphere with certain radial functions. Many explicit examples of proper biharmonic functions on space forms are given. Finally, we give a complete classification of proper biharmonic functions with positive Laplacian on the punctured Euclidean space.
△ Less
Submitted 6 October, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Sobolev smoothing estimates for bilinear maximal operators with fractal dilation sets
Authors:
Tainara Borges,
Benjamin Foster,
Yumeng Ou
Abstract:
Given a hypersurface $S\subset \mathbb{R}^{2d}$, we study the bilinear averaging operator that averages a pair of functions over $S$, as well as more general bilinear multipliers of limited decay and various maximal analogs. Of particular interest are bilinear maximal operators associated to a fractal dilation set $E\subset [1,2]$; in this case, the boundedness region of the maximal operator is as…
▽ More
Given a hypersurface $S\subset \mathbb{R}^{2d}$, we study the bilinear averaging operator that averages a pair of functions over $S$, as well as more general bilinear multipliers of limited decay and various maximal analogs. Of particular interest are bilinear maximal operators associated to a fractal dilation set $E\subset [1,2]$; in this case, the boundedness region of the maximal operator is associated to the geometry of the hypersurface and various notions of the dimension of the dilation set. In particular, we determine Sobolev smoothing estimates at the exponent $L^2 \times L^2 \rightarrow L^2$ using Fourier-analytic methods, which allow us to deduce additional $L^p$ improving bounds for the operators and sparse bounds and their weighted corollaries for the associated multi-scale maximal functions. We also extend the method to study analogues of these questions for the triangle averaging operator and biparameter averaging operators. In addition, some necessary conditions for boundedness of these operators are obtained.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Weighted refined decoupling estimates and application to Falconer distance set problem
Authors:
Xiumin Du,
Yumeng Ou,
Kevin Ren,
Ruixiang Zhang
Abstract:
We prove some weighted refined decoupling estimates. As an application, we give an alternative proof of the following result on Falconer's distance set problem by the authors in a companion work: if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 4$, then there is a point $x\in E$ such that the pinned distance set…
▽ More
We prove some weighted refined decoupling estimates. As an application, we give an alternative proof of the following result on Falconer's distance set problem by the authors in a companion work: if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 4$, then there is a point $x\in E$ such that the pinned distance set $Δ_x(E)$ has positive Lebesgue measure. Aside from this application, the weighted refined decoupling estimates may be of independent interest.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
New improvement to Falconer distance set problem in higher dimensions
Authors:
Xiumin Du,
Yumeng Ou,
Kevin Ren,
Ruixiang Zhang
Abstract:
We show that if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 3$, then there is a point $x\in E$ such that the pinned distance set $Δ_x(E)$ has positive Lebesgue measure. This improves upon bounds of Du-Zhang and Du-Iosevich-Ou-Wang-Zhang in all dimensions $d \ge 3$. We also prove lower bounds for Hausdorff dimensio…
▽ More
We show that if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 3$, then there is a point $x\in E$ such that the pinned distance set $Δ_x(E)$ has positive Lebesgue measure. This improves upon bounds of Du-Zhang and Du-Iosevich-Ou-Wang-Zhang in all dimensions $d \ge 3$. We also prove lower bounds for Hausdorff dimension of pinned distance sets when $\dim_H (E) \in (\frac{d}{2} - \frac{1}{4} - \frac{3}{8d+4}, \frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4})$, which improves upon bounds of Harris and Wang-Zheng in dimensions $d \ge 3$.
△ Less
Submitted 22 October, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Low Mach number limit for non-isentropic magnetohydrodynamic equations with ill-prepared data and zero magnetic diffusivity in bounded domains
Authors:
Yaobin Ou,
Lu Yang
Abstract:
In this article, we verify the low Mach number limit of strong solutions to the non-isentropic compressible magnetohydrodynamic equations with zero magnetic diffusivity and ill-prepared initial data in three-dimensional bounded domains, when the density and the temperature vary around constant states. Invoking a new weighted energy functional, we establish the uniform estimates with respect to the…
▽ More
In this article, we verify the low Mach number limit of strong solutions to the non-isentropic compressible magnetohydrodynamic equations with zero magnetic diffusivity and ill-prepared initial data in three-dimensional bounded domains, when the density and the temperature vary around constant states. Invoking a new weighted energy functional, we establish the uniform estimates with respect to the Mach number, especially for the spatial derivatives of high order. Due to the vorticity-slip boundary condition of the velocity, we decompose the uniform estimates into the part for the fast variables and the other one for the slow variables. In particular, the weighted estimates of highest-order spatial derivatives of the fast variables are crucial for the uniform bounds. Finally, the low Mach number limit is justified by the strong convergence of the density and the temperature, the divergence-free component of the velocity, and the weak convergence of other variables. The methods in this paper can be applied to singular limits of general hydrodynamic equations of hyperbolic-parabolic type, including the full Navier-Stokes equations.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
A symplectic dynamics approach to the spatial isosceles three-body problem
Authors:
Xijun Hu,
Lei Liu,
Yuwei Ou,
Pedro A. S. Salomão,
Guowei Yu
Abstract:
We study the spatial isosceles three-body problem from the perspective of Symplectic Dynamics. For certain choices of mass ratio, angular momentum, and energy, the dynamics on the energy surface is equivalent to a Reeb flow on the tight three-sphere. We find a Hopf link formed by the Euler orbit and a symmetric brake orbit, which spans an open book decomposition whose pages are annulus-like global…
▽ More
We study the spatial isosceles three-body problem from the perspective of Symplectic Dynamics. For certain choices of mass ratio, angular momentum, and energy, the dynamics on the energy surface is equivalent to a Reeb flow on the tight three-sphere. We find a Hopf link formed by the Euler orbit and a symmetric brake orbit, which spans an open book decomposition whose pages are annulus-like global surfaces of section. In the case of large mass ratios, the Hopf link is non-resonant, forcing the existence of infinitely many periodic orbits. The rotation number of the Euler orbit plays a fundamental role in the existence of periodic orbits and their symmetries. We explore such symmetries in the Hill region and show that the Euler orbit is negative hyperbolic for an open set of parameters while it can never be positive hyperbolic. Finally, we address convexity and determine for each parameter whether the energy surface is strictly convex, convex, or non-convex. Dynamical consequences of this fact are then discussed.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
A singular variant of the Falconer distance problem
Authors:
Tainara Borges,
Alex Iosevich,
Yumeng Ou
Abstract:
In this paper we study the following variant of the Falconer distance problem. Let $E$ be a compact subset of ${\mathbb{R}}^d$, $d \ge 1$, and define $$ \Box(E)=\left\{\sqrt{{|x-y|}^2+{|x-z|}^2}: x,y,z \in E,\, y\neq z \right\}.$$ We shall prove using a variety of methods that if the Hausdorff dimension of $E$ is greater than $\frac{d}{2}+\frac{1}{4}$, then the Lebesgue measure of $\Box(E)$ is pos…
▽ More
In this paper we study the following variant of the Falconer distance problem. Let $E$ be a compact subset of ${\mathbb{R}}^d$, $d \ge 1$, and define $$ \Box(E)=\left\{\sqrt{{|x-y|}^2+{|x-z|}^2}: x,y,z \in E,\, y\neq z \right\}.$$ We shall prove using a variety of methods that if the Hausdorff dimension of $E$ is greater than $\frac{d}{2}+\frac{1}{4}$, then the Lebesgue measure of $\Box(E)$ is positive. This problem can be viewed as a singular variant of the classical Falconer distance problem because considering the diagonal $(x,x)$ in the definition of $\Box(E)$ poses interesting complications stemming from the fact that the set $\{(x,x): x \in E\}\subseteq \mathbb{R}^{2d}$ is much smaller than the sets for which the Falconer type results are typically established.
We also prove a finite field variant of the Euclidean results for $\Box(E)$ and indicate both the similarities and the differences between the two settings.
△ Less
Submitted 31 August, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
An adaptive RKHS regularization for Fredholm integral equations
Authors:
Fei Lu,
Miao-Jung Yvonne Ou
Abstract:
Regularization is a long-standing challenge for ill-posed linear inverse problems, and a prototype is the Fredholm integral equation of the first kind with additive Gaussian measurement noise. We introduce a new RKHS regularization adaptive to measurement data and the underlying linear operator. This RKHS arises naturally in a variational approach, and its closure is the function space in which we…
▽ More
Regularization is a long-standing challenge for ill-posed linear inverse problems, and a prototype is the Fredholm integral equation of the first kind with additive Gaussian measurement noise. We introduce a new RKHS regularization adaptive to measurement data and the underlying linear operator. This RKHS arises naturally in a variational approach, and its closure is the function space in which we can identify the true solution. Also, we introduce a small noise analysis to compare regularization norms by sharp convergence rates in the small noise limit. Our analysis shows that the RKHS- and $L^2$-regularizers yield the same convergence rate when their optimal hyper-parameters are selected using the true solution, and the RKHS-regularizer has a smaller multiplicative constant. However, in computational practice, the RKHS regularizer significantly outperforms the $L^2$-and $l^2$-regularizers in producing consistently converging estimators when the noise level decays or the observation mesh refines.
△ Less
Submitted 4 December, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
On a free Schrödinger solution studied by Barceló--Bennett--Carbery--Ruiz--Vilela
Authors:
Xiumin Du,
Yumeng Ou,
Hong Wang,
Ruixiang Zhang
Abstract:
We present a free Schrödinger solution studied by Barceló--Bennett--Carbery--Ruiz--Vilela and show why it can be viewed as a sharp example for the recently discovered refined decoupling theorem.
We present a free Schrödinger solution studied by Barceló--Bennett--Carbery--Ruiz--Vilela and show why it can be viewed as a sharp example for the recently discovered refined decoupling theorem.
△ Less
Submitted 31 March, 2023; v1 submitted 19 March, 2023;
originally announced March 2023.
-
Harmonic and biharmonic Riemannain submersions from Sol space
Authors:
Ze-Ping Wang,
Ye-Lin Ou,
Qi-Long Liu
Abstract:
In this paper, we give a complete classification of harmonic and biharmonic Riemannian submersions $π:(R^3,g_{Sol})\to (N^2,h)$ from Sol space into a surface by proving that there is neither harmonic nor biharmonic Riemannian submersion $π:(R^3,g_{Sol})\to (N^2,h)$ from Sol space no matter what the base space $(N^2,h)$ is. We also prove that a Riemannian submersion $π:(R,g_{Sol})\to (N^2,h)$ from…
▽ More
In this paper, we give a complete classification of harmonic and biharmonic Riemannian submersions $π:(R^3,g_{Sol})\to (N^2,h)$ from Sol space into a surface by proving that there is neither harmonic nor biharmonic Riemannian submersion $π:(R^3,g_{Sol})\to (N^2,h)$ from Sol space no matter what the base space $(N^2,h)$ is. We also prove that a Riemannian submersion $π:(R,g_{Sol})\to (N^2,h)$ from Sol space exists only when the base space is a hyperbolic space form.
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
-
Biharmonic isometric immersions into and biharmonic Riemannian submersions from Berger 3-spheres
Authors:
Ze-Ping Wang,
Ye-Lin Ou
Abstract:
In this paper, we study biharmonic isometric immersions of a surface into and biharmonic Riemannian submersion from 3-dimensional Berger spheres. We obtain a classification of proper biharmonic isometric immersions of a surface with constant mean curvature into Berger 3-spheres. We also give a complete classification of proper biharmonic Hopf tori in Berger 3-sphere. For Riemannian submersions, we…
▽ More
In this paper, we study biharmonic isometric immersions of a surface into and biharmonic Riemannian submersion from 3-dimensional Berger spheres. We obtain a classification of proper biharmonic isometric immersions of a surface with constant mean curvature into Berger 3-spheres. We also give a complete classification of proper biharmonic Hopf tori in Berger 3-sphere. For Riemannian submersions, we prove that a Riemannian submersion from Berger 3-spheres into a surface is biharmonic if and only if it is harmonic.
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
-
Biharmonic Riemannian submersions from $M^2\times R$
Authors:
Ze-Ping Wang,
Ye-Lin Ou
Abstract:
In this paper, we study biharmonic Riemannian submersions $π:M^2\times\r\to (N^2,h)$ from a product manifold onto a surface and obtain some local characterizations of such biharmonic maps. Our results show that when the target surface is flat, a proper biharmonic Riemannian submersion $π:M^2\times\r\to (N^2,h)$ is locally a projection of a special twisted product, and when the target surface is no…
▽ More
In this paper, we study biharmonic Riemannian submersions $π:M^2\times\r\to (N^2,h)$ from a product manifold onto a surface and obtain some local characterizations of such biharmonic maps. Our results show that when the target surface is flat, a proper biharmonic Riemannian submersion $π:M^2\times\r\to (N^2,h)$ is locally a projection of a special twisted product, and when the target surface is non-flat, $π$ is locally a special map between two warped product spaces with a warping function that solves a single ODE. As a by-product, we also prove that there is a unique proper biharmonic Riemannian submersion $H^2\times \r\to \r^2$ given by the projection of a warped product.
△ Less
Submitted 26 February, 2024; v1 submitted 19 February, 2023;
originally announced February 2023.
-
Harmonic Riemannian submersions from 3-dimensional geometries
Authors:
Ze-Ping Wang,
Ye-Lin Ou,
Yong-Gui Luo
Abstract:
In this paper, we study harmonic Riemannian submersions from 3-dimensional geometries using the ( generalized) integrability data associated to an orthonormal frame natural to a Riemannian submersion. We give complete classifications of harmonic Riemannian submersions from Thurston's 3-dimensional geometries, 3-dimensional BCV spaces and Berger sphere into a surface. We also give some explicit con…
▽ More
In this paper, we study harmonic Riemannian submersions from 3-dimensional geometries using the ( generalized) integrability data associated to an orthonormal frame natural to a Riemannian submersion. We give complete classifications of harmonic Riemannian submersions from Thurston's 3-dimensional geometries, 3-dimensional BCV spaces and Berger sphere into a surface. We also give some explicit constructions of these harmonic Riemannian submersions.
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
-
Biharmonic Riemannian submersions from a 3-dimensional BCV space
Authors:
Ze-Ping Wang,
Ye-Lin Ou
Abstract:
BCV spaces are a family of 3-dimensional Riemannian manifolds which include six of Thurston's eight geometries. In this paper, we give a complete classification of proper biharmonic Riemannian submersions from a 3-dimensional BCV space by proving that such biharmonic maps exist only in the cases of $H^2\times\mathbb{R}\to \mathbb{R}^2$ or $\widetilde{SL}(2,\mathbb{R})\to \mathbb{R}^2$. In each of…
▽ More
BCV spaces are a family of 3-dimensional Riemannian manifolds which include six of Thurston's eight geometries. In this paper, we give a complete classification of proper biharmonic Riemannian submersions from a 3-dimensional BCV space by proving that such biharmonic maps exist only in the cases of $H^2\times\mathbb{R}\to \mathbb{R}^2$ or $\widetilde{SL}(2,\mathbb{R})\to \mathbb{R}^2$. In each of these two cases, we are able to construct a family of infinitely many proper biharmonic Riemannian submersions. Our results on one hand, extend a previous result of the authors which gave a complete classification of proper biharmonic Riemannian submersions from a 3-dimensional space form, and on the other hand, can be viewed as the dual study of biharmonic surfaces (i.e., biharmonic isometric immersions) in a BCV space studied in some recent literature.
△ Less
Submitted 26 November, 2023; v1 submitted 19 February, 2023;
originally announced February 2023.
-
An efficient and energy decaying discontinuous Galerkin method for Maxwell's equations for the Cole-Cole dispersive medium
Authors:
Jiangming Xie,
Maojun Li,
Miao-Jung Yvonne Ou
Abstract:
In this work, we investigate the propagation of electromagnetic waves in the Cole-Cole dispersive medium by using the discontinuous Galerkin (DG) method to solve the coupled time-domain Maxwell's equations and polarization equation. We define a new and sharpened total energy function for the Cole-Cole model, which better describes the behaviors of the energy than what is available in the current l…
▽ More
In this work, we investigate the propagation of electromagnetic waves in the Cole-Cole dispersive medium by using the discontinuous Galerkin (DG) method to solve the coupled time-domain Maxwell's equations and polarization equation. We define a new and sharpened total energy function for the Cole-Cole model, which better describes the behaviors of the energy than what is available in the current literature. A major theme in the time-domain numerical modeling of this problem has been tackling the difficulty of handling the nonlocal term involved in the time-domain polarization equation. Based on the diffusive representation and the quadrature formula, we derive an approximate system, where the convolution kernel is replaced by a finite number of auxiliary variables that satisfy local-in-time ordinary differential equations. To ensure the resulted approximate system is stable, a nonlinear constrained optimization numerical scheme is established to determine the quadrature coefficients. By a special choice of the numerical fluxes and projections, we obtain {for the constant coefficient case } an optimal-order convergence result for the semi-discrete DG scheme. The temporal discretization is achieved by the standard two-step backward difference formula and a fast algorithm with linear complexity is constructed. Numerical examples are provided for demonstrating the efficiency of the proposed algorithm, validating the theoretical results and illustrating the behaviors of the energy.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Biharmonic homogeneous polynomial maps between spheres
Authors:
Rareş Ambrosie,
Cezar Oniciuc,
Ye-Lin Ou
Abstract:
In this paper we first prove a characterization formula for biharmonic maps in Euclidean spheres and, as an application, we construct a family of biharmonic maps from a flat $2$-dimensional torus $\mathbb{T}$ into the $3$-dimensional unit Euclidean sphere $\mathbb{S}^3$. Then, for the special case of maps between spheres whose components are given by homogeneous polynomials of the same degree, we…
▽ More
In this paper we first prove a characterization formula for biharmonic maps in Euclidean spheres and, as an application, we construct a family of biharmonic maps from a flat $2$-dimensional torus $\mathbb{T}$ into the $3$-dimensional unit Euclidean sphere $\mathbb{S}^3$. Then, for the special case of maps between spheres whose components are given by homogeneous polynomials of the same degree, we find a more specific form for their bitension field. Further, we apply this formula to the case when the degree is $2$, and we obtain the classification of all proper biharmonic quadratic forms from $\mathbb{S}^1$ to $\mathbb{S}^n$, $n \geq 2$, from $\mathbb{S}^m$ to $\mathbb{S}^2$, $m \geq 2$, and from $\mathbb{S}^m$ to $\mathbb{S}^3$, $m \geq 2$.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Global Surfaces of Section and Periodic Orbits in The Spatial Isosceles Three Body Problem
Authors:
Xijun Hu,
Lei Liu,
Yuwei Ou,
Guowei Yu
Abstract:
We study the spatial isosceles three body problem, which is a system with two degrees of freedom after modulo the rotation symmetry. For certain choices of energy and angular momentum, we find some disk-like global surfaces of section with the Euler orbit as their common boundary, and a brake orbit passing through them. By considering the Poincaré maps of these global surfaces of section, we prove…
▽ More
We study the spatial isosceles three body problem, which is a system with two degrees of freedom after modulo the rotation symmetry. For certain choices of energy and angular momentum, we find some disk-like global surfaces of section with the Euler orbit as their common boundary, and a brake orbit passing through them. By considering the Poincaré maps of these global surfaces of section, we prove the existence of all kinds of different periodic orbits under certain assumption. Moreover, we are able to prove, for generic choices of masses, the system always has infinitely many periodic orbits.
One of the key is to estimate the rotation numbers of the Euler orbit and the brake orbit with respect to the Poincaré map. For this, we establish formulas connected these numbers with the mean indices of the corresponding orbits using the Maslov-type index.
△ Less
Submitted 4 August, 2023; v1 submitted 12 April, 2022;
originally announced April 2022.
-
Sparse bounds for the bilinear spherical maximal function
Authors:
Tainara Borges,
Benjamin Foster,
Yumeng Ou,
Jill Pipher,
Zirui Zhou
Abstract:
We derive sparse bounds for the bilinear spherical maximal function in any dimension $d\geq 1$. When $d\geq 2$, this immediately recovers the sharp $L^p\times L^q\to L^r$ bound of the operator and implies quantitative weighted norm inequalities with respect to bilinear Muckenhoupt weights, which seems to be the first of their kind for the operator. The key innovation is a group of newly developed…
▽ More
We derive sparse bounds for the bilinear spherical maximal function in any dimension $d\geq 1$. When $d\geq 2$, this immediately recovers the sharp $L^p\times L^q\to L^r$ bound of the operator and implies quantitative weighted norm inequalities with respect to bilinear Muckenhoupt weights, which seems to be the first of their kind for the operator. The key innovation is a group of newly developed continuity $L^p$ improving estimates for the single scale bilinear spherical averaging operator.
△ Less
Submitted 15 December, 2022; v1 submitted 24 March, 2022;
originally announced March 2022.
-
On applications of Herglotz-Nevanlinna functions in material sciences, I: classical theory and applications of sum rules
Authors:
Annemarie Luger,
Miao-Jung Yvonne Ou
Abstract:
This is the first part of the review article which focuses on theory and applications of Herglotz-Nevanlinna functions in material sciences. It starts with the definition of scalar valued Herglotz-Nevanlinna functions and explains in detail the theorems that are pertinent to applications, followed by a short overview of the matrix-valued and operator-valued versions of these functions and the prop…
▽ More
This is the first part of the review article which focuses on theory and applications of Herglotz-Nevanlinna functions in material sciences. It starts with the definition of scalar valued Herglotz-Nevanlinna functions and explains in detail the theorems that are pertinent to applications, followed by a short overview of the matrix-valued and operator-valued versions of these functions and the properties that carry over from scalar cases. The theory is complemented by some applications from electromagnetics that are related to the sum rules. More applications of Herglotz Nevanlinnna functions in material sciences can be found in Part II.
△ Less
Submitted 26 February, 2022;
originally announced February 2022.
-
On the time-domain full waveform inversion for time-dissipative and dispersive poroelastic media
Authors:
Miao-jung Yvonne Ou,
Petr Plecháč,
Jiangming Xie
Abstract:
This paper concerns the Time-Domain Full Waveform Inversion (FWI) for dispersive and dissipative poroelastic materials. The forward problem is an initial boundary value problem (IBVP) of the poroelastic equations with a memory term; the FWI is formulated as a minimization problem of a least-square misfit function with the (IBVP) as the constraint. In this paper, we derive the adjoint problem of th…
▽ More
This paper concerns the Time-Domain Full Waveform Inversion (FWI) for dispersive and dissipative poroelastic materials. The forward problem is an initial boundary value problem (IBVP) of the poroelastic equations with a memory term; the FWI is formulated as a minimization problem of a least-square misfit function with the (IBVP) as the constraint. In this paper, we derive the adjoint problem of this minimization problem, whose solution can be applied to computed the direction of steepest descent in the iterative process for minimization. The adjoint problem has a similar numerical structure as the forward problem and hence can be solved by the same numerical solver. Because the tracking of the energy evolution plays an important role in the FWI for dissipative and dispersive equations, the energy analysis of the forward system is also carried out in this paper.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
Homogenization for a Variational Problem with a Slip Interface Condition
Authors:
Miao-jung Yvonne Ou,
Silvia Jiménez Bolaños
Abstract:
Inspired by applications, we study the effect of interface slip on the effective wave propagation in poroelastic composites. The current literature on the homogenization for the poroelastic wave equations are all based on the no-slip interface condition posed on the micro-scale. However, for certain pore fluids, the no-slip conditions are known to be physically invalid. Even though there are resul…
▽ More
Inspired by applications, we study the effect of interface slip on the effective wave propagation in poroelastic composites. The current literature on the homogenization for the poroelastic wave equations are all based on the no-slip interface condition posed on the micro-scale. However, for certain pore fluids, the no-slip conditions are known to be physically invalid. Even though there are results in a few papers regarding porous media with slip condition on the interface, they are for porous media with rigid solid matrix rather than an elastic one. For the former case, the equations for the micro-scale are posed only in the pore space and the slip on the interface involves only the fluid velocity and the fluid stress. For the latter case, both the fluid equations and the elastic equations are posed in the respective phases and the slip conditions involve the velocities on both sides of the interface, rather than just the fluid side. With this slip condition, a variational boundary value problem governing the small vibrations of a periodic mixture of an elastic solid and a slightly viscous fluid is studied in the paper. The method of two-scale convergence is used to obtain the macroscopic behavior of the solution and to identify the role played by the slip interface condition.
△ Less
Submitted 15 June, 2022; v1 submitted 23 November, 2021;
originally announced November 2021.
-
Bi-eigenmaps and biharmonic submanifolds in a sphere
Authors:
Ye-Lin Ou
Abstract:
In this note, we classify biharmonic submanifolds in a sphere defined by bi-eigenmaps ($Δ^2 φ=λφ$) or buckling eigenmaps ($Δ^2 φ=-μΔφ$). We then classify biharmonic bi-eigenmaps and buckling eigenmaps into spheres with constant energy density. The results can be viewed as generalizations of Takahashi's characterization of minimal submanifolds in a sphere by eigenmaps.
In this note, we classify biharmonic submanifolds in a sphere defined by bi-eigenmaps ($Δ^2 φ=λφ$) or buckling eigenmaps ($Δ^2 φ=-μΔφ$). We then classify biharmonic bi-eigenmaps and buckling eigenmaps into spheres with constant energy density. The results can be viewed as generalizations of Takahashi's characterization of minimal submanifolds in a sphere by eigenmaps.
△ Less
Submitted 16 January, 2022; v1 submitted 26 September, 2021;
originally announced September 2021.
-
Some classifications of conformal biharmonic and k-polyharmonic maps
Authors:
Ye-Lin Ou
Abstract:
We give a complete classification of local and global conformal biharmonic maps between any two space forms by proving that a conformal map between two space forms is proper biharmonic if and only if the dimension is 4, the domain is flat, and it is a restriction of a Möbius transformation.
We also show that proper k-polyharmonic conformal maps between Euclidean spaces exist if and only if the d…
▽ More
We give a complete classification of local and global conformal biharmonic maps between any two space forms by proving that a conformal map between two space forms is proper biharmonic if and only if the dimension is 4, the domain is flat, and it is a restriction of a Möbius transformation.
We also show that proper k-polyharmonic conformal maps between Euclidean spaces exist if and only if the dimension is 2k and they are precisely the restrictions of Möbius transformations. This provides infinitely many simple examples of proper k-polyharmonic maps with nice geometric structure.
△ Less
Submitted 21 July, 2021;
originally announced July 2021.
-
On the multiparameter Falconer distance problem
Authors:
Xiumin Du,
Yumeng Ou,
Ruixiang Zhang
Abstract:
We study an extension of the Falconer distance problem in the multiparameter setting. Given $\ell\geq 1$ and $\mathbb{R}^{d}=\mathbb{R}^{d_1}\times\cdots \times\mathbb{R}^{d_\ell}$, $d_i\geq 2$. For any compact set $E\subset \mathbb{R}^{d}$ with Hausdorff dimension larger than $d-\frac{\min(d_i)}{2}+\frac{1}{4}$ if $\min(d_i) $ is even, $d-\frac{\min(d_i)}{2}+\frac{1}{4}+\frac{1}{4\min(d_i)}$ if…
▽ More
We study an extension of the Falconer distance problem in the multiparameter setting. Given $\ell\geq 1$ and $\mathbb{R}^{d}=\mathbb{R}^{d_1}\times\cdots \times\mathbb{R}^{d_\ell}$, $d_i\geq 2$. For any compact set $E\subset \mathbb{R}^{d}$ with Hausdorff dimension larger than $d-\frac{\min(d_i)}{2}+\frac{1}{4}$ if $\min(d_i) $ is even, $d-\frac{\min(d_i)}{2}+\frac{1}{4}+\frac{1}{4\min(d_i)}$ if $\min(d_i) $ is odd, we prove that the multiparameter distance set of $E$ has positive $\ell$-dimensional Lebesgue measure. A key ingredient in the proof is a new multiparameter radial projection theorem for fractal measures.
△ Less
Submitted 23 February, 2022; v1 submitted 15 June, 2021;
originally announced June 2021.
-
Solution of Non-negative Least Squares Inverse Problems Using a Span of Regularized Solutions, with Application to Magnetic Resonance Relaxometry
Authors:
Chuan Bi,
Miao-jung Yvonne Ou,
Mustapha Bouhrara,
Richard G. Spencer
Abstract:
We present a fundamentally new regularization method for the solution of the Fredholm integral equation of the first kind, in which we incorporate solutions corresponding to a range of Tikhonov regularizers into the end result. This method identifies solutions within a much larger function space, spanned by this set of regularized solutions, than is available to conventional regularizaton methods.…
▽ More
We present a fundamentally new regularization method for the solution of the Fredholm integral equation of the first kind, in which we incorporate solutions corresponding to a range of Tikhonov regularizers into the end result. This method identifies solutions within a much larger function space, spanned by this set of regularized solutions, than is available to conventional regularizaton methods. Each of these solutions is regularized to a different extent. In effect, we combine the stability of solutions with greater degrees of regularization with the resolution of those that are less regularized. In contrast, current methods involve selection of a single, or in some cases several, regularization parameters that define an optimal degree of regularization. Because the identified solution is within the span of a set of differently-regularized solutions, we call this method \textit{span of regularizations}, or SpanReg. We demonstrate the performance of SpanReg through a non-negative least squares analysis employing a Gaussian basis, and demonstrate the improved recovery of bimodal Gaussian distribution functions as compared to conventional methods. We also demonstrate that this method exhibits decreased dependence of the end result on the optimality of regularization parameter selection. We further illustrate the method with an application to myelin water fraction mapping in the human brain from experimental magnetic resonance imaging relaxometry data. We expect SpanReg to be widely applicable as an effective new method for regularization of inverse problems.
△ Less
Submitted 20 January, 2022; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Integral Representation of Hydraulic Permeability
Authors:
Chuan Bi,
Miao-jung Yvonne Ou,
Shangyou Zhang
Abstract:
In this paper, we show that the permeability of a porous {material} and that of a bubbly fluid are limiting cases of the complexified version of the two-fluid models posed in {Lipton_Avellaneda_1990}. We assume the viscosity of the inclusion fluid is $zμ_1$ and the viscosity of the hosting fluid is $μ_1\in \mathbb{R}^+$, $z\in\mathbb{C}$. The proof is carried out by the construction of solutions f…
▽ More
In this paper, we show that the permeability of a porous {material} and that of a bubbly fluid are limiting cases of the complexified version of the two-fluid models posed in {Lipton_Avellaneda_1990}. We assume the viscosity of the inclusion fluid is $zμ_1$ and the viscosity of the hosting fluid is $μ_1\in \mathbb{R}^+$, $z\in\mathbb{C}$. The proof is carried out by the construction of solutions for large $|z|$ and small $|z|$ with an iteration process and the analytic continuation. Moreover, we also show that for a fixed microstructure, the permeabilities of these three cases share the same integral representation formula (IRF) in Equation (99) with different values of contrast parameter $s:=1/(z-1)$, as long as $s$ is outside the interval $[-\frac{2E_2^2}{1+2E_2^2},-\frac{1}{1+2E_1^2}]$, where the positive constants $E_1$ and $E_2$ are the extension constants that depend only on the geometry of the periodic pore space of the material.
△ Less
Submitted 13 January, 2022; v1 submitted 28 January, 2021;
originally announced January 2021.
-
An improved result for Falconer's distance set problem in even dimensions
Authors:
Xiumin Du,
Alex Iosevich,
Yumeng Ou,
Hong Wang,
Ruixiang Zhang
Abstract:
We show that if compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}$, where $d\geq 4$ is an even integer, then the distance set of $E$ has positive Lebesgue measure. This improves the previously best known result towards Falconer's distance set conjecture in even dimensions.
We show that if compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}$, where $d\geq 4$ is an even integer, then the distance set of $E$ has positive Lebesgue measure. This improves the previously best known result towards Falconer's distance set conjecture in even dimensions.
△ Less
Submitted 29 March, 2021; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Finite Point Configurations and the Regular Value Theorem in a Fractal setting
Authors:
Yumeng Ou,
Krystal Taylor
Abstract:
In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the finite point configuration set depends on that of $E$. In particular, we show that if a planar set has dimension exceeding $\frac{5}{4}$, then there exists a poi…
▽ More
In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the finite point configuration set depends on that of $E$. In particular, we show that if a planar set has dimension exceeding $\frac{5}{4}$, then there exists a point $x\in E$ so that for each integer $k\geq2$, the set of "$k$-chains" with initial point at $x$ has positive Lebesgue measure.
The second problem is a continuous analogue of the Erdős unit distance problem, which aims to determine the maximum number of times a point configuration with prescribed gaps can appear in $E$. For instance, given a triangle with prescribed sides and given a sufficiently regular planar set $E$ with Hausdorff dimension no less than $\frac{7}{4}$, we show that the dimension of the set of vertices in $E$ forming said triangle does not exceed $3\,\dim_{\mathcal{H}} (E)-3$. In addition to the Euclidean norm, we consider more general distances given by functions satisfying the so-called Phong-Stein rotational curvature condition. We also explore a number of examples to demonstrate the extent to which our results are sharp.
△ Less
Submitted 29 September, 2020; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Low Mach and low Froude number limit for vacuum free boundary problem of all-time classical solutions of 1-D compressible Navier-Stokes equations
Authors:
Yaobin Ou
Abstract:
In this paper, we study the low Mach and Froude number limit for the all-time classical solution of a fluid-vacuum free boundary problem of one-dimensional compressible Navier-Stokes equations. No smallness of initial data for the existence of all-time solutions are supposed. The uniform estimates of solutions with respect to the Mach number and the Froude number are established for all the time,…
▽ More
In this paper, we study the low Mach and Froude number limit for the all-time classical solution of a fluid-vacuum free boundary problem of one-dimensional compressible Navier-Stokes equations. No smallness of initial data for the existence of all-time solutions are supposed. The uniform estimates of solutions with respect to the Mach number and the Froude number are established for all the time, in particular for high order derivatives of the pressure, which is a novelty in contrast to previous results. The cases of "ill-prepared" initial data and "well-prepared" initial data are both discussed. It is interesting to see, either both the Mach number and the Froude number vanish, or the time goes to infinity, the limiting functions are the same, that is, the steady state. The main difficulty is that, the system is degenerate near the free boundary and contains singular terms. This result can be viewed as the first one on the low Mach and Froude numbers limit for free boundary problems. At the same time, we also establish the all-time existence of the classical solution with sharp convergent rates to the steady state, while previous results are only concerned with the weak or strong solutions.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Stability and the index of biharmonic hypersurfaces in a Riemannian manifold
Authors:
Ye-Lin Ou
Abstract:
In this paper, we give an explicit second variation formula for a biharmonic hypersurface in a Riamannian manifold similar to that of a minimal hypersurface. We then use the second variation formula to compute the stability index of the known biharmonic hypersurfaces in a Euclidean sphere, and to prove the non-existence of unstable proper biharmonic hypersurface in a Euclidean space or a hyperboli…
▽ More
In this paper, we give an explicit second variation formula for a biharmonic hypersurface in a Riamannian manifold similar to that of a minimal hypersurface. We then use the second variation formula to compute the stability index of the known biharmonic hypersurfaces in a Euclidean sphere, and to prove the non-existence of unstable proper biharmonic hypersurface in a Euclidean space or a hyperbolic space, which adds another special case to support Chen's conjecture on biharmonic submanifolds.
△ Less
Submitted 10 February, 2020;
originally announced February 2020.
-
2D-Defocusing Nonlinear Schrödinger Equation with Random Data on Irrational Tori
Authors:
Chenjie Fan,
Yumeng Ou,
Gigliola Staffilani,
Hong Wang
Abstract:
We revisit the work of Bourgain on the invariance of the Gibbs measure for the cubic, defocusing nonlinear Schrödinger equation in 2D on a square torus, and we prove the equivalent result on any tori.
We revisit the work of Bourgain on the invariance of the Gibbs measure for the cubic, defocusing nonlinear Schrödinger equation in 2D on a square torus, and we prove the equivalent result on any tori.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
A note on equivariant biharmonic maps and stable biharmonic maps
Authors:
Ye-Lin Ou
Abstract:
In this note, we generalize biharmonic equation for rotationally symmetric maps ([4], [16], [10]) to equivariant maps between model spaces and use it to give a complete classification of rotationally symmetric conformal biharmonic maps from a $4$-dimensional space form into a $4$-dimensional model space. We also give an improved second variation formula for biharmonic maps into a space form and us…
▽ More
In this note, we generalize biharmonic equation for rotationally symmetric maps ([4], [16], [10]) to equivariant maps between model spaces and use it to give a complete classification of rotationally symmetric conformal biharmonic maps from a $4$-dimensional space form into a $4$-dimensional model space. We also give an improved second variation formula for biharmonic maps into a space form and use it to prove that there exists no stable proper biharmonic maps with constant square norm of tension field from a compact Riemannian manifold without boundary into a space form of positive sectional curvature.
△ Less
Submitted 6 October, 2019;
originally announced October 2019.
-
An Index Theory for Collision, Parabolic and Hyperbolic Solutions of the Newtonian $n$-body Problem
Authors:
Xijun Hu,
Yuwei Ou,
Guowei Yu
Abstract:
In the Newtonian $n$-body problem for solutions with arbitrary energy, which start and end either at a total collision or a parabolic/hyperbolic infinity, we prove some basic results about their Morse and Maslov indices. Moreover for homothetic solutions with arbitrary energy, we give a simple and precise formula that relates the Morse indices of these homothetic solutions to the spectra of the no…
▽ More
In the Newtonian $n$-body problem for solutions with arbitrary energy, which start and end either at a total collision or a parabolic/hyperbolic infinity, we prove some basic results about their Morse and Maslov indices. Moreover for homothetic solutions with arbitrary energy, we give a simple and precise formula that relates the Morse indices of these homothetic solutions to the spectra of the normalized potential at the corresponding central configurations. Potentially these results could be useful in the application of non-action minimization methods in the Newtonian $n$-body problem.
△ Less
Submitted 28 January, 2021; v1 submitted 5 October, 2019;
originally announced October 2019.
-
Some recent work on biharmonic conformal maps
Authors:
Ye-Lin Ou
Abstract:
This note reviews some of the recent work on biharmonic conformal maps (see \cite{OC}, Chapter 11, for a detailed survey). It will be focused on biharmonic conformal immersions and biharmonic conformal maps between manifolds of the same dimension and their links to isoparametric functions and Yamabe type equations, though biharmonic morphisms (maps that preserve solutions of bi-Laplace equations),…
▽ More
This note reviews some of the recent work on biharmonic conformal maps (see \cite{OC}, Chapter 11, for a detailed survey). It will be focused on biharmonic conformal immersions and biharmonic conformal maps between manifolds of the same dimension and their links to isoparametric functions and Yamabe type equations, though biharmonic morphisms (maps that preserve solutions of bi-Laplace equations), generalized harmonic morphisms (maps that pull back germs of harmonic functions to germs of biharmonic functions), and biharmonic conformal and Riemannian submersions will also be touched.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
Biharmonic hypersurfaces in a product space $L^m\times \mathbb{R}$
Authors:
Yu Fu,
Shun Maeta,
Ye-Lin Ou
Abstract:
In this paper, we study biharmonic hypersurfaces in a product of an Einstein space and a real line. We prove that a biharmonic hypersurface with constant mean curvature in such a product is either minimal or a vertical cylinder generalizing a result of \cite{OW} and \cite{FOR}. We derived the biharmonic equation for hypersurfaces in $S^m\times \mathbb{R}$ and $H^m\times \mathbb{R}$ in terms of the…
▽ More
In this paper, we study biharmonic hypersurfaces in a product of an Einstein space and a real line. We prove that a biharmonic hypersurface with constant mean curvature in such a product is either minimal or a vertical cylinder generalizing a result of \cite{OW} and \cite{FOR}. We derived the biharmonic equation for hypersurfaces in $S^m\times \mathbb{R}$ and $H^m\times \mathbb{R}$ in terms of the angle function of the hypersurface, and use it to obtain some classifications of biharmonic hypersurfaces in such spaces. These include classifications of biharmonic hypersurfaces which are totally umbilical or semi-parallel for $m\ge 3$, and some classifications of biharmonic surfaces in $S^2\times \mathbb{R}$ and $H^2\times \mathbb{R}$ which are constant angle or belong to certain classes of rotation surfaces.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Weighted Estimates of Singular Integrals and Commutators in the Zygmund Dilation Setting
Authors:
Xuan Thinh Duong,
Ji Li,
Yumeng Ou,
Jill Pipher,
Brett D. Wick
Abstract:
The main purpose of this paper is to establish weighted estimates for singular integrals associated with Zygmund dilations via a discrete Littlewood--Paley theory, and then apply it to obtain the upper bound of the norm of commutators of such singular integrals with a function in the little bmo space associated with Zygmund dilations. Examples of such singular integrals associated with Zygmund dil…
▽ More
The main purpose of this paper is to establish weighted estimates for singular integrals associated with Zygmund dilations via a discrete Littlewood--Paley theory, and then apply it to obtain the upper bound of the norm of commutators of such singular integrals with a function in the little bmo space associated with Zygmund dilations. Examples of such singular integrals associated with Zygmund dilations include a class of singular integrals studied by Ricci--Stein and Fefferman--Pipher, as well as a singular integral along a particular surface studied by Nagel--Wainger. We show that the lower bound of the norm of this commutator is not true for any singular integral in the class considered in Ricci--Stein and Fefferman--Pipher, but does in fact hold for the specific singular integral studied in Nagel--Wainger. In particular this implies that the family of singular integrals studied in these papers is not sufficiently general to contain the operator of Nagel--Wainger, which we show is of significance in this theory.
△ Less
Submitted 26 November, 2024; v1 submitted 2 May, 2019;
originally announced May 2019.
-
Linear stability of the elliptic relative equilibrium with $(1 +n)$-gon central configurations in planar $n$-body problem
Authors:
Xijun Hu,
Yiming Long,
Yuwei Ou
Abstract:
We study the linear stability of $(1+n)$-gon elliptic relative equilibrium (ERE for short), that is the Kepler homographic solution with the $(1+n)$-gon central configurations. We show that for $n\geq 8$ and any eccentricity $e\in[0,1)$, the $(1+n)$-gon ERE is stable when the central mass $m$ is large enough. Some linear instability results are given when $m$ is small.
We study the linear stability of $(1+n)$-gon elliptic relative equilibrium (ERE for short), that is the Kepler homographic solution with the $(1+n)$-gon central configurations. We show that for $n\geq 8$ and any eccentricity $e\in[0,1)$, the $(1+n)$-gon ERE is stable when the central mass $m$ is large enough. Some linear instability results are given when $m$ is small.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
Sparse domination and the strong maximal function
Authors:
Alex Barron,
Jose M. Conde-Alonso,
Yumeng Ou,
Guillermo Rey
Abstract:
We study the problem of dominating the dyadic strong maximal function by $(1, 1)$-type sparse forms based on rectangles with sides parallel to the axes, and show that such domination is impossible. Our proof relies on an explicit construction of a pair of maximally separated point sets with respect to an appropriately defined notion of distance
We study the problem of dominating the dyadic strong maximal function by $(1, 1)$-type sparse forms based on rectangles with sides parallel to the axes, and show that such domination is impossible. Our proof relies on an explicit construction of a pair of maximally separated point sets with respect to an appropriately defined notion of distance
△ Less
Submitted 3 November, 2018;
originally announced November 2018.
-
On Falconer's distance set problem in the plane
Authors:
Larry Guth,
Alex Iosevich,
Yumeng Ou,
Hong Wang
Abstract:
If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.
If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
Some remarks on bi-f-harmonic maps and f-biharmonic maps
Authors:
Yong Luo,
Ye-Lin Ou
Abstract:
In this paper, we prove that the class of bi-f-harmonic maps and that of f-biharmonic maps from a conformal manifold of dimension not equal to 2 are the same (Theorem 1.1). We also give several results on nonexistence of proper bi-f-harmonic maps and f-biharmonic maps from complete Riemannian manifolds into nonpositively curved Riemannian manifolds. These include: any bi-f-harmonic map from a comp…
▽ More
In this paper, we prove that the class of bi-f-harmonic maps and that of f-biharmonic maps from a conformal manifold of dimension not equal to 2 are the same (Theorem 1.1). We also give several results on nonexistence of proper bi-f-harmonic maps and f-biharmonic maps from complete Riemannian manifolds into nonpositively curved Riemannian manifolds. These include: any bi-f-harmonic map from a compact manifold into a non-positively curved manifold is f-harmonic (Theorem 1.6), and any f-biharmonic (respectively, bi-f-harmonic) map with bounded f and bounded f-bienrgy (respectively, bi-f-energy) from a complete Riemannian manifold into a manifold of strictly negative curvature has rank < 2 everywhere (Theorems 2.2 and 2.3).
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Endpoint sparse bounds for Walsh-Fourier multipliers of Marcinkiewicz type
Authors:
Wei Chen,
Amalia Culiuc,
Francesco Di Plinio,
Michael Lacey,
Yumeng Ou
Abstract:
We prove endpoint-type sparse bounds for Walsh-Fourier Marcinkiewicz multipliers and Littlewood-Paley square functions. These results are motivated by conjectures of Lerner in the Fourier setting. As a corollary, we obtain novel quantitative weighted norm inequalities for these operators. Among these, we establish the sharp growth rate of the $L^p$ weighted operator norm in terms of the $A_p$ char…
▽ More
We prove endpoint-type sparse bounds for Walsh-Fourier Marcinkiewicz multipliers and Littlewood-Paley square functions. These results are motivated by conjectures of Lerner in the Fourier setting. As a corollary, we obtain novel quantitative weighted norm inequalities for these operators. Among these, we establish the sharp growth rate of the $L^p$ weighted operator norm in terms of the $A_p$ characteristic in the full range $1<p<\infty$ for Walsh-Littlewood-Paley square functions, and a restricted range for Marcinkiewicz multipliers. Zygmund's $L{(\log L)^{\frac12}}$ inequality is the core of our lacunary multi-frequency projection proof. We use the Walsh setting to avoid extra complications in the arguments.
△ Less
Submitted 26 May, 2019; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Biharmonic Riemannian submersions
Authors:
Mehmet Akif Akyol,
Ye-Lin Ou
Abstract:
In this paper, we study biharmonic Riemannian submersions. We first derive bitension field of a general Riemannian submersion, we then use it to obtain biharmonic equations for Riemannian submersions with $1$-dimensional fibers and Riemannian submersions with basic mean curvature vector fields of fibers. These are used to construct examples of proper biharmonic Riemannian submersions with $1$-dime…
▽ More
In this paper, we study biharmonic Riemannian submersions. We first derive bitension field of a general Riemannian submersion, we then use it to obtain biharmonic equations for Riemannian submersions with $1$-dimensional fibers and Riemannian submersions with basic mean curvature vector fields of fibers. These are used to construct examples of proper biharmonic Riemannian submersions with $1$-dimensional fibers and to characterize warped products whose projections onto the first factor are biharmonic Riemannian submersions.
△ Less
Submitted 12 May, 2018;
originally announced May 2018.
-
On the augmented Biot-JKD equations with Pole-Residue representation of the dynamic tortuosity
Authors:
Miao-Jung Yvonne Ou,
Hugo J. Woerdeman
Abstract:
In this paper, we derive the augmented Biot-JKD equations, where the memory terms in the original Biot-JKD equations are dealt with by introducing auxiliary dependent variables. The evolution in time of these new variables are governed by ordinary differential equations whose coefficients can be rigorously computed from the JKD dynamic tortuosity function $T^D(ω)$ by utilizing its Stieltjes functi…
▽ More
In this paper, we derive the augmented Biot-JKD equations, where the memory terms in the original Biot-JKD equations are dealt with by introducing auxiliary dependent variables. The evolution in time of these new variables are governed by ordinary differential equations whose coefficients can be rigorously computed from the JKD dynamic tortuosity function $T^D(ω)$ by utilizing its Stieltjes function representation derived in \cite{ou2014on-reconstructi}, where an algorithm for computing the pole-residue representation of the JKD tortuosity is also proposed. The two numerical schemes presented in the current work for computing the poles and residues representation of $T^D(ω)$ improve the previous scheme in the sense that they interpolate the function at infinite frequency and have much higher accuracy than the one proposed in \cite{ou2014on-reconstructi}.
△ Less
Submitted 26 July, 2019; v1 submitted 27 April, 2018;
originally announced May 2018.
-
Weighted restriction estimates and application to Falconer distance set problem
Authors:
Xiumin Du,
Larry Guth,
Yumeng Ou,
Hong Wang,
Bobby Wilson,
Ruixiang Zhang
Abstract:
We prove some weighted Fourier restriction estimates using polynomial partitioning and refined Strichartz estimates. As application we obtain improved spherical average decay rates of the Fourier transform of fractal measures, and therefore improve the results for the Falconer distance set conjecture in three and higher dimensions.
We prove some weighted Fourier restriction estimates using polynomial partitioning and refined Strichartz estimates. As application we obtain improved spherical average decay rates of the Fourier transform of fractal measures, and therefore improve the results for the Falconer distance set conjecture in three and higher dimensions.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Commutators of multi-parameter flag singular integrals and applications
Authors:
Xuan Thinh Duong,
Ji Li,
Yumeng Ou,
Jill Pipher,
Brett D. Wick
Abstract:
We introduce the iterated commutator for the Riesz transforms in the multi-parameter flag setting, and prove the upper bound of this commutator with respect to the symbol $b$ in the flag BMO space. Our methods require the techniques of semigroups, harmonic functions and multi-parameter flag Littlewood-Paley analysis. We also introduce the big commutator in this multi-parameter flag setting and pro…
▽ More
We introduce the iterated commutator for the Riesz transforms in the multi-parameter flag setting, and prove the upper bound of this commutator with respect to the symbol $b$ in the flag BMO space. Our methods require the techniques of semigroups, harmonic functions and multi-parameter flag Littlewood-Paley analysis. We also introduce the big commutator in this multi-parameter flag setting and prove the upper bound with symbol $b$ in the flag little-bmo space by establishing the "exponential-logarithmic" bridge between this flag little bmo space and the Muckenhoupt $A_p$ weights with flag structure. As an application, we establish the div-curl lemmas with respect to the appropriate Hardy spaces in the multi-parameter flag setting.
△ Less
Submitted 18 September, 2018; v1 submitted 12 February, 2018;
originally announced February 2018.
-
Generalized harmonic morphisms and horizontally weakly conformal biharmonic maps
Authors:
Elsa Ghandour,
Ye-Lin Ou
Abstract:
Harmonic morphisms are maps between Riemannian manifolds that pull back harmonic functions to harmonic functions. These maps are characterized as horizontally weakly conformal harmonic maps and they have many interesting links and applications to several areas in mathematics (see the book by Baird and Wood for details). In this paper, we study generalized harmonic morphisms which are defined to be…
▽ More
Harmonic morphisms are maps between Riemannian manifolds that pull back harmonic functions to harmonic functions. These maps are characterized as horizontally weakly conformal harmonic maps and they have many interesting links and applications to several areas in mathematics (see the book by Baird and Wood for details). In this paper, we study generalized harmonic morphisms which are defined to be maps between Riemannian manifolds that pull back harmonic functions to biharmonic functions. We obtain some characterizations of generalized harmonic morphisms into a Euclidean space and give two methods of constructions that can be used to produce many examples of generalized harmonic morphisms which are not harmonic morphisms. We also give a complete classification of generalized harmonic morphisms among the projections of a warped product space, which provides infinitely many examples of proper biharmonic Riemannian submersions and conformal submersions from a warped product manifold.
△ Less
Submitted 10 December, 2017;
originally announced December 2017.
