Invariance Principle Research Articles

Invariance Principle and Berry–Esseen Bound for Error Variance Estimator for Pth-Order Nonlinear Autoregressive Models

The invariance principle and Berry–Esseen bound for an error variance estimator based on the residuals are established by using a Taylor expansion and the classical invariance principle and Berry–Esseen bound for independent random variables. Some examples are given to illustrate their applications.

Multiscale scanning with nuisance parameters

Abstract We develop a multiscale scanning method to find anomalies in a d-dimensional random field in the presence of nuisance parameters. This covers the common situation that either the baseline-level or additional parameters such as the variance are unknown and have to be estimated from the data. We argue that state of the art approaches to determine asymptotically correct critical values for multiscale scanning statistics will in general fail when such parameters are naively replaced by plug-in estimators. Instead, we suggest to estimate the nuisance parameters on the largest scale and to use (only) smaller scales for multiscale scanning. We prove a uniform invariance principle for the resulting adjusted multiscale statistic, which is widely applicable and provides a computationally feasible way to simulate asymptotically correct critical values. We illustrate the implications of our theoretical results in a simulation study and in a real data example from super-resolution STED microscopy. This allows us to identify interesting regions inside a specimen in a pre-scan with controlled family-wise error rate.

Adaptive vibration control for stabilisation of the Euler–Bernoulli beam with an unknown payload

In this paper, an adaptive boundary controller is designed to solve the boundary control problem of Euler–Bernoulli beams with an unknown payload. Therefore, a boundary controller with an adaptive law is designed to compensate for the parameter uncertainty of the system. Partial Differential Equations (PDEs) are used to describe the Euler–Bernoulli beam system. The well-posedness of the system under the action of an adaptive boundary controller is proved by using the linear operator semigroup method. Meanwhile, the asymptotic stability of the closed-loop system is derived from the extended Krasovskii–LaSalle invariance principle. The effectiveness and superiority of the proposed method are illustrated by simulation in comparison with the existing results.

Simulation Research on the Control Method of Bow-Collapse in Gear Cold Roll-Beating

Bow-collapse is a type of geometric defect in the gear cold roll-beating process. In order to effectively control bow-collapse and improve material utilization, this paper calculates the cross-section radius of the blank according to the volume invariance principle of metal plastic deformation, and then performs FE simulation of the cold roll-beating process by using the cyclic beating of adjacent tooth spaces and intermittent blank feeding method. The flow state of metal particles is investigated, revealing that the movement of metal particles along the axial direction of the blank is the main reason for the formation of bow-collapse. This paper proposes a method to correct the cross-section radius of the blank and thus control for bow-collapse, where the loss coefficient K characterizes the state of metal particle loss in an infinitesimal thickness region on the cross-section. The analytical equation for calculating the corrected value of the cross-section radius is derived, and the corrected value is calculated. Conducted on the modified blank, cold roll-beating FE simulation results show that bow-collapse is effectively controlled, and the loss coefficient K correctly reflects the loss state of metal particles on the cross-section. The simulation results also show that after cold roll-beating, the gear teeth with standard face width and tooth depth can be obtained after two turning end faces and turning tip circle processes. The bow-collapse control method proposed in this paper effectively improves material utilization.

A universal drag model for liquid-solid fluidization: Experiment, data-driven modeling, CFD modeling and simulation

A universal drag model for liquid-solid fluidization: Experiment, data-driven modeling, CFD modeling and simulation

Dynamics of a Delayed Prey-Predator System With Crowley-Martin Functional Response

ln this paper, an ecological predator-prey model with time delay is proposed and studied analytically and numerically. The stability and bifurcation analysis of the proposed model with a Crowley-Martin response function are covered in this article. In the beginning, equilibrium points of the proposed model are identified. Secondly, the local asymptotic stability of the equilibria and Hopf-bifurcation are discussed by the characteristic equations of the system. Finally, by creating a suitable Lyapunov function and LaSalle’s invariance principle, the equilibria's global asymptotic stability is examined.

ON THE HIERARCHICAL MODEL OF SPATIAL SECURITY ENVIRONMENT OF TERRITORIAL COMMUNITIES

