Let?denote a smooth,bounded domain in R^(N)(N≥2).Suppose that g is a nondecreasing C^(1)positive function and assume that b(x)is continuous and nonnegative inΩ,and that it may be singular on■Ω.In this paper,we pro...Let?denote a smooth,bounded domain in R^(N)(N≥2).Suppose that g is a nondecreasing C^(1)positive function and assume that b(x)is continuous and nonnegative inΩ,and that it may be singular on■Ω.In this paper,we provide sufficient and necessary conditions on the existence of boundary blow-up solutions to the p-Laplacian problem△_(p)u=b(x)g(u)for x∈Ω,u(x)→+∞as dist(x,■Ω)→0.The estimates of such solutions are also investigated.Moreover,when b has strong singularity,the nonexistence of boundary blow-up(radial)solutions and infinitely many radial solutions are also considered.展开更多
Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded un...Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded univex functions, a new class of functions that unifies several concepts of generalized convexity. In this paper, additional conditions are attached to the Kuhn Tucker conditions giving a set of conditions which are both necessary and sufficient for optimality in constrained optimization, under appropriate constraint qualifications.展开更多
Rayleigh-Taylor (R-T) instability is known as the fundamental mechanism of equatorial plasma bubbles (EPBs). However, the sufficient conditions of R-T instability and stability have not yet been derived. In the pr...Rayleigh-Taylor (R-T) instability is known as the fundamental mechanism of equatorial plasma bubbles (EPBs). However, the sufficient conditions of R-T instability and stability have not yet been derived. In the present paper, the sufficient conditions of R-T stability and instability are preliminarily^derived. Linear equations for small perturbation are first obtained from the electron/ion continuity equations, momentum equations, and the current continuity equation in the equatorial ionosphere. The linear equations can be casted as an eigenvalue equation using a normal mode method. The eigenvalue equation is a variable coefficient linear equation that can be solved using a variational approach. With this approach, the sufficient conditions can be obtained as follows: if the minimum systematic eigenvalue is greater than one, the ionosphere is R-T unstable; while if the maximum systematic eigenvalue is less than one, the ionosphere is R-T stable. An approximate numerical method for obtaining the systematic eigenvalues is introduced, and the R-T stable/unstable areas are calculated. Numerical experiments axe designed to validate the sufficient conditions. The results agree with the derived suf- ficient conditions.展开更多
In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equ...In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equation. We investigate this problem invoking two differen t met hods, respectively, based on variance compu tations and on pat h-wise considerations in Besov spaces. We are going to see that, as anticipated, both approaches lead to the same necessary and sufficient condition on the noise. In addition, the path-wise approach brings out regularity results for the solution.展开更多
Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the ...Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.展开更多
In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We ...In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We prove that (1) possesses at most one limit cycle and give out the necessary and sufficient conditions of existence and uniqueness of limit cycles.展开更多
In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also ex...In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also extended and improved in this paper.展开更多
This paper deals with the Dirichlet problem for convex differential (PC) inclusions of elliptic type. On the basis of conjugacy correspondence the dual problems are constructed. Using the new concepts of locally adjoi...This paper deals with the Dirichlet problem for convex differential (PC) inclusions of elliptic type. On the basis of conjugacy correspondence the dual problems are constructed. Using the new concepts of locally adjoint mappings in the form of Euler-Lagrange type inclusion is established extremal relations for primary and dual problems. Then duality problems are formulated for convex problems and duality theorems are proved. The results obtained are generalized to the multidimensional case with a second order elliptic operator.展开更多
Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical...Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical analysis of the IGA-C method.In this paper,we deduce the convergence rate of the consistency of the IGA-C method.Moreover,based on the formula of the convergence rate,the necessary and sufficient condition for the consistency of the IGA-C method is developed.These results advance the numerical analysis of the IGA-C method.展开更多
This paper deals with the existence of positive solutions for the singular fourth order boundary value problem.A necessary and sufficient condition for the existence of C3 positive solution is given by means of the mo...This paper deals with the existence of positive solutions for the singular fourth order boundary value problem.A necessary and sufficient condition for the existence of C3 positive solution is given by means of the monotone iterative technique.Furthermore,the uniqueness of the C3 positive solution,and the iterative sequence of the C3 positive solution are also obtained.展开更多
In this paper,we extended some results of article[1],obtain some sufficient and necessary condition which multivariate random variable satisfy normal distribution.
In this paper the following result is obtained: Suppose f(x,u,v) is nonnegative, continuous in ( a, b)×R +×R +; f may be singular at x=a (and/or x=b ) and v=0; f is nondecreasing on u for each x,v,...In this paper the following result is obtained: Suppose f(x,u,v) is nonnegative, continuous in ( a, b)×R +×R +; f may be singular at x=a (and/or x=b ) and v=0; f is nondecreasing on u for each x,v, nonincreasing on v for each x,u; there exists a constant q∈(0,1) such that t qf(x,t -1 u,tu)f(x,u,u)λ qf(x,λ -1 u,λu),0<t<1<λ, u∈R +. Then a necessary and sufficient condition for the equation u″+f(x,u,u)=0 on the boundary condition αu(a)-βu′(a)=0, γ(b)+δu′(b)=0 to have C 1(I) nonzero solutions is that 0<∫ b af(x,e(x),e(x))dx<∞, where α,β,γ,δ are nonnegative real numbers, Δ=(b-a)αγ+αδ+βγ>0, e(x)=G(x,x), G(x,y) is Green's function of above mentioned boundary value problem (when f(x,u,v)≡0). Received September 9,1996. Revised March 31,1997. 1991 MR Subject Classification: 34B.展开更多
New classes of functions namely (V, ρ)_(h,φ)-type I, quasi (V, ρ)_(h,φ)-type I and pseudo (V, ρ)_(h,φ)-type I functions are defined for multiobjective programming problem by using BenTal's generalized algebr...New classes of functions namely (V, ρ)_(h,φ)-type I, quasi (V, ρ)_(h,φ)-type I and pseudo (V, ρ)_(h,φ)-type I functions are defined for multiobjective programming problem by using BenTal's generalized algebraic operation. The examples of (V, ρ)_(h,φ)-type I functions are given. The sufficient optimality conditions are obtained for multi-objective programming problem involving above new generalized convexity.展开更多
By the best approximation theory, it is first proved that the SISO (single-input single-output) linear Takagi-Sugeno (TS) fuzzy systems can approximate an arbitrary polynomial which, according to Weierstrass appro...By the best approximation theory, it is first proved that the SISO (single-input single-output) linear Takagi-Sugeno (TS) fuzzy systems can approximate an arbitrary polynomial which, according to Weierstrass approximation theorem, can uniformly approximate any continuous functions on the compact domain. Then new sufficient conditions for general linear SISO TS fuzzy systems as universal approximators are obtained. Formulae are derived to calculate the number of input fuzzy sets to satisfy the given approximation accuracy. Then the presented result is compared with the existing literature's results. The comparison shows that the presented result needs less input fuzzy sets, which can simplify the design of the fuzzy system, and examples are given to show its effectiveness.展开更多
1 IntroductionH-matrices have important role in numerical analysis and matrix theory,etc.In thispaper,several practical criteria for H-matrices are obtained,to which the matrix is notnecessary be a diagonally dominant...1 IntroductionH-matrices have important role in numerical analysis and matrix theory,etc.In thispaper,several practical criteria for H-matrices are obtained,to which the matrix is notnecessary be a diagonally dominant matrix,and the numbers of rows which are not diago-nal dominant can be n-1.We introduce the concept of α-diagonally dominant matrix,andby using the concept to investigate H-matrices.展开更多
Surface Mount Technology Manufacturing Grid (SMT-MG) is the application of the grid technology in the SMT product manufacturing.In this paper,as the new manufacturing mode of SMT product,SMT-MG was brought forward.The...Surface Mount Technology Manufacturing Grid (SMT-MG) is the application of the grid technology in the SMT product manufacturing.In this paper,as the new manufacturing mode of SMT product,SMT-MG was brought forward.Then the concept and intention of the SMT-MG were analyzed.And from the three aspects of sufficient condition,necessary condition and stability condition,the static and dynamic conditions under which the SMT-MG was formed were mainly discuss.Finally,it was proved that the formation and development of SMT-MG is feasible and necessary.展开更多
Applying constructed homotopy and its properties,we gel some sufficient conditions for the solvability of algebraic inverse eigenvalue problems,which are better than that of the paper [4] in some cases. Inverse eigenv...Applying constructed homotopy and its properties,we gel some sufficient conditions for the solvability of algebraic inverse eigenvalue problems,which are better than that of the paper [4] in some cases. Inverse eigenvalue problems,solvability,sufficient conditions.展开更多
Due to the appearance and the study of the ornithopter and flexible-wing micro air vehicles, etc., the time-varying systems become more and more important and ubiquitous in the study of the mechanics. In this letter, ...Due to the appearance and the study of the ornithopter and flexible-wing micro air vehicles, etc., the time-varying systems become more and more important and ubiquitous in the study of the mechanics. In this letter, the sufficient conditions of the uniform asymptotic stability are first presented for the delayed time-varying linear differential equations with any time delay by employing the Dini derivative, Lozinskii measure and the generalized scalar Halanay delayed differential inequality. They are especially based on the estimation of the arbitrary solutions but not the fundamental solution matrix since their solutions' space is infinite-dimensional. Then some sufficient conditions of the stability, asymptotic stability and uniform asymptotic stability of the delayed time-varying linear system with a sufficiently small time delay are reported by employing Taylor expansion and Dini derivative. It implies that these stabilities can be guaranteed by the Lozinskii measure of the matrix composing of the time delay and the coefficient matrices of the system.展开更多
In this paper, new sufficient optimality theorems for a solution of a differentiable bilevel multiobjective optimization problem (BMOP) are established. We start with a discussion on solution concepts in bilevel multi...In this paper, new sufficient optimality theorems for a solution of a differentiable bilevel multiobjective optimization problem (BMOP) are established. We start with a discussion on solution concepts in bilevel multiobjective programming;a theorem giving necessary and sufficient conditions for a decision vector to be called a solution of the BMOP and a proposition giving the relations between four types of solutions of a BMOP are presented and proved. Then, under the pseudoconvexity assumptions on the upper and lower level objective functions and the quasiconvexity assumptions on the constraints functions, we establish and prove two new sufficient optimality theorems for a solution of a general BMOP with coupled upper level constraints. Two corollary of these theorems, in the case where the upper and lower level objectives and constraints functions are convex are presented.展开更多
基金supported by the Beijing Natural Science Foundation(1212003)。
文摘Let?denote a smooth,bounded domain in R^(N)(N≥2).Suppose that g is a nondecreasing C^(1)positive function and assume that b(x)is continuous and nonnegative inΩ,and that it may be singular on■Ω.In this paper,we provide sufficient and necessary conditions on the existence of boundary blow-up solutions to the p-Laplacian problem△_(p)u=b(x)g(u)for x∈Ω,u(x)→+∞as dist(x,■Ω)→0.The estimates of such solutions are also investigated.Moreover,when b has strong singularity,the nonexistence of boundary blow-up(radial)solutions and infinitely many radial solutions are also considered.
文摘Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded univex functions, a new class of functions that unifies several concepts of generalized convexity. In this paper, additional conditions are attached to the Kuhn Tucker conditions giving a set of conditions which are both necessary and sufficient for optimality in constrained optimization, under appropriate constraint qualifications.
基金Project supported by the National Natural Science Foundation of China(Nos.41575026 and 41175025)
文摘Rayleigh-Taylor (R-T) instability is known as the fundamental mechanism of equatorial plasma bubbles (EPBs). However, the sufficient conditions of R-T instability and stability have not yet been derived. In the present paper, the sufficient conditions of R-T stability and instability are preliminarily^derived. Linear equations for small perturbation are first obtained from the electron/ion continuity equations, momentum equations, and the current continuity equation in the equatorial ionosphere. The linear equations can be casted as an eigenvalue equation using a normal mode method. The eigenvalue equation is a variable coefficient linear equation that can be solved using a variational approach. With this approach, the sufficient conditions can be obtained as follows: if the minimum systematic eigenvalue is greater than one, the ionosphere is R-T unstable; while if the maximum systematic eigenvalue is less than one, the ionosphere is R-T stable. An approximate numerical method for obtaining the systematic eigenvalues is introduced, and the R-T stable/unstable areas are calculated. Numerical experiments axe designed to validate the sufficient conditions. The results agree with the derived suf- ficient conditions.
基金supported by an NSERC granta startup fund of University of Albertasupported by the NSF grant DMS1613163
文摘In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equation. We investigate this problem invoking two differen t met hods, respectively, based on variance compu tations and on pat h-wise considerations in Besov spaces. We are going to see that, as anticipated, both approaches lead to the same necessary and sufficient condition on the noise. In addition, the path-wise approach brings out regularity results for the solution.
基金Supported by the National Natural Science Foundation of China (No.29976035) and Zhejiang and Fujian Provincial Natural Science Foundation of China.
文摘Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.
文摘In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We prove that (1) possesses at most one limit cycle and give out the necessary and sufficient conditions of existence and uniqueness of limit cycles.
文摘In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also extended and improved in this paper.
文摘This paper deals with the Dirichlet problem for convex differential (PC) inclusions of elliptic type. On the basis of conjugacy correspondence the dual problems are constructed. Using the new concepts of locally adjoint mappings in the form of Euler-Lagrange type inclusion is established extremal relations for primary and dual problems. Then duality problems are formulated for convex problems and duality theorems are proved. The results obtained are generalized to the multidimensional case with a second order elliptic operator.
基金supported by the National Natural Science Foundation of China(61872316)the Natural Science Foundation of Zhejiang Province,China(LY19F020004)
文摘Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical analysis of the IGA-C method.In this paper,we deduce the convergence rate of the consistency of the IGA-C method.Moreover,based on the formula of the convergence rate,the necessary and sufficient condition for the consistency of the IGA-C method is developed.These results advance the numerical analysis of the IGA-C method.
文摘This paper deals with the existence of positive solutions for the singular fourth order boundary value problem.A necessary and sufficient condition for the existence of C3 positive solution is given by means of the monotone iterative technique.Furthermore,the uniqueness of the C3 positive solution,and the iterative sequence of the C3 positive solution are also obtained.
文摘In this paper,we extended some results of article[1],obtain some sufficient and necessary condition which multivariate random variable satisfy normal distribution.
文摘In this paper the following result is obtained: Suppose f(x,u,v) is nonnegative, continuous in ( a, b)×R +×R +; f may be singular at x=a (and/or x=b ) and v=0; f is nondecreasing on u for each x,v, nonincreasing on v for each x,u; there exists a constant q∈(0,1) such that t qf(x,t -1 u,tu)f(x,u,u)λ qf(x,λ -1 u,λu),0<t<1<λ, u∈R +. Then a necessary and sufficient condition for the equation u″+f(x,u,u)=0 on the boundary condition αu(a)-βu′(a)=0, γ(b)+δu′(b)=0 to have C 1(I) nonzero solutions is that 0<∫ b af(x,e(x),e(x))dx<∞, where α,β,γ,δ are nonnegative real numbers, Δ=(b-a)αγ+αδ+βγ>0, e(x)=G(x,x), G(x,y) is Green's function of above mentioned boundary value problem (when f(x,u,v)≡0). Received September 9,1996. Revised March 31,1997. 1991 MR Subject Classification: 34B.
基金Supported by the NSF of Shaanxi Provincial Educational Department(06JK152)
文摘New classes of functions namely (V, ρ)_(h,φ)-type I, quasi (V, ρ)_(h,φ)-type I and pseudo (V, ρ)_(h,φ)-type I functions are defined for multiobjective programming problem by using BenTal's generalized algebraic operation. The examples of (V, ρ)_(h,φ)-type I functions are given. The sufficient optimality conditions are obtained for multi-objective programming problem involving above new generalized convexity.
文摘By the best approximation theory, it is first proved that the SISO (single-input single-output) linear Takagi-Sugeno (TS) fuzzy systems can approximate an arbitrary polynomial which, according to Weierstrass approximation theorem, can uniformly approximate any continuous functions on the compact domain. Then new sufficient conditions for general linear SISO TS fuzzy systems as universal approximators are obtained. Formulae are derived to calculate the number of input fuzzy sets to satisfy the given approximation accuracy. Then the presented result is compared with the existing literature's results. The comparison shows that the presented result needs less input fuzzy sets, which can simplify the design of the fuzzy system, and examples are given to show its effectiveness.
基金Work supported by Sichuan Youth Sci.Tech.Foundation,P.R.China
文摘1 IntroductionH-matrices have important role in numerical analysis and matrix theory,etc.In thispaper,several practical criteria for H-matrices are obtained,to which the matrix is notnecessary be a diagonally dominant matrix,and the numbers of rows which are not diago-nal dominant can be n-1.We introduce the concept of α-diagonally dominant matrix,andby using the concept to investigate H-matrices.
文摘Surface Mount Technology Manufacturing Grid (SMT-MG) is the application of the grid technology in the SMT product manufacturing.In this paper,as the new manufacturing mode of SMT product,SMT-MG was brought forward.Then the concept and intention of the SMT-MG were analyzed.And from the three aspects of sufficient condition,necessary condition and stability condition,the static and dynamic conditions under which the SMT-MG was formed were mainly discuss.Finally,it was proved that the formation and development of SMT-MG is feasible and necessary.
文摘Applying constructed homotopy and its properties,we gel some sufficient conditions for the solvability of algebraic inverse eigenvalue problems,which are better than that of the paper [4] in some cases. Inverse eigenvalue problems,solvability,sufficient conditions.
基金supported by the National Natural Science Foundation of China(10702065 and 11372282)
文摘Due to the appearance and the study of the ornithopter and flexible-wing micro air vehicles, etc., the time-varying systems become more and more important and ubiquitous in the study of the mechanics. In this letter, the sufficient conditions of the uniform asymptotic stability are first presented for the delayed time-varying linear differential equations with any time delay by employing the Dini derivative, Lozinskii measure and the generalized scalar Halanay delayed differential inequality. They are especially based on the estimation of the arbitrary solutions but not the fundamental solution matrix since their solutions' space is infinite-dimensional. Then some sufficient conditions of the stability, asymptotic stability and uniform asymptotic stability of the delayed time-varying linear system with a sufficiently small time delay are reported by employing Taylor expansion and Dini derivative. It implies that these stabilities can be guaranteed by the Lozinskii measure of the matrix composing of the time delay and the coefficient matrices of the system.
文摘In this paper, new sufficient optimality theorems for a solution of a differentiable bilevel multiobjective optimization problem (BMOP) are established. We start with a discussion on solution concepts in bilevel multiobjective programming;a theorem giving necessary and sufficient conditions for a decision vector to be called a solution of the BMOP and a proposition giving the relations between four types of solutions of a BMOP are presented and proved. Then, under the pseudoconvexity assumptions on the upper and lower level objective functions and the quasiconvexity assumptions on the constraints functions, we establish and prove two new sufficient optimality theorems for a solution of a general BMOP with coupled upper level constraints. Two corollary of these theorems, in the case where the upper and lower level objectives and constraints functions are convex are presented.