SearcharxivSearch

arXiv subjects

Yonghui Xia

Publications and source records attributed to Yonghui Xia.

At least 19 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

Differentiable normal linearization of partially hyperbolic dynamical systems

A result on $C^0$ linearization which is differentiable at the hyperbolic fixed point is known. In this paper, we further investigate a partially hyperbolic diffeomorphism $F$ to find a local $C^0$ conjugacy, which is $C^1$ on the center manifold, to linearize the hyperbolic component (normal to the center direction) and obtain its Takens' normal form. Our result is optimal, as it needs no non-resonant condition usually required for smooth conjugacy (e.g., as in the Takens' theorem) and the $C^{1,\alpha}$ $(\alpha>0)$ smoothness condition is sharp. For the proof, the center direction obstructs the decoupling of $F$ as the stable and unstable foliations do not intersect. We overcome this difficulty via a semi-decoupling method only with the unstable foliation, where a modified Lyapunov-Perron equation needs to be established along the center direction. Subsequent issues of cocycle reduction and differentiable linearization for an expansive fiber-preserving mapping are then addressed by the Whitney's extension theory and a lifting technique, respectively. In the local context, our result improves the result of $C^0$ normal linearization by [C. Pugh and M. Shub, Invent. Math., 10 (1970): 187-198] to a differentiable one.

math.DS

Chaos, the Critical Phenomenon in Phase Space: Feigenbaum Constants and Critical Exponents

Chaos in both dissipative systems and conservative systems is investigated on the approach of renormalization group. It is found that the chaos is regarded as the critical phenomenon of equilibrium statistics in phase space. The two Feigenbaum constants in the period-doubling bifurcation systems correspond to two independent critical exponents, which are universal and can be adopted to distinguish the classes of chaos. For the conservative systems, due to the critical nature of the chaos, the isolated systems with different parameters are correlated in the phase space, and therefore the isolated system is no longer isolated in the phase space. The information of conservative systems is irreversibly lost over time, which leads to the increase entropy in an isolated system, and the contradiction between the second law of thermodynamics and the reversibility of isolated systems can be resolved.

nlin.CD

Pugh's global linearization for the nonautonomous unbounded system with $\mu$-dichotomy via Lyapunov theory

The classical global linearization theorem for autonomous system given in [C. Pugh, Amer. J. Math., 91 (1969) 363-367] requires that nonlinear system with hyperbolicity satisfies boundedness and Lipschitz continuity.In this paper, we establish an {\em unbounded} global linearization theorem for nonautonomous systems subject to unbounded Lipschitz perturbations, under the assumption that the linear system admits a nonuniform $\mu$-dichotomy (more general than classical exponential dichotomy). To this end, we first develop a comprehensive Lyapunov function framework for systems exhibiting nonuniform $\mu$-dichotomy. Subsequently, we establish a characterization of nonuniform $\mu$-dichotomy in terms of strict quadratic Lyapunov functions. Building upon these theoretical foundations, we then employ these Lyapunov functions to derive a linearization result under the nonuniform $\mu$-dichotomy assumption. In the proof, we give a splitting lemma for nonuniform $\mu$-dichotomy to decouple hyperbolic system into a contractive system and an expansive system. Then we construct a transformation to linearize contractive/expansive system, which is defined by the crossing time with respect to the unit sphere.

math.DS

Stable invariant manifold for generalized ODEs with applications to measure differential equations

This paper establishes the stable invariant manifold for a new kind of differential equations defined by Kurzweil integral, so-called {\em generalized ODEs} on a Banach space. The nonlinear generalized ODEs are formulated as $$ \frac{dz}{d\tau}=D[\Lambda(t)z+F(z,t)], $$ where $\Lambda(t)$ is a bounded linear operator on a Banach space $\mathscr{Z}$ and $F(z,t)$ is a nonlinear Kurzweil integrable function on $\mathscr{Z}$. The letter $D$ represents that generalized ODEs are defined via its solution, and $\frac{dz}{d\tau}$ only a notation. Hence, generalized ODEs are fundamentally a notational representation of a class of integral equations. Due to the differences between the theory of generalized ODEs and ODEs, it is difficult to extended the stable manifold theorem of ODEs to generalized ODEs. In order to overcome the difficulty, we establish a generalized Lyapunov-Perron equation in the frame of Kurzweil integral theory. Subsequently, we present a stable invariant manifold theorem for nonlinear generalized ODEs when their linear parts exhibit an exponential dichotomy. As effective applications, we finally derive results concerning the existence of stable manifold for measure differential equations and impulsive differential equations.

math.CA

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\"odinger 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\"odinger 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

Pattern formation and global analysis of a systematically reduced plant model in dryland environment