In the theory of architecture, there are some studies that touch on this issue, but in our opinion, the works presented above have a sufficiently justified methodological basis for understanding and building a hierarchical model of architectural systems, different in functional content.Such approach is used in relation to the security environment. Taking into account the principle scheme of interconnections of different levels of the hierarchy of the recreation system, the principle of formation of options of its spatial structure, relying on the hierarchy of types of spatial formations of recreation systems, and having experience in the field of researching of the basics of the security environment the authors proposed a hierarchical model of the security environment. This approach is based on the use of the principle of structure invariance, which determines the universality of formal models of architectural systems, which can be used for researching and evaluation of objects of different complexity and purpose.Also, on the basis of the above, it can be concluded that in general, by the level of acculturation, spatial security environment is divided into anthropogenic-natural and natural-anthropogenic.In the work, a hierarchical model of the spatial security environment is proposed, which includes 7 levels according to the hierarchy: national, regional, district, local, primary, object, elementary. At the levels from regional to elementary, taking into account the previously proposed typology of PSC on the example of Kharkiv region, a hierarchical structure of PSC networks was developed, the filling of which occurs from the lower to the higher level.The importance of the participation of the local population of the UTC in ensuring the safety of the community was also emphasized, which is the basis for the formation of volunteer fire brigades in the territories of UTC, organization of cooperation between the population and security agencies and ensuring of public awareness about the actions in case of an emergency situation.

Anti-swing position control of super-twisting sliding mode for underactuated tower crane based on nonlinear marine predator algorithm

Due to the nonlinear, underactuated, and strongly coupled characteristics of tower cranes, issues such as inaccurate load positioning and severe swinging are prone to occur during transportation, making the control problem extremely complex. To address these issues, this paper has designed a super-twisting robust sliding mode controller based on the nonlinear marine predator algorithm (NMPA) to ensure the accurate positioning of the desired location during the transportation process of the tower crane while reducing the oscillation of the load. First, a nonlinear dynamic model of a four-degree-of-freedom tower crane considering friction is constructed. Second, to address the difficulty of effectively controlling the underactuated tower crane system model due to its nonlinearity and strong coupling, the super-twisting algorithm is introduced, and a super-twisting sliding mode controller for anti-swing positioning during the crane transportation process is designed. Then, the parameters of the super-twisting sliding mode controller are optimized using the NMPA to suppress sliding mode chattering and quickly achieve the system’s steady state. Finally, the stability of the nonlinear tower crane system is analyzed using Lyapunov’s theory and LaSalle’s invariance principle to ensure the closed-loop stability of the error dynamics. The simulation results show that the proposed control method exhibits excellent load anti-sway performance and robustness.

Bifurcation Analysis and Optimal Control of an SEIR Model with Limited Medical Resources and Media Impact on Heterogeneous Networks

The spread of epidemic diseases is often considered to be bound up with human behavior. Both treatment and awareness-raising are seen as important preventive measures during an outbreak. In this paper, an SEIR model on heterogeneous network containing saturated treatment function with media information variable is constructed. Through mathematical analysis, the basic reproduction number and equilibriums of the system are derived. The global stability of disease-free equilibrium is further proved based on LaSalle’s invariant principle. It is also found that with a gradual increase of the delayed treatment parameter, the system exhibits a transition from forward bifurcation to backward bifurcation with the variation of the basic reproduction number. Finally, an optimal control problem is formulated with both treatment rate and media information dissemination rate as control variables and solved using the Pontryagin’s maximum principle. All the above results are verified by numerical experiments.

Electron surface scattering kernel for a plasma facing a semiconductor.

Employing the invariant embedding principle for the electron backscattering function, we present a scheme for constructing an electron surface scattering kernel to be used in the boundary condition for the electron Boltzmann equationof a plasma facing a semiconducting solid. The scheme takes the solid's microphysics responsible for electron emission and backscattering from the interface within a randium-jellium model into account and is applicable to dielectrics and metals as well. As an illustration, we consider silicon and germanium, describing the interface potential by a Schottky barrier and including impact ionization across the energy gap as well as scattering on phonons and ion cores. The emission yields deduced from the kernel agree well enough with measured data to support its use in the electron boundary condition of a plasma facing silicon or germanium.

Modeling of KSHV/HHV-8 and HIV-1 Co-Dynamics in Vivo

