A set of methods for interprocedural analysis is proposed. First, an ap-proach for interprocedural constant propagation is given. Then the concept of constant propagation is extended so as to meet the needs of data de...A set of methods for interprocedural analysis is proposed. First, an ap-proach for interprocedural constant propagation is given. Then the concept of constant propagation is extended so as to meet the needs of data dependence analysis. Besides certain constant, constant range can also be propagated. The related propagating rules are introduced, and an idea for computing Return function is given. This approach can solve almost all interprocedural constant propagation problems with non-recursive calls. Second, a muItiple-version par-allelizing technique is also proposed for alias problem. The work related to this paper has been implemented on a shared-memory parallel computer.展开更多
The Hardy-Sobolev inequality with general weights is established, and it is shown that the constant is optimal. The two weights in this inequality are determined by a Bernoulli equation. In addition, the authors obtai...The Hardy-Sobolev inequality with general weights is established, and it is shown that the constant is optimal. The two weights in this inequality are determined by a Bernoulli equation. In addition, the authors obtain the Hardy-Sobolev inequality with general weights and remainder terms. By choosing special weights, it turns to be many versions of the Hardy-Sobolev inequality and the Caffarelli-Kohn-Nirenberg inequality with remainder terms in the literature.展开更多
In this paper it is shown that a new Hilbert-type integral inequality can be established by introducing two parameters m（m ∈ N） and λ（λ 0）.And the constant factor expressed by the Bernoulli number and π is pro...In this paper it is shown that a new Hilbert-type integral inequality can be established by introducing two parameters m（m ∈ N） and λ（λ 0）.And the constant factor expressed by the Bernoulli number and π is proved to be the best possible.And then some important and especial results are enumerated.As applications,some equivalent forms are given.展开更多
The best constant of discrete Sobolev inequality on the truncated tetrahedron with a weight which describes 2 kinds of spring constants or bond distances. Main results coincides with the ones of known results by Kamet...The best constant of discrete Sobolev inequality on the truncated tetrahedron with a weight which describes 2 kinds of spring constants or bond distances. Main results coincides with the ones of known results by Kametaka et al. under the assumption of uniformity of the spring constants. Since the buckyball fullerene C60 has 2 kinds of edges, destruction of uniformity makes us proceed the application to the chemistry of fullerenes.展开更多
For p ：〉 1, many improved or generalized results of the well-known Hardy＇s inequality have been established： In this paper, by means of the weight coefficient method, we establish the following Hardy type inequali...For p ：〉 1, many improved or generalized results of the well-known Hardy＇s inequality have been established： In this paper, by means of the weight coefficient method, we establish the following Hardy type inequality for p = -1：∑^n i=1（1/i∑^i j=1 aj）^-1〈∑^n i=1（1-π^2-9/3i）ai^-1,where ai 〉 0, i = 1,2,... ,n. For any fixed positive integer n 〉 2, we study the best constant Cn such that the inequality ∑^ni=1（1/i∑^ij=1aj）^-1≤cn∑^ni=1ai^-1holds. Moreover, by means ofthe Mathematica software, we givesome examples.展开更多
In this paper,the authors obtain the Dunkl analogy of classical L^(p)Hardy inequality for p>N+2γwith sharp constant((p-N-2γ)/p)^(p),where 2γis the degree of weight function associated with Dunkl operators,and L ...In this paper,the authors obtain the Dunkl analogy of classical L^(p)Hardy inequality for p>N+2γwith sharp constant((p-N-2γ)/p)^(p),where 2γis the degree of weight function associated with Dunkl operators,and L pHardy inequalities with distant function in some G-invariant domains.Moreover they prove two Hardy-Rellich type inequalities for Dunkl operators.展开更多
文摘A set of methods for interprocedural analysis is proposed. First, an ap-proach for interprocedural constant propagation is given. Then the concept of constant propagation is extended so as to meet the needs of data dependence analysis. Besides certain constant, constant range can also be propagated. The related propagating rules are introduced, and an idea for computing Return function is given. This approach can solve almost all interprocedural constant propagation problems with non-recursive calls. Second, a muItiple-version par-allelizing technique is also proposed for alias problem. The work related to this paper has been implemented on a shared-memory parallel computer.
基金the National Natural Science Foundation of China(10771074,10726060)the Natural Science Foundation of Guangdong Province(04020077)
文摘The Hardy-Sobolev inequality with general weights is established, and it is shown that the constant is optimal. The two weights in this inequality are determined by a Bernoulli equation. In addition, the authors obtain the Hardy-Sobolev inequality with general weights and remainder terms. By choosing special weights, it turns to be many versions of the Hardy-Sobolev inequality and the Caffarelli-Kohn-Nirenberg inequality with remainder terms in the literature.
基金Supported by the Project of Scientific Research Fund of Hunan Provincial Education Department (GrantNo.09C789)
文摘In this paper it is shown that a new Hilbert-type integral inequality can be established by introducing two parameters m（m ∈ N） and λ（λ 0）.And the constant factor expressed by the Bernoulli number and π is proved to be the best possible.And then some important and especial results are enumerated.As applications,some equivalent forms are given.
文摘The best constant of discrete Sobolev inequality on the truncated tetrahedron with a weight which describes 2 kinds of spring constants or bond distances. Main results coincides with the ones of known results by Kametaka et al. under the assumption of uniformity of the spring constants. Since the buckyball fullerene C60 has 2 kinds of edges, destruction of uniformity makes us proceed the application to the chemistry of fullerenes.
基金Foundation item： the National Natural Science Foundation of China （No. 10671136） the Natural Science Foundation of Sichuan Provincial Education Department （No. 2005A201）.
文摘For p ：〉 1, many improved or generalized results of the well-known Hardy＇s inequality have been established： In this paper, by means of the weight coefficient method, we establish the following Hardy type inequality for p = -1：∑^n i=1（1/i∑^i j=1 aj）^-1〈∑^n i=1（1-π^2-9/3i）ai^-1,where ai 〉 0, i = 1,2,... ,n. For any fixed positive integer n 〉 2, we study the best constant Cn such that the inequality ∑^ni=1（1/i∑^ij=1aj）^-1≤cn∑^ni=1ai^-1holds. Moreover, by means ofthe Mathematica software, we givesome examples.
基金supported by the National Natural Science Foundation of China(Nos.11771395,12071431)
文摘In this paper,the authors obtain the Dunkl analogy of classical L^(p)Hardy inequality for p>N+2γwith sharp constant((p-N-2γ)/p)^(p),where 2γis the degree of weight function associated with Dunkl operators,and L pHardy inequalities with distant function in some G-invariant domains.Moreover they prove two Hardy-Rellich type inequalities for Dunkl operators.