This paper delves into a systematically reduced plant system proposed by Ja\"ibi et al. [Phys. D, 2020] in arid area. They used the method of geometric singular perturbation to study the existence of abundant orbits. Instead, we deliberate the stability and distributed patterns of this system. For a non-diffusive scenario for the model, we scrutinize the local and global stability of equilibria and derive conditions for the existence or non-existence of the limit cycle. The bifurcation behaviors are also explored. For the spatial model, we investigate Hopf, Turing, Hopf-Turing, Turing-Turing bifurcations. Specially, the evolution process from periodic solutions to spatially nonconstant steady states is observed near the Hopf-Turing bifurcation point. And mixed nonconstant steady states near the Turing-Turing bifurcation point are observed. Furthermore, it's found that there exist gap, spot, stripe and mixed patterns. The seed-dispersal rate enables the transformation of pattern structures. Reasonable control of system parameters may prevent desertification from occurring.

nlin.PS

Epidemic waves for a two-group SIRS model with double nonlocal effects in a patchy environment

We propose a lattice dynamical system that arises in a discrete diffusive two-group epidemic model with latency in a patchy environment. The model considers the SIS form and latency of the disease in group 1, while the SIR form without latency of the disease in group 2. The system includes double nonlocal effects, one effect is the nonlocal diffusion of individuals in isolated patches or niches, while the other effect is the distributed transmission delay representing the incubation of the disease. We demonstrate that there is a threshold value $c^*$ that can determine the persistence or disappearance of the disease. If $c\geq c^*$, then there is an epidemic wave connecting the disease-free equilibrium and endemic equilibrium. In this case, the disease will evolve to endemic. If $0<c<c^*$, then the disease will die out.

q-bio.PE

Solitary wave solutions of the delayed KP-BBM equation

In this paper, we consider a kind of shallow water wave model called the Kadomtsev-Petviashvili-Benjamin-Bona-Mahony (KP-BBM) equation. We firstly consider the unperturbed KP-BBM equation. Then by using the geometric singular perturbation (GSP) theory, especially the invariant manifold theory, method of dynamical system and Melnikov function, the existence of solitary wave solutions of perturbed KP-BBM equation is proved. In other words, we dissuss the equation under different nonlinear terms. Finally, we validate our results with numerical simulations.

math.AP

Anisotropic Spheres Via Embedding Approach in $f(R,\phi, X)$ Gravity

In this manuscript, we investigate the behavior of stellar structure through embedding approach in $f(R, \phi, X)$ modified theory of gravity, where $R$ denotes the Ricci scalar, $\phi$ represents the scalar potential and $X$ indicates the kinetic potential. For this purpose, we consider the spherically symmetric space-time with anisotropic fluid. We further choose three different stars i.e. LMC X-4, Cen X-3, and EXO 1785-248 to demonstrate the behavior of stellar structures. We further compare the Schwarzschild space-time as exterior geometry with spherically symmetric space-time to calculate the values of unknown parameters. In this regard, we investigate the graphical features of stellar spheres such es energy density, pressure components, anisotropic component, equation of state parameters, stability analysis and energy conditions. Furthermore, we investigate some extra conditions such as mass function, compactness factor and surface redshift respectively. Conclusively, all the compact stars under observations are realistic, stable, and are free from any physical or geometrical singularities. We find that the embedding class one solution for anisotropic compact stars is viable and stable.

gr-qc

Bifurcation from a blood flow with variable body force

This paper investigates the existence of periodic solutions in blood flow propagating through vessels with free boundary conditions via the bifurcation theory. It is rigorously proved that a local $C^1$-curve of small-amplitude periodic solutions is bifurcated. In contrast to previous studies on periodic flows that primarily focus on constant vorticity, our work emphasizes the bifurcation analysis of periodic solutions in blood flow with harmonic vorticity and external body forces. To utilize Crandall-Rabinowitz bifurcation theorem, the fundamental challenge lies in reducing a multiple variable-PDE subject to free boundary conditions to a system of one variable-ODE with fixed boundary conditions.

math.AP

Constant vorticity two-layer water flows in the $\beta$-plane approximation with centripetal forces

The constant vorticity {\bf two-layer water wave} in the $\beta$-plane approximation with centripetal forces is investigated in this paper. Different from the works (Chu and Yang\cite[JDE, 2020]{chu} and Chu and Yang \cite[JDE, 2021]{chu2}) on the singe-layer wave flows, we consider the two-layer water wave model containing a free surface and an interface. The interface separates two layers with different features such as velocity field, pressure and vorticity. We prove that if the change in pressure in the $y$-axis direction is bounded, then the pressure is a function only related to depth and the surfaces of the water flows. And the inner wave will not affect the pressure function, if the water flow densities in each layer are equal. Furthermore, the explicit expressions of the velocity, pressure are given for the two-layer water flows. It is interesting that our method and results are also valid for the multi-layer water waves. Let the number of layers of water waves $n$ tend to infinity, we prove that the squence of pressure in the lowest layer $\{P_1^n(x,y,z,t)\}_{n\geq1}$ is uniformly convergent, if the density of each layer is bounded and the each surface of wave flows is uniformly convergent.

math.CA

Exponential trichotomy and global linearization of non-autonomous differential equations

