The paper presents a two-layer,disturbance-resistant,and fault-tolerant affine formation maneuver control scheme that accomplishes the surrounding of a dynamic target with multiple underactuated Quadrotor Unmanned Aer...The paper presents a two-layer,disturbance-resistant,and fault-tolerant affine formation maneuver control scheme that accomplishes the surrounding of a dynamic target with multiple underactuated Quadrotor Unmanned Aerial Vehicles(QUAVs).This scheme mainly consists of predefinedtime estimators and fixed-time tracking controllers,with a hybrid Laplacian matrix describing the communication among these QUAVs.At the first layer,we devise predefined time estimators for leading and following QUAVs,enabling accurate estimation of desired information.In the second layer,we initially devise a fixed-time hybrid observer to estimate unknown disturbances and actuator faults.Fixedtime translational tracking controllers are then proposed,and the intermediary control input from these controllers is used to extract the desired attitude and angular velocities for the fixed-time rotational tracking controllers.We employ an exact tracking differentiator to handle variables that are challenging to differentiate directly.The paper includes a demonstration of the control system stability through mathematical proof,as well as the presentation of simulation results and comparative simulations.展开更多
This paper investigates the modeling and the practical predefined-time(PdT)tracking control problems for a fully actuated disk-shaped autonomous underwater vehicle(AUV)with six degrees of freedom.To overcome the gimba...This paper investigates the modeling and the practical predefined-time(PdT)tracking control problems for a fully actuated disk-shaped autonomous underwater vehicle(AUV)with six degrees of freedom.To overcome the gimbal lock problem inherent in Euler angle representation,unit quaternions are adopted to model the AUV,accounting for internal uncertainties and external disturbances.Then,an improved time-varying function is introduced,which serves as the basis for designing a nonsingular sliding surface and sliding mode controller with PdT stability.This approach ensures that the tracking errors converge within a predefined time,independent of initial conditions and design parameters.Compared with traditional PdT controllers,the proposed method eliminates singularities,enhances the precision of convergence time estimation,and typically yields smaller,smoother initial control inputs,thus improving its potential for engineering applications.Numerical simulations validate the effectiveness and performance of the proposed controller.展开更多
This paper presents a predefined-time controller for Multiple Space transportation Robots System (MSRS), which can be applied in on-orbit assembly tasks to transport modules to pre-assembly configuration quickly. Firs...This paper presents a predefined-time controller for Multiple Space transportation Robots System (MSRS), which can be applied in on-orbit assembly tasks to transport modules to pre-assembly configuration quickly. Firstly, to simplify the analysis and design of predefined-time controller, a Predefined-time Stability Criterion is proposed in the form of Composite Lyapunov Function (CLF-PSC). Besides simplicity, the CLF-PSC also has the advantage of less conservativeness due to utilization of initial state information. Secondly, a concept of Lp-Norm-Normalized Sign Function (LPNNSF) is proposed based on the CLF-PSC. Different from traditional norm-normalized sign function, the Lp-norm of LPNNSF can be selected arbitrarily according to practical control task requirements, which means that the proposed LPNNSF is more generalized and more convenient for calculation. Thirdly, a predefined-time disturbance observer and predefined-time controller are designed based on the LPNNSF. The observer has the property of predefined-time convergence to achieve quicker and more accurate estimation of the lumped disturbance. The controller has less control input and chattering phenomenon than traditional predefined-time controller. In addition, by introducing the observer into the controller, the closed-loop system enjoys high precision and strong robustness. Finally, the effectiveness of the proposed controller is verified by numerical simulations. By employing the controller, the MSRS can carry assembly modules to the desired pre-assembly configuration accurately within predefined time.展开更多
This paper develops a novel Neural Network(NN)-based adaptive nonsingular practical predefined-time controller for the hypersonic morphing aircraft subject to actuator faults. Firstly, a novel Lyapunov criterion of pr...This paper develops a novel Neural Network(NN)-based adaptive nonsingular practical predefined-time controller for the hypersonic morphing aircraft subject to actuator faults. Firstly, a novel Lyapunov criterion of practical predefined-time stability is established. Following the proposed criterion, a tangent function based nonsingular predefined-time sliding manifold and the control strategy are developed. Secondly, the radial basis function NN with a low-complexity adaptation mechanism is incorporated into the controller to tackle the actuator faults and uncertainties. Thirdly, rigorous theoretical proof reveals that the attitude tracking errors can converge to a small region around the origin within a predefined time, while all signals in the closed-loop system remain bounded. Finally, numerical simulation results are presented to verify the effectiveness and improved performance of the proposed control scheme.展开更多
The system performance of grid-connected photovoltaic(PV)has a serious impact on the grid stability.To improve the control performance and shorten the convergence time,a predefined-time controller based on backsteppin...The system performance of grid-connected photovoltaic(PV)has a serious impact on the grid stability.To improve the control performance and shorten the convergence time,a predefined-time controller based on backstepping technology and dynamic surface control is formulated for the inverter in the grid-connected photovoltaic.The time-varying tuning functions are introduced into state-tracking errors to realize the predefined-time control effect.To address the“computational explosion problem”in the design process of backstepping control,dynamic surface control is adopted to avoid the analytical calculations of virtual control.The disturbances of the PV system are estimated and compensated by adaptive laws.The control parameters are chosen and the global stability of the closed-loop is ensured by Lyapunov conditions.Simulation results confirm the effectiveness of the proposed controller and ensure the predefined time control in the photovoltaic inverter.展开更多
This paper proposes an adaptive predefined-time terminal sliding mode control(APTSMC)scheme for attitude tracking control of a quadrotor.To create this,an adaptive predefined-time stability controller based on a termi...This paper proposes an adaptive predefined-time terminal sliding mode control(APTSMC)scheme for attitude tracking control of a quadrotor.To create this,an adaptive predefined-time stability controller based on a terminal sliding mode is constructed.The upper bound of convergence time in the proposed scheme can be adjusted by the explicit parameters during the design process of the controller.In addition,it is proved that the attitude tracking error will converge within two periods of the preset time.These two periods are set between two ranges:From the initial values to the sliding mode surface and from the sliding mode surface to the region near the origin.Furthermore,an adaptive law is adopted to eliminate unknown external disturbances and the effects of the uncertainties in the quadrotor model,so it is unnecessary to require the prior knowledge of the upper bound of the perturbations.Simulation results are produced and comparative case studies are carried out to demonstrate that the proposed scheme has faster convergence speed and smaller tracking errors.展开更多
Distributed adaptive predefined-time bipartite containment for a class of second-order nonlinear multi-agent systems are studied with actuator faults.The communication topology of multi-agent systems is fixed and dire...Distributed adaptive predefined-time bipartite containment for a class of second-order nonlinear multi-agent systems are studied with actuator faults.The communication topology of multi-agent systems is fixed and directed.To ensure that followers can reach the convex hull spanned by leaders under the conditions of actuator faults,the sliding mode method is introduced.Control protocol for multi-agent systems demonstrates its effectiveness.Finally,simulations are provided to verify the effectiveness of the proposed algorithm.展开更多
Fractional calculus is widely used to deal with nonconservative dynamics because of its memorability and non-local properties.In this paper,the Herglotz principle with generalized operators is discussed,and the Herglo...Fractional calculus is widely used to deal with nonconservative dynamics because of its memorability and non-local properties.In this paper,the Herglotz principle with generalized operators is discussed,and the Herglotz type equations for nonholonomic systems are established.Then,the Noether symmetries are studied,and the conserved quantities are obtained.The results are extended to nonholonomic canonical systems,and the Herglotz type canonical equations and the Noether theorems are obtained.Two examples are provided to demonstrate the validity of the methods and results.展开更多
In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequen...In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequence of L^(1)functions converging to the given function and verifying their representation in the form of Fourier transform to establish the desired result of the given function.Applying this main result,we further generalize the Paley-Wiener theorem for band-limited functions to the analytic function spaces L^(p)(0<p<∞)with general weights.展开更多
Quantum software development utilizes quantum phenomena such as superposition and entanglement to address problems that are challenging for classical systems.However,it must also adhere to critical quantum constraints...Quantum software development utilizes quantum phenomena such as superposition and entanglement to address problems that are challenging for classical systems.However,it must also adhere to critical quantum constraints,notably the no-cloning theorem,which prohibits the exact duplication of unknown quantum states and has profound implications for cryptography,secure communication,and error correction.While existing quantum circuit representations implicitly honor such constraints,they lack formal mechanisms for early-stage verification in software design.Addressing this constraint at the design phase is essential to ensure the correctness and reliability of quantum software.This paper presents a formal metamodeling framework using UML-style notation and and Object Constraint Language(OCL)to systematically capture and enforce the no-cloning theorem within quantum software models.The proposed metamodel formalizes key quantum concepts—such as entanglement and teleportation—and encodes enforceable invariants that reflect core quantum mechanical laws.The framework’s effectiveness is validated by analyzing two critical edge cases—conditional copying with CNOT gates and quantum teleportation—through instance model evaluations.These cases demonstrate that the metamodel can capture nuanced scenarios that are often mistaken as violations of the no-cloning theorem but are proven compliant under formal analysis.Thus,these serve as constructive validations that demonstrate the metamodel’s expressiveness and correctness in representing operations that may appear to challenge the no-cloning theorem but,upon rigorous analysis,are shown to comply with it.The approach supports early detection of conceptual design errors,promoting correctness prior to implementation.The framework’s extensibility is also demonstrated by modeling projective measurement,further reinforcing its applicability to broader quantum software engineering tasks.By integrating the rigor of metamodeling with fundamental quantum mechanical principles,this work provides a structured,model-driven approach that enables traditional software engineers to address quantum computing challenges.It offers practical insights into embedding quantum correctness at the modeling level and advances the development of reliable,error-resilient quantum software systems.展开更多
We propose the scaling rule of Morse oscillator,based on this rule and by virtue of the Her-mann-Feymann theorem,we respectively obtain the distribution of potential and kinetic ener-gy of the Morse Hamiltonian.Also,w...We propose the scaling rule of Morse oscillator,based on this rule and by virtue of the Her-mann-Feymann theorem,we respectively obtain the distribution of potential and kinetic ener-gy of the Morse Hamiltonian.Also,we derive the exact upper limit of physical energy level.Further,we derive some recursive relations for energy matrix elements of the potential and other similar operators in the context of Morse oscillator theory.展开更多
The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to ...The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.展开更多
In this paper,we study Liouville theorem for the 3D stationary Q-tensor system of liquid crystal in Lorentz and Morrey spaces.Under some additional hypotheses,stated in terms of Lorentz and Morrey spaces,using energy ...In this paper,we study Liouville theorem for the 3D stationary Q-tensor system of liquid crystal in Lorentz and Morrey spaces.Under some additional hypotheses,stated in terms of Lorentz and Morrey spaces,using energy estimation,we obtain that the trivial solution u=Q=0 is the unique solution.Our theorems correspond to improvements of some recent results and contain some known results as particular cases.展开更多
In this paper,we study the basic p-harmonic forms on the complete foliated Riemannian manifolds.By using the method in[1],we show that if the basic mean curvature form is bounded and co-closed,and the transversal curv...In this paper,we study the basic p-harmonic forms on the complete foliated Riemannian manifolds.By using the method in[1],we show that if the basic mean curvature form is bounded and co-closed,and the transversal curvature operator is nonnegative and positive at least one point,then we obtain a vanishing theorem for L^(p)-integrably p-harmonic r-forms.展开更多
In this paper,we obtain a vector bundle valued mixed hard Lefschetz theorem.The argument is mainly based on the works of Tien-Cuong Dinh and Viet-Anh Nguyen.
In this paper,we compute sub-Riemannian limits of some important curvature variants associated with the connection with torsion for four dimensional twisted BCV spaces and derive a Gauss-Bonnet theorem for four dimens...In this paper,we compute sub-Riemannian limits of some important curvature variants associated with the connection with torsion for four dimensional twisted BCV spaces and derive a Gauss-Bonnet theorem for four dimensional twisted BCV spaces.展开更多
this paper,we study Liouville theorem for 3D steady Q-tensor system of liquid crystal in mixed Lorentz spaces.We obtain u=0,Q=0 on the conditions that μ∈L^(p,∞x_(1)L^(q,∞x_(2)L^(r,∞x_(3)(R^(4)∩H^(1)(R^(3),Q∈H^(...this paper,we study Liouville theorem for 3D steady Q-tensor system of liquid crystal in mixed Lorentz spaces.We obtain u=0,Q=0 on the conditions that μ∈L^(p,∞x_(1)L^(q,∞x_(2)L^(r,∞x_(3)(R^(4)∩H^(1)(R^(3),Q∈H^(2)(R^(3),p,q,r∈(3,∞],and 1/p+1/q+1/r≥2/3, which extends some known results.展开更多
基金supported by Natural Science Basic Research Plan in Shaanxi Province of China(No.2023-JC-QN-0733)Guangdong Basic and Applied Basic Research Foundation,China(No.2022A1515110753)+2 种基金China Postdoctoral Science Foundation(No.2022M722583)China Industry-UniversityResearch Innovation Foundation(No.2022IT188)National Key Laboratory of Air-based Information Perception and Fusion and the Aeronautic Science Foundation of China(No.20220001068001)。
文摘The paper presents a two-layer,disturbance-resistant,and fault-tolerant affine formation maneuver control scheme that accomplishes the surrounding of a dynamic target with multiple underactuated Quadrotor Unmanned Aerial Vehicles(QUAVs).This scheme mainly consists of predefinedtime estimators and fixed-time tracking controllers,with a hybrid Laplacian matrix describing the communication among these QUAVs.At the first layer,we devise predefined time estimators for leading and following QUAVs,enabling accurate estimation of desired information.In the second layer,we initially devise a fixed-time hybrid observer to estimate unknown disturbances and actuator faults.Fixedtime translational tracking controllers are then proposed,and the intermediary control input from these controllers is used to extract the desired attitude and angular velocities for the fixed-time rotational tracking controllers.We employ an exact tracking differentiator to handle variables that are challenging to differentiate directly.The paper includes a demonstration of the control system stability through mathematical proof,as well as the presentation of simulation results and comparative simulations.
基金supported in part by the National Natural Science Foundation of China(62373107)the“Zhishan”Scholars Programs of Southeast University(2242023R40011).
文摘This paper investigates the modeling and the practical predefined-time(PdT)tracking control problems for a fully actuated disk-shaped autonomous underwater vehicle(AUV)with six degrees of freedom.To overcome the gimbal lock problem inherent in Euler angle representation,unit quaternions are adopted to model the AUV,accounting for internal uncertainties and external disturbances.Then,an improved time-varying function is introduced,which serves as the basis for designing a nonsingular sliding surface and sliding mode controller with PdT stability.This approach ensures that the tracking errors converge within a predefined time,independent of initial conditions and design parameters.Compared with traditional PdT controllers,the proposed method eliminates singularities,enhances the precision of convergence time estimation,and typically yields smaller,smoother initial control inputs,thus improving its potential for engineering applications.Numerical simulations validate the effectiveness and performance of the proposed controller.
基金co-supported by the National Natural Science Foundation of China(Nos.12372048,12102343)the Key Program of the National Natural Science Foundation of China(No.U2013206)+1 种基金the China Postdoctoral Science Foundation(No.2023M742835)the Guangdong Basic and Applied Basic Research Foundation,China(No.2023A1515011421).
文摘This paper presents a predefined-time controller for Multiple Space transportation Robots System (MSRS), which can be applied in on-orbit assembly tasks to transport modules to pre-assembly configuration quickly. Firstly, to simplify the analysis and design of predefined-time controller, a Predefined-time Stability Criterion is proposed in the form of Composite Lyapunov Function (CLF-PSC). Besides simplicity, the CLF-PSC also has the advantage of less conservativeness due to utilization of initial state information. Secondly, a concept of Lp-Norm-Normalized Sign Function (LPNNSF) is proposed based on the CLF-PSC. Different from traditional norm-normalized sign function, the Lp-norm of LPNNSF can be selected arbitrarily according to practical control task requirements, which means that the proposed LPNNSF is more generalized and more convenient for calculation. Thirdly, a predefined-time disturbance observer and predefined-time controller are designed based on the LPNNSF. The observer has the property of predefined-time convergence to achieve quicker and more accurate estimation of the lumped disturbance. The controller has less control input and chattering phenomenon than traditional predefined-time controller. In addition, by introducing the observer into the controller, the closed-loop system enjoys high precision and strong robustness. Finally, the effectiveness of the proposed controller is verified by numerical simulations. By employing the controller, the MSRS can carry assembly modules to the desired pre-assembly configuration accurately within predefined time.
基金supported by the National Natural Science Foundation of China (Nos. 52233014, U2241215)。
文摘This paper develops a novel Neural Network(NN)-based adaptive nonsingular practical predefined-time controller for the hypersonic morphing aircraft subject to actuator faults. Firstly, a novel Lyapunov criterion of practical predefined-time stability is established. Following the proposed criterion, a tangent function based nonsingular predefined-time sliding manifold and the control strategy are developed. Secondly, the radial basis function NN with a low-complexity adaptation mechanism is incorporated into the controller to tackle the actuator faults and uncertainties. Thirdly, rigorous theoretical proof reveals that the attitude tracking errors can converge to a small region around the origin within a predefined time, while all signals in the closed-loop system remain bounded. Finally, numerical simulation results are presented to verify the effectiveness and improved performance of the proposed control scheme.
基金supported by the State Grid Corporation of China Headquarters Science and Technology Project under Grant No.5400-202122573A-0-5-SF。
文摘The system performance of grid-connected photovoltaic(PV)has a serious impact on the grid stability.To improve the control performance and shorten the convergence time,a predefined-time controller based on backstepping technology and dynamic surface control is formulated for the inverter in the grid-connected photovoltaic.The time-varying tuning functions are introduced into state-tracking errors to realize the predefined-time control effect.To address the“computational explosion problem”in the design process of backstepping control,dynamic surface control is adopted to avoid the analytical calculations of virtual control.The disturbances of the PV system are estimated and compensated by adaptive laws.The control parameters are chosen and the global stability of the closed-loop is ensured by Lyapunov conditions.Simulation results confirm the effectiveness of the proposed controller and ensure the predefined time control in the photovoltaic inverter.
文摘This paper proposes an adaptive predefined-time terminal sliding mode control(APTSMC)scheme for attitude tracking control of a quadrotor.To create this,an adaptive predefined-time stability controller based on a terminal sliding mode is constructed.The upper bound of convergence time in the proposed scheme can be adjusted by the explicit parameters during the design process of the controller.In addition,it is proved that the attitude tracking error will converge within two periods of the preset time.These two periods are set between two ranges:From the initial values to the sliding mode surface and from the sliding mode surface to the region near the origin.Furthermore,an adaptive law is adopted to eliminate unknown external disturbances and the effects of the uncertainties in the quadrotor model,so it is unnecessary to require the prior knowledge of the upper bound of the perturbations.Simulation results are produced and comparative case studies are carried out to demonstrate that the proposed scheme has faster convergence speed and smaller tracking errors.
基金2024 Jiangsu Province Youth Science and Technology Talent Support Project(funded by Yancheng Science and Technology Association)The 2024 Yancheng Key Research and Development Plan(Social Development)projects include“Research and Application of Multi-Agent Offline Distributed Trust Perception Virtual Wireless Sensor Network Algorithm”and“Research and Application of a New Type of Fishery Ship Safety Production Monitoring Equipment.”。
文摘Distributed adaptive predefined-time bipartite containment for a class of second-order nonlinear multi-agent systems are studied with actuator faults.The communication topology of multi-agent systems is fixed and directed.To ensure that followers can reach the convex hull spanned by leaders under the conditions of actuator faults,the sliding mode method is introduced.Control protocol for multi-agent systems demonstrates its effectiveness.Finally,simulations are provided to verify the effectiveness of the proposed algorithm.
基金supported by the National Natural Science Foundation of China(Grant No.12272248)the Postgraduate Research and Practice Innovation Program of Jiangsu Province of China(Grant No.KYCX23_3296).
文摘Fractional calculus is widely used to deal with nonconservative dynamics because of its memorability and non-local properties.In this paper,the Herglotz principle with generalized operators is discussed,and the Herglotz type equations for nonholonomic systems are established.Then,the Noether symmetries are studied,and the conserved quantities are obtained.The results are extended to nonholonomic canonical systems,and the Herglotz type canonical equations and the Noether theorems are obtained.Two examples are provided to demonstrate the validity of the methods and results.
基金Supported by the National Natural Science Foundation of China(12301101)the Guangdong Basic and Applied Basic Research Foundation(2022A1515110019 and 2020A1515110585)。
文摘In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequence of L^(1)functions converging to the given function and verifying their representation in the form of Fourier transform to establish the desired result of the given function.Applying this main result,we further generalize the Paley-Wiener theorem for band-limited functions to the analytic function spaces L^(p)(0<p<∞)with general weights.
文摘Quantum software development utilizes quantum phenomena such as superposition and entanglement to address problems that are challenging for classical systems.However,it must also adhere to critical quantum constraints,notably the no-cloning theorem,which prohibits the exact duplication of unknown quantum states and has profound implications for cryptography,secure communication,and error correction.While existing quantum circuit representations implicitly honor such constraints,they lack formal mechanisms for early-stage verification in software design.Addressing this constraint at the design phase is essential to ensure the correctness and reliability of quantum software.This paper presents a formal metamodeling framework using UML-style notation and and Object Constraint Language(OCL)to systematically capture and enforce the no-cloning theorem within quantum software models.The proposed metamodel formalizes key quantum concepts—such as entanglement and teleportation—and encodes enforceable invariants that reflect core quantum mechanical laws.The framework’s effectiveness is validated by analyzing two critical edge cases—conditional copying with CNOT gates and quantum teleportation—through instance model evaluations.These cases demonstrate that the metamodel can capture nuanced scenarios that are often mistaken as violations of the no-cloning theorem but are proven compliant under formal analysis.Thus,these serve as constructive validations that demonstrate the metamodel’s expressiveness and correctness in representing operations that may appear to challenge the no-cloning theorem but,upon rigorous analysis,are shown to comply with it.The approach supports early detection of conceptual design errors,promoting correctness prior to implementation.The framework’s extensibility is also demonstrated by modeling projective measurement,further reinforcing its applicability to broader quantum software engineering tasks.By integrating the rigor of metamodeling with fundamental quantum mechanical principles,this work provides a structured,model-driven approach that enables traditional software engineers to address quantum computing challenges.It offers practical insights into embedding quantum correctness at the modeling level and advances the development of reliable,error-resilient quantum software systems.
基金supported by the National Natural Science Foundation of China(No.10874174)。
文摘We propose the scaling rule of Morse oscillator,based on this rule and by virtue of the Her-mann-Feymann theorem,we respectively obtain the distribution of potential and kinetic ener-gy of the Morse Hamiltonian.Also,we derive the exact upper limit of physical energy level.Further,we derive some recursive relations for energy matrix elements of the potential and other similar operators in the context of Morse oscillator theory.
文摘The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.
基金Supported by National Natural Science Foundation of China(11871305,11901346).
文摘In this paper,we study Liouville theorem for the 3D stationary Q-tensor system of liquid crystal in Lorentz and Morrey spaces.Under some additional hypotheses,stated in terms of Lorentz and Morrey spaces,using energy estimation,we obtain that the trivial solution u=Q=0 is the unique solution.Our theorems correspond to improvements of some recent results and contain some known results as particular cases.
基金supported by Guangzhou Science and Technology Program(202102021174)Guangdong Basic and Applied Basic Research Foundation(2023A1515012121).The second author was supported by the Natural Science Foundation of Jiangsu Province(BK20230900)+1 种基金the Fundamental Research Funds for the Central Universities(30924010838)Both authors are partially supported by NSF in China(12141104).
文摘In this paper,we study the basic p-harmonic forms on the complete foliated Riemannian manifolds.By using the method in[1],we show that if the basic mean curvature form is bounded and co-closed,and the transversal curvature operator is nonnegative and positive at least one point,then we obtain a vanishing theorem for L^(p)-integrably p-harmonic r-forms.
基金supported by the National key R and D Program of China 2020YFA0713100the NSFC(12141104,12371062 and 12431004).
文摘In this paper,we obtain a vector bundle valued mixed hard Lefschetz theorem.The argument is mainly based on the works of Tien-Cuong Dinh and Viet-Anh Nguyen.
基金Supported by National Natural Science Foundation of China(Grant No.11771070).
文摘In this paper,we compute sub-Riemannian limits of some important curvature variants associated with the connection with torsion for four dimensional twisted BCV spaces and derive a Gauss-Bonnet theorem for four dimensional twisted BCV spaces.
基金Supported by the National Natural Science Foundation of China(11871305)。
文摘this paper,we study Liouville theorem for 3D steady Q-tensor system of liquid crystal in mixed Lorentz spaces.We obtain u=0,Q=0 on the conditions that μ∈L^(p,∞x_(1)L^(q,∞x_(2)L^(r,∞x_(3)(R^(4)∩H^(1)(R^(3),Q∈H^(2)(R^(3),p,q,r∈(3,∞],and 1/p+1/q+1/r≥2/3, which extends some known results.