Human immunodeficiency virus kind 1 (HIV-1) compromises the immune system by infecting and damaging CD4+ T cells. Infection can progress to the ultimate stage, acquired immune deficiency syndrome (AIDS), if HIV-1 therapy is not received. People living with HIV/AIDS are more vulnerable to infections that they otherwise wouldn’t develop. Opportunistic infections or malignancies are the terms used to describe them. Kaposi sarcoma (KS) is an AIDSrelated malignancy caused by Kaposi’s sarcoma-associated herpesvirus (KSHV) (also known as human herpesvirus 8 (HHV-8)). HIV-1 and KSHV co-infection cases has been shown in several studies. Using a system of ODEs, we develop a new mathematical model to study the co-dynamics of HIV-1 and KSHV in vivo. The model includes interactions between healthy CD4+ T cells, HIV-1-infected CD4+ T cells, HIV-1 particles, healthy B cells, KSHV-infected B cells, and KSHV particles. By analyzing the boundedness and nonnegativity of the solutions, we prove the mathematical well-posedness and biological compatibility of the model. The existence and stability of the model’s steady states are established by four threshold values that we identify. We prove that steady states are globally asymptotically stable by using Lyapunov’s method and LaSalle’s invariance principle. Numerical simulations are used to display the results. For both basic reproduction ratios of HIV-1 mono-infection (R1) and KSHV mono-infection (R2), sensitivity analysis is carried out. A comparison between HIV-1 or KSHV mono-infections and co-infections with HIV-1 and KSHV is given. Empirical evidence indicates that co-infection results in higher KSHV and HIV-1 concentrations compared to mono-infection cases. This result is in line with a number of findings found in the literature.

Fault geometry invariance and dislocation potential in antiplane crustal deformation: physics-informed simultaneous solutions

Earthquake-induced crustal deformation provides valuable insights into the mechanisms of tectonic processes. Dislocation models offer a fundamental framework for comprehending such deformation, and two-dimensional antiplane dislocations are used to describe strike-slip faults. Previous earthquake deformation analyses observed that antiplane dislocations due to uniform fault slips are influenced predominantly by fault tips. Here, we state a general principle of fault geometry invariance in antiplane dislocations and exploit its theoretical consequence to define dislocation potentials that enable a streamlined crustal deformation analysis. To demonstrate the benefits of this theory, we present an analytical example and construct a rapid numerical solver for crustal deformation caused by variable fault slip scenarios using physics-informed neural networks, whose mesh-free property is suitable for modeling dislocation potentials. Fault geometry invariance and the dislocation potential may further the analysis of antiplane crustal deformation, particularly for uncertainty quantification and inversion analysis regarding unknown fault geometries in realistic crustal structures.

Rates in Almost Sure Invariance Principle for Nonuniformly Hyperbolic Maps

We prove the almost sure invariance principle (ASIP) with close to optimal error rates for nonuniformly hyperbolic maps. We do not assume exponential contraction along stable leaves, therefore our result covers in particular slowly mixing invertible dynamical systems as Bunimovich flowers, billiards with flat points as in Chernov and Zhang (Stoch Dyn 5:535–553, 2005a, Nonlinearity 18:1527–1553, 2005b) and Wojtkowski’ (Commun Math Phys 126:507–533, 1990) system of two falling balls.For these examples, the ASIP is a new result, not covered by prior works for various reasons, notably because in absence of exponential contraction along stable leaves, it is challenging to employ the so-called Sinai’s trick (Sinai in Russ Math Surv 27:21–70, 1972; Bowen, Lecture Notes in Math vol. 470 (1975)) of reducing a nonuniformly hyperbolic system to a nonuniformly expanding one. Our strategy follows our previous papers on the ASIP for nonuniformly expanding maps, where we build a semiconjugacy to a specific renewal Markov shift and adapt the argument of Berkes et al. (Ann Probab 42:794–817, 2014). The main difference is that now the Markov shift is two-sided, the observables depend on the full trajectory, both the future and the past.

Modeling the Impacts of Diagnosis and Treatment of Snakebite Envenoming Victims with Anti-Snake Venom in a Community

Snakebite envenoming (SBE) is one of the major causes of deaths and disabilities in tropical and subtropical countries especially in the continents of Asia and Africa. Report revealed that on average, 5-8 and about 3,000 cases of SBE are recorded daily and yearly respectively in northeast Nigeria which population are largely agriculturists. Thus, snakebite (SB) led to economy setback and slows down productivity among the workforce as a result of disabilities induced by SBE. Consequently, the revenue generation even including income facing declined. This paper proposes population-based mathematical model for studying the dynamic impacts of diagnosis and treatment of snakebite envenoming victims with anti-snake venom in a community. The model is rigorously analyzed using relevant techniques and theorems in dynamical systems. The model was validated using monthly reported data on snakebite envenoming from 2020–2022, collected from snakebite treatment and research hospital (STRH) Kaltungo in northeast Nigeria. The qualitative study revealed that the model has snakebite-envenoming-free and snakebite-envenoming-endemic equilibrium points. It is shown via the Lyapunov function in conjunction with the Lassale invariance principle that these two equilibrium points are globally asymptotically stable. Furthermore, numerical simulations of the model were carried out to investigate the impact of the diagnosis of snakebite envenoming victims and the treatment of the same on the burden of snakebite envenoming. The results of the simulations revealed that appropriate diagnosis and treatment of snakebite envenoming victims with anti-snake venom could significantly reduce the number of snakebite-induced deaths and disabilities. This work can serve as a framework for making policy and decision in addressing the issues of SBE in the public healthcares in the study region and beyond.

