This paper is concerned with the minimizers of L^(2)-subcritical constraint variar tional problems with spatially decaying nonlinearities in a bounded domain Ω of R~N(N≥1).We prove that the problem admits minimizers...This paper is concerned with the minimizers of L^(2)-subcritical constraint variar tional problems with spatially decaying nonlinearities in a bounded domain Ω of R~N(N≥1).We prove that the problem admits minimizers for any M> 0.Moreover,the limiting behavior of minimizers as M→∞ is also analyzed rigorously.展开更多
Though atomic decomposition is a very useful tool for studying the boundedness on Hardy spaces for some sublinear operators,untill now,the boundedness of operators on weighted Hardy spaces in a multi-parameter setting...Though atomic decomposition is a very useful tool for studying the boundedness on Hardy spaces for some sublinear operators,untill now,the boundedness of operators on weighted Hardy spaces in a multi-parameter setting has been established only by almost orthogonality estimates.In this paper,we mainly establish the boundedness on weighted multi-parameter local Hardy spaces via atomic decomposition.展开更多
This paper is concerned with the parabolic-parabolic-elliptic system■in a bounded domainΩ?Rnwith a smooth boundary,where the parametersχ,ζ1,ζ2are positive constants and m≥1.Based on the coupled energy estimates,...This paper is concerned with the parabolic-parabolic-elliptic system■in a bounded domainΩ?Rnwith a smooth boundary,where the parametersχ,ζ1,ζ2are positive constants and m≥1.Based on the coupled energy estimates,the boundedness of the global classical solution is established in any dimensions(n≥1)provided that m>1.展开更多
This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condit...This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.展开更多
This paper investigates the error reachable set based stabilization problem for a class of discrete-time switched linear systems with bounded peak disturbances under persistent dwell-time(PDT)constraint.A double-clock...This paper investigates the error reachable set based stabilization problem for a class of discrete-time switched linear systems with bounded peak disturbances under persistent dwell-time(PDT)constraint.A double-clockdependent control scheme is presented that can split the disturbed switched system into a nominal system and an error system,and assign to each system a controller scheduled by a clock.A necessary and sufficient convex stability criterion is presented for the nominal system,and is further extended to the stabilization controller design with a nominal clock.In the presence of bounded peak disturbances,another stabilization controller with an error clock is developed for the error system,with the purpose of‘‘minimizing’’the reachable set of the error system by the ellipsoidal techniques.It is demonstrated that the disturbed system is also globally exponentially stable in the sense of converging to an over approximation of the reachable set of the error system,i.e.,a union of a family of bounding ellipsoids,that can also be regarded as the cross section of a tube containing the trajectories of the disturbed system.Two numerical examples are provided to verify the effectiveness of the developed results.展开更多
We study types of boundedness of a semigroup on a Banach space in terms of the Cesáro-average and the behavior of the resolvent at the origin and also exhibit a characterization of type Hille-Yosida for the gener...We study types of boundedness of a semigroup on a Banach space in terms of the Cesáro-average and the behavior of the resolvent at the origin and also exhibit a characterization of type Hille-Yosida for the generators of ϕ<sup>j</sup>-bounded strongly continuous semigroups. Furthermore, these results are used to investigate the effect of the Perturbation on the type of the growth of sequences.展开更多
A novel method of renormalization called Pacman renormalization allows us to study (unicritical) Siegel functions through Pacman-type functions. It has been used to investigate the Siegel parameters with combinatorial...A novel method of renormalization called Pacman renormalization allows us to study (unicritical) Siegel functions through Pacman-type functions. It has been used to investigate the Siegel parameters with combinatorially periodic rotation number in the main cardioid of the Mandelbrot set. It is already known that it can be defined a Pacman renormalization operator such that for Siegel pacmen, with combinatorially periodic rotation numbers, the operator is compact, analytic and has a unique fixed point, at which it is hyperbolic with one-dimensional unstable manifold. In this paper we observe that this Pacman renormalization operator is compact and analytic at any Siegel Pacman or Siegel map with combinatorially bounded rotation number. This allows us to define a renormalization operator on the hybrid classes of the standard Siegel pacmen to which we built its horseshoe where the operator is topologically semiconjugated to the left shift on the space of bi-infinite sequences of natural numbers bounded by some constant.展开更多
We show an example of a bounded potential on the half-line obtained as the image of an Inverse Transformation Operator of the Bessel singular potential of the Reduced Radial Schrödinger Equation, and show us ...We show an example of a bounded potential on the half-line obtained as the image of an Inverse Transformation Operator of the Bessel singular potential of the Reduced Radial Schrödinger Equation, and show us the Estimates of the A(α) amplitude.展开更多
We consider a system of neutral equations with unbounded delay, and derive conditions on Liapunov functionals to ensure that the solutions are uniformly bounded and uniformly ultimately bounded.
This note deals with some classes of bounded subsets in a quasi-metric space. We study and compare the bounded sets, totally-bounded sets and the Bourbaki-bounded sets on quasi metric spaces. For example, we show that...This note deals with some classes of bounded subsets in a quasi-metric space. We study and compare the bounded sets, totally-bounded sets and the Bourbaki-bounded sets on quasi metric spaces. For example, we show that in a quasi-metric space, a set may be bounded but not totally bounded. In addition, we investigate their bornologies as well as their relationships with each other. For example, given a compatible quasi-metric, we intend to give some necessary and sufficient conditions for which a quasi metric bornology coincides with the bornology of totally bounded sets, the bornology of bourbaki bounded sets and bornology of bourbaki bounded subsets.展开更多
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system's reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
In this article, we generalize the class of meromorphic functions with bounded boundary rotation and related classes. Characterizations and some properties of these classes of functions are given.
In this paper, we give a criterion of the absolutely Cesàro bounded weighted backward shift in spirit of the comparison method. Our approach is to construct the proper product of weight functions <img src=&quo...In this paper, we give a criterion of the absolutely Cesàro bounded weighted backward shift in spirit of the comparison method. Our approach is to construct the proper product of weight functions <img src="Edit_7232e0dc-07ab-41c5-8657-a49f0463b47c.bmp" alt="" />by the fraction of two monomials of the indexes, then we apply proper scaling to give Cesàro boundedness. In particular, we present a new example of non Cesàro bounded weighted backward shift on <img src="Edit_799dadb7-40ab-48f9-bae3-191378f96164.bmp" alt="" />.展开更多
Several boundedness criteria for the impulsive integro-differential systems with fixed moments of impulse effects are established, employing the method of Lyapunov functions and Razumikhin technique.
This article considers the following higher-dimensional quasilinear parabolic-parabolic-ODE chemotaxis system with generalized Logistic source and homogeneous Neumann boundary conditions{ut=∇⋅(D(u)∇u)−∇⋅(S(u)∇v)+f(u),...This article considers the following higher-dimensional quasilinear parabolic-parabolic-ODE chemotaxis system with generalized Logistic source and homogeneous Neumann boundary conditions{ut=∇⋅(D(u)∇u)−∇⋅(S(u)∇v)+f(u),x∈Ω,t>0 vt=Δv+w−v,x∈Ω,t>0,wt=u−w,x∈Ω,t>0,in a bounded domainΩ⊂R^n(n≥2)with smooth boundary ∂Ω,where the diffusion coefficient D(u)and the chemotactic sensitivity function S(u)are supposed to satisfy D(u)≥M1(u+1)^−αand S(u)≤M2(u+1)^β,respectively,where M1,M2>0 and α,β∈R.Moreover,the logistic source f(u)is supposed to satisfy f(u)≤a−μu^γ with μ>0,γ≥1,and a≥0.Asα+2β<γ−1+2γ/n,we show that the solution of the above chemotaxis system with sufficiently smooth nonnegative initial data is uniformly bounded.展开更多
For a class of linear operators including Riesz potentials on R^d with a nonnegative Radon measure μ, which only satisfies some growth condition, the authors prove that their boundedness in Lebesgue spaces is equival...For a class of linear operators including Riesz potentials on R^d with a nonnegative Radon measure μ, which only satisfies some growth condition, the authors prove that their boundedness in Lebesgue spaces is equivalent to their boundedness in the Hardy space or certain weak type endpoint estimates, respectively. As an application, the authors obtain several new end estimates.展开更多
Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. L...Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = (--△Hn +V)-1V, T2 = (-△Hn +V)-1/2V1/2, and T3 = (--AHn +V)-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP(Hn), where b ∈ BMO(Hn). Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.展开更多
In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is "the generalized Neumann lemma"...In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is "the generalized Neumann lemma" which is quite different from the method in [12] where "the generalized Banach lemma" was used. By the method of the perturba- tion analysis of bounded linear operators, we obtain an explicit perturbation theorem and three inequalities about error estimates for the Moore-Penrose metric generalized inverse of bounded linear operator under the generalized Neumann lemma and the concept of stable perturbations in Banach spaces.展开更多
基金supported by the Graduate Education Innovation Funds(2022CXZZ088)at Central China Normal University in Chinasupported by the NSFC(12225106,11931012)the Fundamental Research Funds(CCNU22LJ002)for the Central Universities in China。
文摘This paper is concerned with the minimizers of L^(2)-subcritical constraint variar tional problems with spatially decaying nonlinearities in a bounded domain Ω of R~N(N≥1).We prove that the problem admits minimizers for any M> 0.Moreover,the limiting behavior of minimizers as M→∞ is also analyzed rigorously.
文摘Though atomic decomposition is a very useful tool for studying the boundedness on Hardy spaces for some sublinear operators,untill now,the boundedness of operators on weighted Hardy spaces in a multi-parameter setting has been established only by almost orthogonality estimates.In this paper,we mainly establish the boundedness on weighted multi-parameter local Hardy spaces via atomic decomposition.
基金supported by the NSF of China(11871226)Guangdong Basic and Applied Basic Research Foundation(2020A1515010140 and 2022B1515020032)Guangzhou Science and Technology Program(202002030363)。
文摘This paper is concerned with the parabolic-parabolic-elliptic system■in a bounded domainΩ?Rnwith a smooth boundary,where the parametersχ,ζ1,ζ2are positive constants and m≥1.Based on the coupled energy estimates,the boundedness of the global classical solution is established in any dimensions(n≥1)provided that m>1.
基金the Project of Industrial Internet and Integration of Industrialization and Industrialization of Guangxi,China under Grant No.Guigong2021-37.
文摘This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.
基金supported by the Natural Sciences and Engineering Research Council of Canada(NSERC).
文摘This paper investigates the error reachable set based stabilization problem for a class of discrete-time switched linear systems with bounded peak disturbances under persistent dwell-time(PDT)constraint.A double-clockdependent control scheme is presented that can split the disturbed switched system into a nominal system and an error system,and assign to each system a controller scheduled by a clock.A necessary and sufficient convex stability criterion is presented for the nominal system,and is further extended to the stabilization controller design with a nominal clock.In the presence of bounded peak disturbances,another stabilization controller with an error clock is developed for the error system,with the purpose of‘‘minimizing’’the reachable set of the error system by the ellipsoidal techniques.It is demonstrated that the disturbed system is also globally exponentially stable in the sense of converging to an over approximation of the reachable set of the error system,i.e.,a union of a family of bounding ellipsoids,that can also be regarded as the cross section of a tube containing the trajectories of the disturbed system.Two numerical examples are provided to verify the effectiveness of the developed results.
文摘We study types of boundedness of a semigroup on a Banach space in terms of the Cesáro-average and the behavior of the resolvent at the origin and also exhibit a characterization of type Hille-Yosida for the generators of ϕ<sup>j</sup>-bounded strongly continuous semigroups. Furthermore, these results are used to investigate the effect of the Perturbation on the type of the growth of sequences.
文摘A novel method of renormalization called Pacman renormalization allows us to study (unicritical) Siegel functions through Pacman-type functions. It has been used to investigate the Siegel parameters with combinatorially periodic rotation number in the main cardioid of the Mandelbrot set. It is already known that it can be defined a Pacman renormalization operator such that for Siegel pacmen, with combinatorially periodic rotation numbers, the operator is compact, analytic and has a unique fixed point, at which it is hyperbolic with one-dimensional unstable manifold. In this paper we observe that this Pacman renormalization operator is compact and analytic at any Siegel Pacman or Siegel map with combinatorially bounded rotation number. This allows us to define a renormalization operator on the hybrid classes of the standard Siegel pacmen to which we built its horseshoe where the operator is topologically semiconjugated to the left shift on the space of bi-infinite sequences of natural numbers bounded by some constant.
文摘We show an example of a bounded potential on the half-line obtained as the image of an Inverse Transformation Operator of the Bessel singular potential of the Reduced Radial Schrödinger Equation, and show us the Estimates of the A(α) amplitude.
文摘We consider a system of neutral equations with unbounded delay, and derive conditions on Liapunov functionals to ensure that the solutions are uniformly bounded and uniformly ultimately bounded.
文摘This note deals with some classes of bounded subsets in a quasi-metric space. We study and compare the bounded sets, totally-bounded sets and the Bourbaki-bounded sets on quasi metric spaces. For example, we show that in a quasi-metric space, a set may be bounded but not totally bounded. In addition, we investigate their bornologies as well as their relationships with each other. For example, given a compatible quasi-metric, we intend to give some necessary and sufficient conditions for which a quasi metric bornology coincides with the bornology of totally bounded sets, the bornology of bourbaki bounded sets and bornology of bourbaki bounded subsets.
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system's reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
基金partially supported by the Centre for Innovation and Transfer of Natural Sciences and Engineering Knowledge
文摘In this article, we generalize the class of meromorphic functions with bounded boundary rotation and related classes. Characterizations and some properties of these classes of functions are given.
文摘In this paper, we give a criterion of the absolutely Cesàro bounded weighted backward shift in spirit of the comparison method. Our approach is to construct the proper product of weight functions <img src="Edit_7232e0dc-07ab-41c5-8657-a49f0463b47c.bmp" alt="" />by the fraction of two monomials of the indexes, then we apply proper scaling to give Cesàro boundedness. In particular, we present a new example of non Cesàro bounded weighted backward shift on <img src="Edit_799dadb7-40ab-48f9-bae3-191378f96164.bmp" alt="" />.
文摘Several boundedness criteria for the impulsive integro-differential systems with fixed moments of impulse effects are established, employing the method of Lyapunov functions and Razumikhin technique.
基金This work is supported by the Youth Doctor Science and Technology Talent Training Project of Xinjiang Uygur Autonomous Region(2017Q087).
文摘This article considers the following higher-dimensional quasilinear parabolic-parabolic-ODE chemotaxis system with generalized Logistic source and homogeneous Neumann boundary conditions{ut=∇⋅(D(u)∇u)−∇⋅(S(u)∇v)+f(u),x∈Ω,t>0 vt=Δv+w−v,x∈Ω,t>0,wt=u−w,x∈Ω,t>0,in a bounded domainΩ⊂R^n(n≥2)with smooth boundary ∂Ω,where the diffusion coefficient D(u)and the chemotactic sensitivity function S(u)are supposed to satisfy D(u)≥M1(u+1)^−αand S(u)≤M2(u+1)^β,respectively,where M1,M2>0 and α,β∈R.Moreover,the logistic source f(u)is supposed to satisfy f(u)≤a−μu^γ with μ>0,γ≥1,and a≥0.Asα+2β<γ−1+2γ/n,we show that the solution of the above chemotaxis system with sufficiently smooth nonnegative initial data is uniformly bounded.
基金Program for New Century Excellent Talents in University(NCET-04-0142)of China
文摘For a class of linear operators including Riesz potentials on R^d with a nonnegative Radon measure μ, which only satisfies some growth condition, the authors prove that their boundedness in Lebesgue spaces is equivalent to their boundedness in the Hardy space or certain weak type endpoint estimates, respectively. As an application, the authors obtain several new end estimates.
基金supported by NSFC 11171203, S2011040004131STU Scientific Research Foundation for Talents TNF 10026+1 种基金supported by NSFC No.10990012,10926179RFDP of China No.200800010009
文摘Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = (--△Hn +V)-1V, T2 = (-△Hn +V)-1/2V1/2, and T3 = (--AHn +V)-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP(Hn), where b ∈ BMO(Hn). Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.
基金Supported by the Nature Science Foundation of China(11471091 and 11401143)
文摘In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is "the generalized Neumann lemma" which is quite different from the method in [12] where "the generalized Banach lemma" was used. By the method of the perturba- tion analysis of bounded linear operators, we obtain an explicit perturbation theorem and three inequalities about error estimates for the Moore-Penrose metric generalized inverse of bounded linear operator under the generalized Neumann lemma and the concept of stable perturbations in Banach spaces.