SearcharxivSearch

arXiv subjects

Meirong Zhang

Publications and source records attributed to Meirong Zhang.

18 recordsLinked to original sources

A dynamical system framework yielding quantitative inverse spectral results for Sturm-Liouville operators

This paper establishes a dynamical-system framework that yields quantitative results for the inverse optimal spectral problem of reconstructing a potential $\hat{q}$ from finite observed eigenvalues to achieve an optimal approximation of the target potential $q_0$. Previous efforts relying on convex analysis have been confined solely to {\em qualitative} analysis due to the inherent limitations of convex-analytic techniques for inverse problems, while the {\bf quantitative} counterpart has remained an open problem. Based on our dynamical-system framework, we provide a quantitative characterization of the relationship between the reconstructed potential $\hat{q}$, its target potential $q_0$, and the observed eigenvalue $\lambda_*$. In particular, for ${q} \in \mathcal{L}^2$, our framework yields a substantially stronger conclusion. Remarkably, our dynamical-system framework secures the uniqueness of $\hat{q}$ over the full parameter space $(\lambda_*, q_0)$, liberating the theory from the prevailing constraint $\lambda_* > \lambda_1(q_0)$ (where $\lambda_*$ is the observed eigenvalue and $\lambda_1$ is the principle eigenvalue). This stands in sharp contrast to classical approaches, which rely heavily on convex-set analysis and are inherently confined by its stringent assumptions. An additional finding is the construction of a homeomorphic mapping that reveals the dilation relation between the errors $\|\hat{q} - q_0\|_{\mathcal L^p}$ associated with the $m$-th eigenvalue and the principal eigenvalue. A summary of the main results, along with practical applications in structural health monitoring and damage detection, material design, seismic wave analysis, sonar detection, and related fields, concludes this work.

math.CA

Characterization of Maximizers for Sums of the First Two Eigenvalues of Sturm-Liouville Operators

In this paper we study the maximization of the sum of the first two Dirichlet eigenvalues for Sturm-Liouville operators with potentials in the noncompact space $L^1$. We prove that there exists a unique potential function achieving the maximum, which is non-negative, piecewise smooth, and symmetric. Using measure differential equations and weak$^*$ convergence, we show that the nonzero part of the maximizer can be determined by the solution to the pendulum equation $θ'' + \ell \sinθ= 0 $.

math.DS

Explicit sharp bounds for all nodes of Sturm-Liouville operators with potentials in $L^1$ balls

For the classical Sturm-Liouville operators, we prove the sharp bounds for all nodes of eigenfunctions by regarding these nodes as nonlinear functionals of potential $q\in L^1[0,1]$. By studying the optimization problems to minimize or to maximize the nodes $\{ T_{i,m}\}$ subject to the constraint $\|q\|_{1}=r$ with $r>0$ and using the strong continuity of the nodes in potentials, we obtain the explicit expressions for the sharp bounds, which are given as elementary functions.

math.SP

Rotation Numbers and Geometric Invariants in Bicycle Dynamics

We study planar bicycle dynamics via the rotation number function associated with a closed front track and bicycle length R. We prove that mode-locking plateaus occur only at integer rotation numbers and that the rotation number function is real-analytic off resonance. From the rotation number function we introduce two new geometric invariants: the critical B-length (right end of the first plateau) and the turning B-length (left end of the maximal monotone interval). We prove that, for a star-shaped curve, these invariants coincide, yielding a sharp transition of the bicycle monodromy: hyperbolic for R below the critical B-length and elliptic for R above it. The proofs combine projectivized SU(1,1) dynamics with Riccati equations and rotation-number theory.

math.DS

Non-integrability of the Critical Systems for Optimal Sums of Eigenvalues of Sturm-Liouville Operators

The optimal lower or upper bounds for sums of the first $m$ eigenvalues of Sturm-Liouville operators can be obtained by solving the corresponding critical systems, which are Hamiltonian systems of $m$ degrees of freedom with $m$ parameters. With the help of the differential Galois theory, we prove that these critical systems are not meromorphic integrable except for two known completely integrable cases. The non-integrability of the critical systems reveal certain complexities for the original eigenvalues problems.

math.DS

A novel and application-oriented inverse nodal problem for Sturm-Liouville operators