Strong limit theorems for step-reinforced random walks

Strong limit theorems for step-reinforced random walks

Hybrid feedback control of PMSG-based WECS with multilevel flying-capacitor inverter enhanced by fractional order extremum seeking

Hybrid feedback control of PMSG-based WECS with multilevel flying-capacitor inverter enhanced by fractional order extremum seeking

Ground-reflected light: The invariance principle and the effect of luminaire height, emission pattern, and non-uniform albedo

Ground-reflected light: The invariance principle and the effect of luminaire height, emission pattern, and non-uniform albedo

Stability and Hopf Bifurcation of a Cytokine-Enhanced HIV Infection Model with Saturation Incidence and Three Delays

To discuss the influence of cytokine-enhanced rate and antibody delay on viral infection, in this paper, we propose a cytokine-enhanced HIV model with saturation incidence, antibody immune response and time delays. Multiple time delays, namely intracellular delay, virus replication delay and antibody delay, are included. First, we prove that the model is well-posed. Then, we obtain two basic reproductive numbers of the model. Next, the stability of the equilibria is investigated by using Lyapunov functions and LaSalle’s invariance principle. The results show that intracellular delay and virus replication delay do not impact on the stability of the three equilibria. However, if antibody immune response delay is positive, we determine some conditions for stability switches of the endemic equilibrium by using antibody immune response delay as a bifurcation parameter. It is concluded that with the increase of antibody immune response delay, the endemic equilibrium loses its stability and the system generates Hopf bifurcation. Finally, the numerical simulation results also show the correctness of the theoretical results.

Stability of generalized models for HIV-1 dynamics with impaired CTL immunity and three pathways of infection

Highly active antiretroviral therapy (HAART) stands out as the most effective treatment for human immunodeficiency virus type-1 (HIV-1). While total eradication is still difficult, HAART can dramatically lower the virus's plasma viral level below the detection threshold. The activation of latently infected cells is considered to be the main obstacle to the total eradication of HIV-1 infection. This study investigates the dynamic characteristics of two generalized HIV-1 infection models taking into account the impairment of cytotoxic T lymphocytes (CTLs). These models include CD4+T cells that are latently infected and equipped with the capability to engage in cell-to-cell infection and elude immune responses. We introduce models featuring three infection pathways: virus-to-cell (VTC), latent cell-to-cell (L-CTC), and active cell-to-cell (A-CTC). The three pathways' infection rates are characterized by general functions, which cover the many types of infection rates documented in the literature. The second model integrates three distinct types of distributed-time delays. We demonstrate the validity of the suggested models, through their well-posedness. We determine the basic reproduction ratio (ℜ0) of the systems. Lyapunov functions and LaSalle's invariance principle are employed to verify that the global stability of both the virus-free steady state (O0) and the virus-persistence steady state (O1). More precisely, O0 achieves global asymptotic stability when ℜ0 ≤ 1, whereas O1 attains global asymptotic stability when ℜ0 > 1. To demonstrate the impact of the parameter values on ℜ0, we examine the sensitivity analysis. It is illustrated that ℜ0 comprises three components, namely ℜ0E, ℜ0P, and ℜ0K, corresponding to the transmissions of VTC, L-CTC, and A-CTC, respectively. Thus, if the L-CTC pathway is disregarded in the HIV-1 infection model, ℜ0 may be underestimated, which could lead to inadequate or erroneous medication therapy focused on eradicating HIV-1 within the body. To demonstrate the associated mathematical outcomes, we conduct numerical simulations through an illustrative example. Specifically, we delve into how the dynamics of HIV-1 are influenced by both immune impairment and time delay. Our findings suggest a significant role of reduced immunity in the progression of the infection. Furthermore, time delays possess the potential to markedly reduce ℜ0, thereby impeding the replication of HIV-1.

On the comparison between phenomenological and kinetic theories of gas mixtures with applications to flocking

On the comparison between phenomenological and kinetic theories of gas mixtures with applications to flocking