Hartman-Grobman theorem was initially extended to the non-autonomous cases by Palmer. Usually, dichotomy is an essential condition of Palmer's linearization theorem. Is Palmer's linearization theorem valid for the systems with trichotomy? In this paper, we obtain new versions of the linearization theorem if linear system admits exponential trichotomy on $\mathbb{R}$. { Furthermore, the equivalent function $\mathscr H(t,x)$ and its inverse $\mathscr L(t,y)$ of our linearization theorems are H\"{o}lder continuous}. In addition, if a system is periodic, we find the equivalent function $\mathscr H(t,x)$ and its inverse $\mathscr L(t,y)$ of our linearization theorems do not have periodicity or asymptotical periodicity. To the best of our knowledge, this is the first paper studying the linearization with exponential trichotomy.

math.CA

Turing instability in a diffusive predator-prey model with multiple Allee effect and herd behavior

Diffusion-driven instability and bifurcation analysis are studied in a predator-prey model with herd behavior and quadratic mortality by incorporating multiple Allee effect into prey species. The existence and stability of the equilibria of the system are studied. And bifurcation behaviors of the system without diffusion are shown. The sufficient and necessary conditions for Turing instability occurring are obtained. And the stability and the direction of Hopf and steady state bifurcations are explored by using the normal form method. Furthermore, some numerical simulations are presented to support our theoretical analysis. We found that too large diffusion rate of prey prevents Turing instability from emerging. Finally, we summarize our findings in the conclusion.

math.DS

Linearization and H\"{o}lder continuity of generalized ODEs with application to measure differential equations

In this paper, we study the topological conjugacy between the linear generalized ODEs (for short, GODEs) \[ \frac{dx}{d\tau}=D[A(t)x] \] and their nonlinear perturbation \[ \frac{dx}{d\tau}=D[A(t)x+F(x,t)] \] on Banach space $\mathscr{X}$, where $A:\mathbb{R}\to\mathscr{B}(\mathscr{X})$ is a bounded linear operator on $\mathscr{X}$ and $F:\mathscr{X}\times \mathbb{R}\to \mathscr{X}$ is Kurzweil integrable. GODEs are completely different from the classical ODEs. Note that the GODEs in Banach space are defined via its solution. $\frac{dx}{d\tau}$ is only a notation and %$\frac{dx}{d\tau}$ it does not indicate that the solution has a derivative. The solution of the GODEs can be discontinuous and even the number of discontinuous points is countable, so that many classical theorems and tools are no longer applicable to the GODEs. For instances, the chain rule and the multiplication rule of derivatives, differential mean value theorem, and integral mean value theorem are not valid for the GODEs. In this paper, we study the linearization and its H\"{o}lder continuity of the GODEs. Firstly, we construct the formula for bounded solutions of the nonlinear GODEs in the Kurzweil integral sense. Afterwards, we establish a Hartman-Grobman type linearization theorem which is a bridge connecting the linear GODEs with their nonlinear perturbations. Further, we show that the conjugacies are both H\"{o}lder continuous by using the Gronwall-type inequality (in the Perron-Stieltjes integral sense) and other nontrivial estimate techniques. %The GODEs include measure differential equations, impulsive differential equations, functional differential equations and the classical ordinary differential equations as special cases. Finally, applications to the measure differential equations and impulsive differential equations, our results are very effective.

math.CA

Second-order differential equation with indefinite and repulsive singularities

This paper concerns a second-order differential equation with indefinite and repulsive singularities. It is the first time to study differential equation containing both indefinite and repulsive singularities simultaneously. A set of sufficient conditions are obtained for the existence of positive periodic solutions. The theoretical underpinnings of this paper are the positivity of Green's function and fixed point theorem in cones. Our results improve and extend the results in previous literatures. Finally, three examples and their numerical simulations (phase diagrams and time diagrams of periodic solutions) are given to show the effectiveness of our conclusions.

math.CA

Bifurcation of the traveling wave solutions in a perturbed $(1 + 1)$-dimensional dispersive long wave equation via a geometric approach

Choosing ${\kappa}$ (horizontal ordinate of the saddle point associated to the homoclinic orbit) as bifurcation parameter, bifurcations of the travelling wave solutions is studied in a perturbed $(1 + 1)$-dimensional dispersive long wave equation. The solitary wave solution exists at a suitable wave speed $c$ for the bifurcation parameter ${\kappa}\in (0,1-\frac{\sqrt3}{3})\cup (1+\frac{\sqrt3}{3},2)$, while the kink and anti-kink wave solutions exist at a unique wave speed $c^*=\sqrt{15}/3$ for $\kappa=0$ or $\kappa=2$. The methods are based on the geometric singular perturbation (GSP, for short) approach, Melnikov method and invariant manifolds theory. Interestingly, not only the explicit analytical expression of the complicated homoclinic Melnikov integral is directly obtained for the perturbed long wave equation, but also the explicit analytical expression of the limit wave speed is directly given. Numerical simulations are utilized to verify our mathematical results.

math.AP