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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
A hybridization of the three–term conjugate gradient method proposed by Zhang et al. and the nonlinear conjugate gradient method proposed by Polak and Ribi`ere, and Polyak is suggested. Based on an eigenvalue analysi...A hybridization of the three–term conjugate gradient method proposed by Zhang et al. and the nonlinear conjugate gradient method proposed by Polak and Ribi`ere, and Polyak is suggested. Based on an eigenvalue analysis, it is shown that search directions of the proposed method satisfy the sufficient descent condition, independent of the line search and the objective function convexity. Global convergence of the method is established under an Armijo–type line search condition. Numerical experiments show practical efficiency of the proposed method.展开更多
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.展开更多
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.展开更多
It is known that the solutions of a second order linear differential equation with periodic coefficients are almost always analytically impossible to obtain and in order to study its properties we often require a comp...It is known that the solutions of a second order linear differential equation with periodic coefficients are almost always analytically impossible to obtain and in order to study its properties we often require a computational approach. In this paper we compare graphically, using the Arnold Tongues, some sufficient criteria for the stability of periodic differential equations. We also present a brief explanation on how the authors, of each criterion, obtained them. And a comparison between four sufficient stability criteria and the stability zones found by perturbation methods is presented.展开更多
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.展开更多
The purpose of the present paper is to study the entropy hs(Ф) of a quantum dynamical systems Ф = ( L, s, Ф), where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy h...The purpose of the present paper is to study the entropy hs(Ф) of a quantum dynamical systems Ф = ( L, s, Ф), where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy hs( Ф, A) of partition A of a Boolean algebra B with respect to a state s and a state preserving homomorphism Ф, we prove a few results on that, define the entropy of a dynamical system hs(Ф), and show its invariance. The concept of sufficient families is also given and we establish that hs (Ф) comes out to be equal to the supremum of hs (Ф,A), where A varies over any sufficient family. The present theory has then been extended to the quantum dynamical system ( L, s, Ф), which as an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system (B, s0, Ф), where B is a Boolean algebra and so is a state on B.展开更多
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.展开更多
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.展开更多
A greedy algorithm used for the recovery of sparse signals,multiple orthogonal least squares(MOLS)have recently attracted quite a big of attention.In this paper,we consider the number of iterations required for the MO...A greedy algorithm used for the recovery of sparse signals,multiple orthogonal least squares(MOLS)have recently attracted quite a big of attention.In this paper,we consider the number of iterations required for the MOLS algorithm for recovery of a K-sparse signal x∈R^(n).We show that MOLS provides stable reconstruction of all K-sparse signals x from y=Ax+w in|6K/ M|iterations when the matrix A satisfies the restricted isometry property(RIP)with isometry constantδ_(7K)≤0.094.Compared with the existing results,our sufficient condition is not related to the sparsity level K.展开更多
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, 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.展开更多
Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an ex...Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an examination of the fundamental solution. Furthermore,a necessary and sufficient boundary integral equation is given for the problem and compared with the conventional boundary integral equation. Numerical results show that great errors of the boundary shear stresses obtained by the conventional boundary integral equation appear with a small error of torsion stiffness. Meanwhile,the necessary and sufficient;boundary integral equation always gives accurate results.展开更多
How many imputations are sufficient in multiple imputations? The answer given by different researchers varies from as few as 2 - 3 to as many as hundreds. Perhaps no single number of imputations would fit all situatio...How many imputations are sufficient in multiple imputations? The answer given by different researchers varies from as few as 2 - 3 to as many as hundreds. Perhaps no single number of imputations would fit all situations. In this study, η, the minimally sufficient number of imputations, was determined based on the relationship between m, the number of imputations, and ω, the standard error of imputation variances using the 2012 National Ambulatory Medical Care Survey (NAMCS) Physician Workflow mail survey. Five variables of various value ranges, variances, and missing data percentages were tested. For all variables tested, ω decreased as m increased. The m value above which the cost of further increase in m would outweigh the benefit of reducing ω was recognized as the η. This method has a potential to be used by anyone to determine η that fits his or her own data situation.展开更多
基金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.
文摘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.
基金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.
基金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 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.
基金Supported by Research Council of Semnan University
文摘A hybridization of the three–term conjugate gradient method proposed by Zhang et al. and the nonlinear conjugate gradient method proposed by Polak and Ribi`ere, and Polyak is suggested. Based on an eigenvalue analysis, it is shown that search directions of the proposed method satisfy the sufficient descent condition, independent of the line search and the objective function convexity. Global convergence of the method is established under an Armijo–type line search condition. Numerical experiments show practical efficiency of the proposed method.
基金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.
基金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.
文摘It is known that the solutions of a second order linear differential equation with periodic coefficients are almost always analytically impossible to obtain and in order to study its properties we often require a computational approach. In this paper we compare graphically, using the Arnold Tongues, some sufficient criteria for the stability of periodic differential equations. We also present a brief explanation on how the authors, of each criterion, obtained them. And a comparison between four sufficient stability criteria and the stability zones found by perturbation methods is presented.
文摘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.
文摘The purpose of the present paper is to study the entropy hs(Ф) of a quantum dynamical systems Ф = ( L, s, Ф), where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy hs( Ф, A) of partition A of a Boolean algebra B with respect to a state s and a state preserving homomorphism Ф, we prove a few results on that, define the entropy of a dynamical system hs(Ф), and show its invariance. The concept of sufficient families is also given and we establish that hs (Ф) comes out to be equal to the supremum of hs (Ф,A), where A varies over any sufficient family. The present theory has then been extended to the quantum dynamical system ( L, s, Ф), which as an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system (B, s0, Ф), where B is a Boolean algebra and so is a state on B.
文摘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(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.
基金supported by the National Natural Science Foundation of China(61907014,11871248,11701410,61901160)Youth Science Foundation of Henan Normal University(2019QK03).
文摘A greedy algorithm used for the recovery of sparse signals,multiple orthogonal least squares(MOLS)have recently attracted quite a big of attention.In this paper,we consider the number of iterations required for the MOLS algorithm for recovery of a K-sparse signal x∈R^(n).We show that MOLS provides stable reconstruction of all K-sparse signals x from y=Ax+w in|6K/ M|iterations when the matrix A satisfies the restricted isometry property(RIP)with isometry constantδ_(7K)≤0.094.Compared with the existing results,our sufficient condition is not related to the sparsity level K.
基金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, 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.
文摘Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an examination of the fundamental solution. Furthermore,a necessary and sufficient boundary integral equation is given for the problem and compared with the conventional boundary integral equation. Numerical results show that great errors of the boundary shear stresses obtained by the conventional boundary integral equation appear with a small error of torsion stiffness. Meanwhile,the necessary and sufficient;boundary integral equation always gives accurate results.
文摘How many imputations are sufficient in multiple imputations? The answer given by different researchers varies from as few as 2 - 3 to as many as hundreds. Perhaps no single number of imputations would fit all situations. In this study, η, the minimally sufficient number of imputations, was determined based on the relationship between m, the number of imputations, and ω, the standard error of imputation variances using the 2012 National Ambulatory Medical Care Survey (NAMCS) Physician Workflow mail survey. Five variables of various value ranges, variances, and missing data percentages were tested. For all variables tested, ω decreased as m increased. The m value above which the cost of further increase in m would outweigh the benefit of reducing ω was recognized as the η. This method has a potential to be used by anyone to determine η that fits his or her own data situation.