This paper develops a methodological framework for addressing a novel and application-oriented inverse nodal problem in Sturm-Liouville operators, having significant applications in seismic wave analysis and submarine underwater radar (sonar) detection. By utilizing a given finite set of nodal data, we propose an optimization framework to find the potential $\hat q$ that is most closely approximating a predefined target potential $q_0$. The inverse nodal optimization problem is reformulated as a solvability problem for a class of nonlinear Schrödinger equations, enabling systematic investigation of the inverse nodal problem. {As an example, when the constant target potential $q_0$ is considered, we find that the Schrödinger equations are completely integrable and conclude that the potential $\hat q$ is `periodic' in a certain sense. Furthermore, the reconstruction of $\hat q$ is reduced to solving a system of three featured parameters, thereby establishing an explicit quantitative relationship between $\|\hat q\|_{Lp}$ and $T_*$. Of importance, we prove the uniqueness of the potential $\hat q$ when $p>3/2$. These new findings represent a substantial advancement in this field of study. Our methodology also bridges theoretical rigor with practical applicability, addressing scenarios where only partial nodal information is available.

math.CA

Asymptotic stability of the spectra of generalized indefinite strings

This paper focuses on the asymptotic stability of the spectra of generalized indefinite strings (GISs). A unitarily equivalent linear relation is introduced for GISs. It is shown that the solutions of the corresponding differential equations are continuously dependent on distributions and measures under certain conditions. Using these results, the convergence of unitarily equivalent linear relations for GISs is discussed. By the perturbation theory to closed linear relations, an asymptotic stability result concerning the spectra of linear relations for GISs is obtained.

math.FA

The rotation number for almost periodic potentials with jump discontinuities and $δ$-interactions

We consider one-dimensional Schrödinger operators with generalized almost periodic potentials with jump discontinuities and $δ$-interactions. For operators of this kind we introduce a rotation number in the spirit of Johnson and Moser. To do this, we introduce the concept of almost periodicity at a rather general level, and then the almost periodic function with jump discontinuities and $δ$-interactions as an application.

math.DS

Scalable Exact Output Synchronization of Discrete-Time Multi-Agent Systems in the Presence of Disturbances and Measurement Noise With Known Frequencies

This paper aims to achieve scalable exact output and regulated output synchronization for discrete-time multi-agent systems in presence of disturbances and measurement noise with known frequencies. Both homogeneous and heterogeneous multi-agent systems are considered, with parts of agents' states accessible in the latter case. The key contribution of this paper is on the distributed protocol that only uses the information of agent models, rather than the communication network information and the agent number, so as to achieve the scalable exact synchronization under disturbances and measurement noise. The validity of the protocol is verified by numerical simulations with arbitrarily chosen number of agents.

eess.SY

On the Meromorphic Integrability of the Critical Systems for Optimal Sums of Eigenvalues

The popularity of estimation to bounds for sums of eigenvalues started from P. Li and S. T. Yau for the study of the Pólya conjecture. This subject is extended to different types of differential operators. This paper explores for the sums of the first $m$ eigenvalues of Sturm-Liouville operators from two aspects. Firstly, by the complete continuity of eigenvalues, we propose a family of critical systems consisting of nonlinear ordinary differential equations, indexed by the exponent $p\in(1,\infty)$ of the Lebesgue spaces concerned. There have profound relations between the solvability of these systems and the optimal lower or upper bounds for the sums of the first $m$ eigenvalues of Sturm-Liouville operators, which provides a novel idea to study the optimal bounds. Secondly, we investigate the integrability or solvability of the critical systems. With suitable selection of exponents $p$, the critical systems are equivalent to the polynomial Hamiltonian systems of $m$ degrees of freedom. Using the differential Galois theory, we perform a complete classification for meromorphic integrability of these polynomial critical systems. As a by-product of this classification, it gives a positive answer to the conjecture raised by Tian, Wei and Zhang [J. Math. Phys. 64, 092701 (2023)] on the critical systems for optimal eigenvalue gaps. The numerical simulations of the Poincaré cross sections show that the critical systems for sums of eigenvalues can appear complex dynamical phenomena, such as periodic trajectories, quasi-periodic trajectories and chaos.

math.DS

On Planar Shadowing Curves to Closed Escaping Curves

We introduce a new dynamical system model called the shadowing problem, where a shadower chases after an escaper by always staring at and keeping the distance from him. When the escaper runs along a planar closed curve, we associate to the reduced shadowing equations the rotation number, and show that it depends only on the geometry of the escaping curve. Two notions called the critical shadowing distance and turning shadowing distance are introduced to characterize different dynamical behaviors. We show that a planar closed escaping curve could have shadowing curves of different types including periodic, subharmonic and ergodic ones, depending on the shadowing distance. Singularities of cusp type are found when the shadowing distance is large. Shadowing curves to an escaping circle are examined in details analytically and numerically. Finally, we conjecture that the critical shadowing distance and turning shadowing distance are coincident for typical escaping curves.

math.DS

On the Structure of Periodic Eigenvalues of the Vectorial $p$-Laplacian

In this paper we will solve an open problem raised by Manásevich and Mawhin twenty years ago on the structure of the periodic eigenvalues of the vectorial $p$-Laplacian. This is an Euler-Lagrangian equation on the plane or in higher dimensional Euclidean spaces. The main result obtained is that for any exponent $p$ other than $2$, the vectorial $p$-Laplacian on the plane will admit infinitely many different sequences of periodic eigenvalues with a given period. These sequences of eigenvalues are constructed using the notion of scaling momenta we will introduce. The whole proof is based on the complete integrability of the equivalent Hamiltonian system, the tricky reduction to $2$-dimensional dynamical systems, and a number-theoretical distinguishing between different sequences of eigenvalues. Some numerical simulations to the new sequences of eigenvalues and eigenfunctions will be given. Several further conjectures towards to the panorama of the spectral sets will be imposed.

math.DS

Three-fold Weyl points in the Schrödinger operator with periodic potentials

Weyl points are degenerate points on the spectral bands at which energy bands intersect conically. They are the origins of many novel physical phenomena and have attracted much attention recently. In this paper, we investigate the existence of such points in the spectrum of the 3-dimensional Schrödinger operator $H = - Δ+V(\textbf{x})$ with $V(\textbf{x})$ being in a large class of periodic potentials. Specifically, we give very general conditions on the potentials which ensure the existence of 3-fold Weyl points on the associated energy bands. Different from 2-dimensional honeycomb structures which possess Dirac points where two adjacent band surfaces touch each other conically, the 3-fold Weyl points are conically intersection points of two energy bands with an extra band sandwiched in between. To ensure the 3-fold and 3-dimensional conical structures, more delicate, new symmetries are required. As a consequence, new techniques combining more symmetries are used to justify the existence of such conical points under the conditions proposed. This paper provides comprehensive proof of such 3-fold Weyl points. In particular, the role of each symmetry endowed to the potential is carefully analyzed. Our proof extends the analysis on the conical spectral points to a higher dimension and higher multiplicities. We also provide some numerical simulations on typical potentials to demonstrate our analysis.

math-ph

Quantum (dual) Grassmann superalgebra as $\mathcal U_q(\mathfrak{gl}(m|n))$-module algebra and beyond

We introduce and define the quantum affine $(m|n)$-superspace (or say quantum Manin superspace) $A_q^{m|n}$ and its dual object, the quantum Grassmann superalgebra $Ω_q(m|n)$. Correspondingly, a quantum Weyl algebra $\mathcal W_q(2(m|n))$ of $(m|n)$-type is introduced as the quantum differential operators (QDO for short) algebra $\textrm{Diff}_q(Ω_q)$ defined over $Ω_q(m|n)$, which is a smash product of the quantum differential Hopf algebra $\mathfrak D_q(m|n)$ (isomorphic to the bosonization of the quantum Manin superspace) and the quantum Grassmann superalgebra $Ω_q(m|n)$. An interested point of this approach here is that even though $\mathcal W_q(2(m|n))$ itself is in general no longer a Hopf algebra, so are some interesting sub-quotients existed inside. This point of view gives us one of main expected results, that is, the quantum (restricted) Grassmann superalgebra $Ω_q$ is made into the $\mathcal U_q(\mathfrak g)$-module (super)algebra structure,$Ω_q=Ω_q(m|n)$ for $q$ generic, or $Ω_q(m|n, \bold 1)$ for $q$ root of unity, and $\mathfrak g=\mathfrak{gl}(m|n)$ or $\mathfrak {sl}(m|n)$, the general or special linear Lie superalgebra. This QDO approach provides us with explicit realization models for some simple $\mathcal U_q(\mathfrak g)$-modules, together with the concrete information on their dimensions. Similar results hold for the quantum dual Grassmann superalgebra $Ω_q^!$ as $\mathcal U_q(\mathfrak g)$-module algebra.In the paper some examples of pointed Hopf algebras can arise from the QDOs, whose idea is an expansion of the spirit noted by Manin in \cite{Ma}, \& \cite{Ma1}.

math.QA

On the Stability of Symmetric Periodic Orbits of the Elliptic Sitnikov Problem

Motivated by the recent works on the stability of symmetric periodic orbits of the elliptic Sitnikov problem, for time-periodic Newtonian equations with symmetries, we will study symmetric periodic solutions which are emanated from nonconstant periodic solutions of autonomous equations. By using the theory of Hill's equations, we will first deduce in this paper a criterion for the linearized stability and instability of periodic solutions which are odd in time. Such a criterion is complementary to that for periodic solutions which are even in time, obtained recently by the present authors. Applying these criteria to the elliptic Sitnikov problem, we will prove in an analytical way that the odd $(2p,p)$-periodic solutions of the elliptic Sitnikov problem are hyperbolic and therefore are Lyapunov unstable when the eccentricity is small, while the corresponding even $(2p,p)$-periodic solutions are elliptic and linearized stable. These are the first analytical results on the stability of nonconstant periodic orbits of the elliptic Sitnikov problem.

math.DS

On the Second-order Frechet Derivatives of Eigenvalues of Sturm-Liouville Problems in Potentials

The works of V. A. Vinokurov have shown that eigenvalues and normalized eigenfunctions of Sturm-Liouville problems are analytic in potentials, considered as mappings from the Lebesgue space to the space of real numbers and the Banach space of continuous functions respectively. Moreover, the first-order Frechet derivatives are known and paly an important role in many problems. In this paper, we will find the second-order Frechet derivatives of eigenvalues in potentials, which are also proved to be negative definite quadratic forms for some cases.

math.SP

Limit cycles by perturbing quadratic isochronous centers inside piecewise smooth polynomial differential systems

In the present paper, we study the number of zeros of the first order Melnikov function for piecewise smooth polynomial differential system, to estimate the number of limit cycles bifurcated from the period annulus of quadratic isochronous centers, when they are perturbed inside the class of all piecewise smooth polynomial differential systems of degree $n$ with the straight line of discontinuity $x=0$. An explicit and fairly accurate upper bound for the number of zeros of the first order Melnikov functions with respect to quadratic isochronous centers $S_1, S_2$ and $S_3$ is provided. For quadratic isochronous center $S_4$, we give a rough estimate for the number of zeros of the first order Melnikov function due to its complexity. Furthermore, we improve the upper bound associated with $S_4$, from $14n+11$ in \cite{LLLZ}, $12n-1$ in \cite{SZ} to $[(5n-5)/2]$, when it is perturbed inside all smooth polynomial differential systems of degree $n$. Besides, some evidence on the equivalence of the first order Melnikov function and the first order Averaged function for piecewise smooth polynomial differential systems is found.

math.CA

Existence of positive solutions for nonlinear systems

This paper deals with the existence of positive solutions for the nonlinear system q(t)ϕ(p(t)u'_{i}(t)))'+f^{i}(t,\textbf{u})=0,\quad 0<t<1,\quad i=1,2,...,n. This system often arises in the study of positive radial solutions of nonlinear elliptic system. Here $\textbf{u}=(u_{1},...,u_{n})$ and $f^{i}, i=1,2,...,n$ are continuous and nonnegative functions, $p(t), q(t)\hbox{\rm :} [0,1]\to (0,\oo)$ are continuous functions. Moreover, we characterize the eigenvalue intervals for (q(t)ϕ(p(t)u'_{i}(t)))'+λh_{i}(t)g^{i} (\textbf{u})=0, \quad 0<t<1,\quad i=1,2,...,n. The proof is based on a well-known fixed point theorem in cones.

math.AP