The Koppelman-Leray formula on complex manifolds is obtained, and under suitable condition the continuous solution of partial derivative-equation on complex manifolds is obtained.
In this paper we investigate the complexity of several problems concerning 2CNF formulas. At first, we show that the minimal unsatisfiability problem for 2CNF formulas can be solved in linear time. Then we prove that ...In this paper we investigate the complexity of several problems concerning 2CNF formulas. At first, we show that the minimal unsatisfiability problem for 2CNF formulas can be solved in linear time. Then we prove that the problem determining if a 2CNF formula can be transformed to a minimal unsatisfiable formula is also solvable in linear time. Thirdly, we show the polynomial solvability of the satisfiability problem for symmetric monotone formulas in which all clauses has length 2 or ? n - k ( n is the ...展开更多
The Poincare-Bertrand formula takes an important position in the study of complex singular integral. The Poincare-Bertrand formula on the complex sphere in the multidimensional complex Euclidian spaces was given by Sh...The Poincare-Bertrand formula takes an important position in the study of complex singular integral. The Poincare-Bertrand formula on the complex sphere in the multidimensional complex Euclidian spaces was given by Sheng Gong. Using the method of solid angular coefficient, the authors extend the Poincare-Bertrand formula on the complex sphere to the building domain of the complex biballs, and obtain a more general Poincare- Bertrand formula with the solid angular coefficients.展开更多
First, this paper gives another integral representation an bounded convex domain in complex submanifold. Second, using this integral representation, the author easely gets the strengthen consequence of Elgueta.
A weighted Koppelman-Leray-Norguet formula of (r, s) differential forms on a local q-concave wedge in a complex manifold is obtained. By constructing the new weighted kernels, the authors give a new weighted Koppelman...A weighted Koppelman-Leray-Norguet formula of (r, s) differential forms on a local q-concave wedge in a complex manifold is obtained. By constructing the new weighted kernels, the authors give a new weighted Koppelman-Leray-Norguet formula without boundary integral of (r, s) differential forms, which is different from the classical one. The new weighted formula is especially suitable for the case of the local g-concave wedge with a non-smooth boundary, so one can avoid complex estimates of boundary integrals and the density of integral may be not defined on the boundary but only in the domain. Moreover, the weighted integral formulas have much freedom in applications such as in the interpolation of functions.展开更多
In this paper, firstly using different method and technique we derive the cor-responding integral representation formulas of （0, q）（q 〉 0） differential forms for the twotypes of the bounded domains in complex sub...In this paper, firstly using different method and technique we derive the cor-responding integral representation formulas of （0, q）（q 〉 0） differential forms for the twotypes of the bounded domains in complex submanifolds with codimension-m. Secondly weobtain the unified integral representation formulas of （0, q）（q 〉 0） differential forms for thegeneral bounded domain in complex submanifold with codimension-m, which include Hatzi-afratis formula, i.e. Koppelman type integral formula for the bounded domain with smoothboundary in analytic varieties. In particular, when m -- 0, we obtain the unified integralrepresentation formulas of （0, q）（q 〉 0） differential forms for general bounded domain in Cn,which are the generalization and the embodiment of Koppelman-Leray formula.展开更多
The closure of the bounded domains D in Cnconsists of a chain of the slit spaces,and may be divided into two types. Based on the two types of bounded domains in C^n, firstly using different method and technique we der...The closure of the bounded domains D in Cnconsists of a chain of the slit spaces,and may be divided into two types. Based on the two types of bounded domains in C^n, firstly using different method and technique we derive the corresponding integral representation formulas of differentiable functions for complex n-m(0 ≤ m < n) dimensional analytic varieties in the two types of the bounded domains. Secondly we obtain the unified integral representation formulas of differentiable functions for complex n-m(0 ≤ m < n) dimensional analytic varieties in the general bounded domains. When functions are holomorphic, the integral formulas in this paper include formulas of Stout^([1]), Hatziafratis^([2]) and the author^([3]),and are the extension of all the integral representations for holomorphic functions in the existing papers to analytic varieties. In particular, when m = 0, firstly we gave the integral representation formulas of differentiable functions for the two types of bounded domains in C^n. Therefore they can make the concretion of Leray-Stokes formula. Secondly we obtain the unified integral representation formulas of differentiable functions for general bounded domains in C^n. So they can make the Leray-Stokes formula generalizations.展开更多
This paper provides several generalizations of Gauss theorem that counts points on special elliptic curves. It is demonstrated how to implement these generalizations for computation of complex primes, which are applic...This paper provides several generalizations of Gauss theorem that counts points on special elliptic curves. It is demonstrated how to implement these generalizations for computation of complex primes, which are applicable in several protocols providing security in communication networks. Numerical examples illustrate the ideas discussed in this paper.展开更多
The purpose of this paper is to study the maximum trigonometric degree of the quadrature formula associated with m prescribed nodes and n unknown additional nodes in the interval（-π, π]. We show that for a fixed n,...The purpose of this paper is to study the maximum trigonometric degree of the quadrature formula associated with m prescribed nodes and n unknown additional nodes in the interval（-π, π]. We show that for a fixed n, the quadrature formulae with m and m ＋ 1 prescribed nodes share the same maximum degree if m is odd. We also give necessary and sufficient conditions for all the additional nodes to be real, pairwise distinct and in the interval（-π, π] for even m, which can be obtained constructively. Some numerical examples are given by choosing the prescribed nodes to be the zeros of Chebyshev polynomials of the second kind or randomly for m ≥ 3.展开更多
文摘The Koppelman-Leray formula on complex manifolds is obtained, and under suitable condition the continuous solution of partial derivative-equation on complex manifolds is obtained.
文摘In this paper we investigate the complexity of several problems concerning 2CNF formulas. At first, we show that the minimal unsatisfiability problem for 2CNF formulas can be solved in linear time. Then we prove that the problem determining if a 2CNF formula can be transformed to a minimal unsatisfiable formula is also solvable in linear time. Thirdly, we show the polynomial solvability of the satisfiability problem for symmetric monotone formulas in which all clauses has length 2 or ? n - k ( n is the ...
文摘The Poincare-Bertrand formula takes an important position in the study of complex singular integral. The Poincare-Bertrand formula on the complex sphere in the multidimensional complex Euclidian spaces was given by Sheng Gong. Using the method of solid angular coefficient, the authors extend the Poincare-Bertrand formula on the complex sphere to the building domain of the complex biballs, and obtain a more general Poincare- Bertrand formula with the solid angular coefficients.
文摘First, this paper gives another integral representation an bounded convex domain in complex submanifold. Second, using this integral representation, the author easely gets the strengthen consequence of Elgueta.
基金National Natural Science Foundation and Mathematical "Tian Yuan" Foundation of China (10271097 and TY10126033)
文摘A weighted Koppelman-Leray-Norguet formula of (r, s) differential forms on a local q-concave wedge in a complex manifold is obtained. By constructing the new weighted kernels, the authors give a new weighted Koppelman-Leray-Norguet formula without boundary integral of (r, s) differential forms, which is different from the classical one. The new weighted formula is especially suitable for the case of the local g-concave wedge with a non-smooth boundary, so one can avoid complex estimates of boundary integrals and the density of integral may be not defined on the boundary but only in the domain. Moreover, the weighted integral formulas have much freedom in applications such as in the interpolation of functions.
文摘In this paper, firstly using different method and technique we derive the cor-responding integral representation formulas of （0, q）（q 〉 0） differential forms for the twotypes of the bounded domains in complex submanifolds with codimension-m. Secondly weobtain the unified integral representation formulas of （0, q）（q 〉 0） differential forms for thegeneral bounded domain in complex submanifold with codimension-m, which include Hatzi-afratis formula, i.e. Koppelman type integral formula for the bounded domain with smoothboundary in analytic varieties. In particular, when m -- 0, we obtain the unified integralrepresentation formulas of （0, q）（q 〉 0） differential forms for general bounded domain in Cn,which are the generalization and the embodiment of Koppelman-Leray formula.
文摘The closure of the bounded domains D in Cnconsists of a chain of the slit spaces,and may be divided into two types. Based on the two types of bounded domains in C^n, firstly using different method and technique we derive the corresponding integral representation formulas of differentiable functions for complex n-m(0 ≤ m < n) dimensional analytic varieties in the two types of the bounded domains. Secondly we obtain the unified integral representation formulas of differentiable functions for complex n-m(0 ≤ m < n) dimensional analytic varieties in the general bounded domains. When functions are holomorphic, the integral formulas in this paper include formulas of Stout^([1]), Hatziafratis^([2]) and the author^([3]),and are the extension of all the integral representations for holomorphic functions in the existing papers to analytic varieties. In particular, when m = 0, firstly we gave the integral representation formulas of differentiable functions for the two types of bounded domains in C^n. Therefore they can make the concretion of Leray-Stokes formula. Secondly we obtain the unified integral representation formulas of differentiable functions for general bounded domains in C^n. So they can make the Leray-Stokes formula generalizations.
文摘This paper provides several generalizations of Gauss theorem that counts points on special elliptic curves. It is demonstrated how to implement these generalizations for computation of complex primes, which are applicable in several protocols providing security in communication networks. Numerical examples illustrate the ideas discussed in this paper.
基金The NSF (61033012,10801023,10911140268 and 10771028) of China
文摘The purpose of this paper is to study the maximum trigonometric degree of the quadrature formula associated with m prescribed nodes and n unknown additional nodes in the interval（-π, π]. We show that for a fixed n, the quadrature formulae with m and m ＋ 1 prescribed nodes share the same maximum degree if m is odd. We also give necessary and sufficient conditions for all the additional nodes to be real, pairwise distinct and in the interval（-π, π] for even m, which can be obtained constructively. Some numerical examples are given by choosing the prescribed nodes to be the zeros of Chebyshev polynomials of the second kind or randomly for m ≥ 3.
