Aiming at overcoming the difficulties in integral forming of thin-walled tubes with complex shapes, a novel forming method by inner and outer pressure through viscous was proposed. In this method, by dividing large de...Aiming at overcoming the difficulties in integral forming of thin-walled tubes with complex shapes, a novel forming method by inner and outer pressure through viscous was proposed. In this method, by dividing large deformation of the part into inner and outer pressure forming deformations, the limit deformation of tube part can be increased by several times. Meanwhile, the principle of viscous inner and outer pressure forming was provided, and key problems during the forming process such as reduction of the wall-thickness and instability wrinkling were analyzed. Thereby, the complex curved surface super-alloy GH3044 thin-walled tube with varying diameter ratio of 1.35(the ratio between the maximum and minimum diameters of the part) can be integrally formed by this method. The experimental surface of the formed part is superior in quality and the wall-thickness distribution is uniform. The results show that the viscous inner and outer pressure forming can provide a new approach for integral forming of thin-walled tubes with complex shapes.展开更多
In order to design the press bend forming path of aircraft integral panels,a novel optimization method was proposed, which integrates FEM equivalent model based on previous study,the artificial neural network response...In order to design the press bend forming path of aircraft integral panels,a novel optimization method was proposed, which integrates FEM equivalent model based on previous study,the artificial neural network response surface,and the genetic algorithm.First,a multi-step press bend forming FEM equivalent model was established,with which the FEM experiments designed with Taguchi method were performed.Then,the BP neural network response surface was developed with the sample data from the FEM experiments.Furthermore,genetic algorithm was applied with the neural network response surface as the objective function. Finally,verification was carried out on a simple curvature grid-type stiffened panel.The forming error of the panel formed with the optimal path is only 0.098 39 and the calculating efficiency has been improved by 77%.Therefore,this novel optimization method is quite efficient and indispensable for the press bend forming path designing.展开更多
This study presents a meso-criterion of dynamic fracture, on the basis of stress in integral form In such way the difficulty due to the singularity of stress distribution at the crack tip is overcome. A micro-paramete...This study presents a meso-criterion of dynamic fracture, on the basis of stress in integral form In such way the difficulty due to the singularity of stress distribution at the crack tip is overcome. A micro-parameter, the atom radius, is introduced into the criterion.Meanwhile a characteristic time concept is taken into account for describing the inertia effect of material. The criterion reveals The criterion reveals the effects of loading rate, defect and sample geometry,material constants including the micro-structure parameter.展开更多
An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, clo...An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.展开更多
In this paper, we are concerned with the following Hardy-Sobolev type system{(-?)^(α/2) u(x) =v^q(x)/|y|^(t_2) (-?)α/2 v(x) =u^p(x)/|y|^(t_1),x =(y, z) ∈(R ~k\{0}) × R^(n-k),(0.1)where 0 < α < n, 0 <...In this paper, we are concerned with the following Hardy-Sobolev type system{(-?)^(α/2) u(x) =v^q(x)/|y|^(t_2) (-?)α/2 v(x) =u^p(x)/|y|^(t_1),x =(y, z) ∈(R ~k\{0}) × R^(n-k),(0.1)where 0 < α < n, 0 < t_1, t_2 < min{α, k}, and 1 < p ≤ τ_1 :=(n+α-2t_1)/( n-α), 1 < q ≤ τ_2 :=(n+α-2 t_2)/( n-α).We first establish the equivalence of classical and weak solutions between PDE system(0.1)and the following integral equations(IE) system{u(x) =∫_( R^n) G_α(x, ξ)v^q(ξ)/|η|t^2 dξ v(x) =∫_(R^n) G_α(x, ξ)(u^p(ξ))/|η|^(t_1) dξ,(0.2)where Gα(x, ξ) =(c n,α)/(|x-ξ|^(n-α))is the Green's function of(-?)^(α/2) in R^n. Then, by the method of moving planes in the integral forms, in the critical case p = τ_1 and q = τ_2, we prove that each pair of nonnegative solutions(u, v) of(0.1) is radially symmetric and monotone decreasing about the origin in R^k and some point z0 in R^(n-k). In the subcritical case (n-t_1)/(p+1)+(n-t_2)/(q+1)> n-α,1 < p ≤ τ_1 and 1 < q ≤ τ_2, we derive the nonexistence of nontrivial nonnegative solutions for(0.1).展开更多
In this paper, we consider the semilinear equation involving the fractional Laplacian in the Euclidian space R^n:(-△)^α/2u(x) : f(xn)u^p(x), x ∈R^n(0.1)in the subcritical case with 1〈 p〈n+a/n-a.Inste...In this paper, we consider the semilinear equation involving the fractional Laplacian in the Euclidian space R^n:(-△)^α/2u(x) : f(xn)u^p(x), x ∈R^n(0.1)in the subcritical case with 1〈 p〈n+a/n-a.Instead of carrying out direct investigations on pseudo-differential equation (0.1), we first seek its equivalent form in an integral equation as below:u(x)=∫R^nG∞(x, y) f(yn) u^p(y)dy,where G∞(x, y) is the Green's function associated with the fractional Laplacian in R^n. Employing the method of moving planes in integral forms, we are able to derive the nonexistence of positive solutions for (0.2) in the subcritical case. Thanks to the equivalence, same con- clusion is true for (0.1).展开更多
The meshless local Petrov_Galerkin (MLPG) method for solving the bending problem of the thin plate were presented and discussed. The method used the moving least_squares approximation to interpolate the solution varia...The meshless local Petrov_Galerkin (MLPG) method for solving the bending problem of the thin plate were presented and discussed. The method used the moving least_squares approximation to interpolate the solution variables, and employed a local symmetric weak form. The present method was a truly meshless one as it did not need a finite element or boundary element mesh, either for purpose of interpolation of the solution, or for the integration of the energy. All integrals could be easily evaluated over regularly shaped domains (in general, spheres in three_dimensional problems) and their boundaries. The essential boundary conditions were enforced by the penalty method. Several numerical examples were presented to illustrate the implementation and performance of the present method. The numerical examples presented show that high accuracy can be achieved for arbitrary grid geometries for clamped and simply_supported edge conditions. No post processing procedure is required to computer the strain and stress, since the original solution from the present method, using the moving least squares approximation, is already smooth enough.展开更多
This paper presents derivation of a priori error estimates and convergence rates of finite element processes for boundary value problems (BVPs) described by self adjoint, non-self adjoint, and nonlinear differential o...This paper presents derivation of a priori error estimates and convergence rates of finite element processes for boundary value problems (BVPs) described by self adjoint, non-self adjoint, and nonlinear differential operators. A posteriori error estimates are discussed in context with local approximations in higher order scalar product spaces. A posteriori error computational framework (without the knowledge of theoretical solution) is presented for all BVPs regardless of the method of approximation employed in constructing the integral form. This enables computations of local errors as well as the global errors in the computed finite element solutions. The two most significant and essential aspects of the research presented in this paper that enable all of the features described above are: 1) ensuring variational consistency of the integral form(s) resulting from the methods of approximation for self adjoint, non-self adjoint, and nonlinear differential operators and 2) choosing local approximations for the elements of a discretization in a subspace of a higher order scalar product space that is minimally conforming, hence ensuring desired global differentiability of the approximations over the discretizations. It is shown that when the theoretical solution of a BVP is analytic, the a priori error estimate (in the asymptotic range, discussed in a later section of the paper) is independent of the method of approximation or the nature of the differential operator provided the resulting integral form is variationally consistent. Thus, the finite element processes utilizing integral forms based on different methods of approximation but resulting in VC integral forms result in the same a priori error estimate and convergence rate. It is shown that a variationally consistent (VC) integral form has best approximation property in some norm, conversely an integral form with best approximation property in some norm is variationally consistent. That is best approximation property of the integral form and the VC of the integral form is equivalent, one cannot exist without the other, hence can be used interchangeably. Dimensional model problems consisting of diffusion equation, convection-diffusion equation, and Burgers equation described by self adjoint, non-self adjoint, and nonlinear differential operators are considered to present extensive numerical studies using Galerkin method with weak form (GM/WF) and least squares process (LSP) to determine computed convergence rates of various error norms and present comparisons with the theoretical convergence rates.展开更多
This article studies on Cauchy’s function f (z) and its integral, (2πi)J[ f (z)] ≡ ■C f (t)dt/(t z) taken along a closed simple contour C, in regard to their comprehensive properties over the entire z =...This article studies on Cauchy’s function f (z) and its integral, (2πi)J[ f (z)] ≡ ■C f (t)dt/(t z) taken along a closed simple contour C, in regard to their comprehensive properties over the entire z = x + iy plane consisted of the simply connected open domain D + bounded by C and the open domain D outside C. (1) With f (z) assumed to be C n (n ∞-times continuously differentiable) z ∈ D + and in a neighborhood of C, f (z) and its derivatives f (n) (z) are proved uniformly continuous in the closed domain D + = [D + + C]. (2) Cauchy’s integral formulas and their derivatives z ∈ D + (or z ∈ D ) are proved to converge uniformly in D + (or in D = [D +C]), respectively, thereby rendering the integral formulas valid over the entire z-plane. (3) The same claims (as for f (z) and J[ f (z)]) are shown extended to hold for the complement function F(z), defined to be C n z ∈ D and about C. (4) The uniform convergence theorems for f (z) and F(z) shown for arbitrary contour C are adapted to find special domains in the upper or lower half z-planes and those inside and outside the unit circle |z| = 1 such that the four general- ized Hilbert-type integral transforms are proved. (5) Further, the singularity distribution of f (z) in D is elucidated by considering the direct problem exemplified with several typ- ical singularities prescribed in D . (6) A comparative study is made between generalized integral formulas and Plemelj’s formulas on their differing basic properties. (7) Physical sig- nificances of these formulas are illustrated with applicationsto nonlinear airfoil theory. (8) Finally, an unsolved inverse problem to determine all the singularities of Cauchy function f (z) in domain D , based on the continuous numerical value of f (z) z ∈ D + = [D + + C], is presented for resolution as a conjecture.展开更多
Let n≥2 be an integer. We give necessary and sufficient conditions for an integral quadratic form over dyadic local fields to be n-universal by using invariants from Beli's theory of bases of norm generators.Also...Let n≥2 be an integer. We give necessary and sufficient conditions for an integral quadratic form over dyadic local fields to be n-universal by using invariants from Beli's theory of bases of norm generators.Also, we provide a minimal set for testing n-universal quadratic forms over dyadic local fields, as an analogue of Bhargava and Hanke's 290-theorem(or Conway and Schneeberger's 15-theorem) on universal quadratic forms with integer coefficients.展开更多
The shape control strategy of micro grooves is still unclear and challenging during the porthole die extrusion of grooved micro heat pipe(MHP).Through the simulation and experiment of porthole die extrusion of a MHP p...The shape control strategy of micro grooves is still unclear and challenging during the porthole die extrusion of grooved micro heat pipe(MHP).Through the simulation and experiment of porthole die extrusion of a MHP profile,the metal flow hysteresis behavior within micro features and the effect of ram speed and extrusion temperature on it and the resulting forming integrity was elucidated.Innovatively,Taguchi design and variance analysis(ANOVA)were introduced to determine their influence magnitude on the metal flow uniformity calculated by simulation results.The main findings are given below.The metal flow hysteresis derives from part feature size effect.The negligible friction-affected area during conventional extrusion severely slows down the metal flow within micro features during the MHP profile extrusion,which is due to the surge in the area ratio of the friction-affected area to the region in which it is located.Neither ram speed nor extrusion temperature can change the distribution of the friction-affected area.However,increasing ram speed multiplies the metal flow hysteresis and severely reduces the forming integrity,whereas extrusion temperature has little effect.Following this strategy,batch extrusion of the profile with microgrooved width of 0.27±0.02 mm was achieved in industrialized conditions.展开更多
A three dimensional Lorentzian hypersurface x : M_1~3→ R_1~4 is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformat...A three dimensional Lorentzian hypersurface x : M_1~3→ R_1~4 is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of R_1~4. Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.展开更多
In this paper, we investigate the diffusion of oxygen in a spherical cell including nonlin- ear uptake kinetics. The Lane-Emden boundary value problem with Michaelis-Menten kinetics is used to model the dimensionless ...In this paper, we investigate the diffusion of oxygen in a spherical cell including nonlin- ear uptake kinetics. The Lane-Emden boundary value problem with Michaelis-Menten kinetics is used to model the dimensionless oxygen concentration in our analysis. We first convert the Lane-Emden equation to the equivalent Volterra integral form that incorporates the boundary condition at the cell's center, but which still leaves one unknown constant of integration, as an intermediate step. Next we evaluate the Volterra integral form of the concentration and its flux at the cell membrane and substitute them into the remaining boundary condition to determine the unknown constant of integration by appropriate algebraic manipulations. Upon substitution we have converted the equivalent Volterra integral form to the equivalent Fredholm Volterra integral form, and use the Duan Rach modified recursion scheme to effectively decompose the unknown constant of integration by formula. The Adomian decomposition method is then applied to solve the equivalent nonlinear Fredholm-Volterra integral representation of the LaneEmden model for the concentration of oxygen within the spherical cell. Our approach shows enhancements over existing techniques.展开更多
We study positive solutions to the following higher order SchrSdinger system with Dirichlet boundary conditions on a half space: where a is any even number between 0 and n. This PDE system is closely related to the i...We study positive solutions to the following higher order SchrSdinger system with Dirichlet boundary conditions on a half space: where a is any even number between 0 and n. This PDE system is closely related to the integral system where G is the corresponding Green's function on the half space. More precisely, we show that every solution to (0.2) satisfies (0.1), and we believe that the converse is also true. We establish a Liouville type theorem the non-existence of positive solutions to (0.2) under a very weak condition that u and v are only locally integrable. Some new ideas are involved in the proof, which can be applied to a system of more equations.展开更多
The concept of geominimal surface area is first intro- duced, and then, the affine surface area projection inequality is given by Petty. In recent years, associated with geominimal surface area, Lutwak obtained some s...The concept of geominimal surface area is first intro- duced, and then, the affine surface area projection inequality is given by Petty. In recent years, associated with geominimal surface area, Lutwak obtained some significant results containing the extended affine projection inequality. In this paper, combining with curvature image and combinations of convex bodies, we get some inequalities for geominimal surface areas. Furthermore, the integral form of geominimal surface area is obtained.展开更多
We determine the set of degrees between some classes of oriented closed (n - 1)-connected 2n-manifolds by using the arithmetic theory of quadratic forms.
In this paper a kind of theta function is constructed by means of spherical function. And we also obtain some Hilbert modular forms of half integral weight.
基金Funded by the National Natural Science Foundation of China(No.51205260)
文摘Aiming at overcoming the difficulties in integral forming of thin-walled tubes with complex shapes, a novel forming method by inner and outer pressure through viscous was proposed. In this method, by dividing large deformation of the part into inner and outer pressure forming deformations, the limit deformation of tube part can be increased by several times. Meanwhile, the principle of viscous inner and outer pressure forming was provided, and key problems during the forming process such as reduction of the wall-thickness and instability wrinkling were analyzed. Thereby, the complex curved surface super-alloy GH3044 thin-walled tube with varying diameter ratio of 1.35(the ratio between the maximum and minimum diameters of the part) can be integrally formed by this method. The experimental surface of the formed part is superior in quality and the wall-thickness distribution is uniform. The results show that the viscous inner and outer pressure forming can provide a new approach for integral forming of thin-walled tubes with complex shapes.
基金Project(20091102110021)supported by the Specialized Research Fund for the Doctoral Program of Higher Education of China
文摘In order to design the press bend forming path of aircraft integral panels,a novel optimization method was proposed, which integrates FEM equivalent model based on previous study,the artificial neural network response surface,and the genetic algorithm.First,a multi-step press bend forming FEM equivalent model was established,with which the FEM experiments designed with Taguchi method were performed.Then,the BP neural network response surface was developed with the sample data from the FEM experiments.Furthermore,genetic algorithm was applied with the neural network response surface as the objective function. Finally,verification was carried out on a simple curvature grid-type stiffened panel.The forming error of the panel formed with the optimal path is only 0.098 39 and the calculating efficiency has been improved by 77%.Therefore,this novel optimization method is quite efficient and indispensable for the press bend forming path designing.
文摘This study presents a meso-criterion of dynamic fracture, on the basis of stress in integral form In such way the difficulty due to the singularity of stress distribution at the crack tip is overcome. A micro-parameter, the atom radius, is introduced into the criterion.Meanwhile a characteristic time concept is taken into account for describing the inertia effect of material. The criterion reveals The criterion reveals the effects of loading rate, defect and sample geometry,material constants including the micro-structure parameter.
基金Project(51274250)supported by the National Natural Science Foundation of ChinaProject(2012BAK09B02-05)supported by the National Key Technology R&D Program during the 12th Five-year Plan of China
文摘An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.
基金supported by the NNSF of China(11371056)partly supported by the NNSF of China(11501021)+1 种基金the China Postdoctoral Science Foundation(2013M540057)partly supported by Scientific Research Fund of Jiangxi Provincial Education Department(GJJ160797)
文摘In this paper, we are concerned with the following Hardy-Sobolev type system{(-?)^(α/2) u(x) =v^q(x)/|y|^(t_2) (-?)α/2 v(x) =u^p(x)/|y|^(t_1),x =(y, z) ∈(R ~k\{0}) × R^(n-k),(0.1)where 0 < α < n, 0 < t_1, t_2 < min{α, k}, and 1 < p ≤ τ_1 :=(n+α-2t_1)/( n-α), 1 < q ≤ τ_2 :=(n+α-2 t_2)/( n-α).We first establish the equivalence of classical and weak solutions between PDE system(0.1)and the following integral equations(IE) system{u(x) =∫_( R^n) G_α(x, ξ)v^q(ξ)/|η|t^2 dξ v(x) =∫_(R^n) G_α(x, ξ)(u^p(ξ))/|η|^(t_1) dξ,(0.2)where Gα(x, ξ) =(c n,α)/(|x-ξ|^(n-α))is the Green's function of(-?)^(α/2) in R^n. Then, by the method of moving planes in the integral forms, in the critical case p = τ_1 and q = τ_2, we prove that each pair of nonnegative solutions(u, v) of(0.1) is radially symmetric and monotone decreasing about the origin in R^k and some point z0 in R^(n-k). In the subcritical case (n-t_1)/(p+1)+(n-t_2)/(q+1)> n-α,1 < p ≤ τ_1 and 1 < q ≤ τ_2, we derive the nonexistence of nontrivial nonnegative solutions for(0.1).
文摘In this paper, we consider the semilinear equation involving the fractional Laplacian in the Euclidian space R^n:(-△)^α/2u(x) : f(xn)u^p(x), x ∈R^n(0.1)in the subcritical case with 1〈 p〈n+a/n-a.Instead of carrying out direct investigations on pseudo-differential equation (0.1), we first seek its equivalent form in an integral equation as below:u(x)=∫R^nG∞(x, y) f(yn) u^p(y)dy,where G∞(x, y) is the Green's function associated with the fractional Laplacian in R^n. Employing the method of moving planes in integral forms, we are able to derive the nonexistence of positive solutions for (0.2) in the subcritical case. Thanks to the equivalence, same con- clusion is true for (0.1).
文摘The meshless local Petrov_Galerkin (MLPG) method for solving the bending problem of the thin plate were presented and discussed. The method used the moving least_squares approximation to interpolate the solution variables, and employed a local symmetric weak form. The present method was a truly meshless one as it did not need a finite element or boundary element mesh, either for purpose of interpolation of the solution, or for the integration of the energy. All integrals could be easily evaluated over regularly shaped domains (in general, spheres in three_dimensional problems) and their boundaries. The essential boundary conditions were enforced by the penalty method. Several numerical examples were presented to illustrate the implementation and performance of the present method. The numerical examples presented show that high accuracy can be achieved for arbitrary grid geometries for clamped and simply_supported edge conditions. No post processing procedure is required to computer the strain and stress, since the original solution from the present method, using the moving least squares approximation, is already smooth enough.
文摘This paper presents derivation of a priori error estimates and convergence rates of finite element processes for boundary value problems (BVPs) described by self adjoint, non-self adjoint, and nonlinear differential operators. A posteriori error estimates are discussed in context with local approximations in higher order scalar product spaces. A posteriori error computational framework (without the knowledge of theoretical solution) is presented for all BVPs regardless of the method of approximation employed in constructing the integral form. This enables computations of local errors as well as the global errors in the computed finite element solutions. The two most significant and essential aspects of the research presented in this paper that enable all of the features described above are: 1) ensuring variational consistency of the integral form(s) resulting from the methods of approximation for self adjoint, non-self adjoint, and nonlinear differential operators and 2) choosing local approximations for the elements of a discretization in a subspace of a higher order scalar product space that is minimally conforming, hence ensuring desired global differentiability of the approximations over the discretizations. It is shown that when the theoretical solution of a BVP is analytic, the a priori error estimate (in the asymptotic range, discussed in a later section of the paper) is independent of the method of approximation or the nature of the differential operator provided the resulting integral form is variationally consistent. Thus, the finite element processes utilizing integral forms based on different methods of approximation but resulting in VC integral forms result in the same a priori error estimate and convergence rate. It is shown that a variationally consistent (VC) integral form has best approximation property in some norm, conversely an integral form with best approximation property in some norm is variationally consistent. That is best approximation property of the integral form and the VC of the integral form is equivalent, one cannot exist without the other, hence can be used interchangeably. Dimensional model problems consisting of diffusion equation, convection-diffusion equation, and Burgers equation described by self adjoint, non-self adjoint, and nonlinear differential operators are considered to present extensive numerical studies using Galerkin method with weak form (GM/WF) and least squares process (LSP) to determine computed convergence rates of various error norms and present comparisons with the theoretical convergence rates.
文摘This article studies on Cauchy’s function f (z) and its integral, (2πi)J[ f (z)] ≡ ■C f (t)dt/(t z) taken along a closed simple contour C, in regard to their comprehensive properties over the entire z = x + iy plane consisted of the simply connected open domain D + bounded by C and the open domain D outside C. (1) With f (z) assumed to be C n (n ∞-times continuously differentiable) z ∈ D + and in a neighborhood of C, f (z) and its derivatives f (n) (z) are proved uniformly continuous in the closed domain D + = [D + + C]. (2) Cauchy’s integral formulas and their derivatives z ∈ D + (or z ∈ D ) are proved to converge uniformly in D + (or in D = [D +C]), respectively, thereby rendering the integral formulas valid over the entire z-plane. (3) The same claims (as for f (z) and J[ f (z)]) are shown extended to hold for the complement function F(z), defined to be C n z ∈ D and about C. (4) The uniform convergence theorems for f (z) and F(z) shown for arbitrary contour C are adapted to find special domains in the upper or lower half z-planes and those inside and outside the unit circle |z| = 1 such that the four general- ized Hilbert-type integral transforms are proved. (5) Further, the singularity distribution of f (z) in D is elucidated by considering the direct problem exemplified with several typ- ical singularities prescribed in D . (6) A comparative study is made between generalized integral formulas and Plemelj’s formulas on their differing basic properties. (7) Physical sig- nificances of these formulas are illustrated with applicationsto nonlinear airfoil theory. (8) Finally, an unsolved inverse problem to determine all the singularities of Cauchy function f (z) in domain D , based on the continuous numerical value of f (z) z ∈ D + = [D + + C], is presented for resolution as a conjecture.
基金supported by National Natural Science Foundation of China (Grant No. 12171223)the Guangdong Basic and Applied Basic Research Foundation (Grant No. 2021A1515010396)。
文摘Let n≥2 be an integer. We give necessary and sufficient conditions for an integral quadratic form over dyadic local fields to be n-universal by using invariants from Beli's theory of bases of norm generators.Also, we provide a minimal set for testing n-universal quadratic forms over dyadic local fields, as an analogue of Bhargava and Hanke's 290-theorem(or Conway and Schneeberger's 15-theorem) on universal quadratic forms with integer coefficients.
基金co-supported by the National Natural Science Foundation of China (No. 51635005)the 111 Project (No. B18017)
文摘The shape control strategy of micro grooves is still unclear and challenging during the porthole die extrusion of grooved micro heat pipe(MHP).Through the simulation and experiment of porthole die extrusion of a MHP profile,the metal flow hysteresis behavior within micro features and the effect of ram speed and extrusion temperature on it and the resulting forming integrity was elucidated.Innovatively,Taguchi design and variance analysis(ANOVA)were introduced to determine their influence magnitude on the metal flow uniformity calculated by simulation results.The main findings are given below.The metal flow hysteresis derives from part feature size effect.The negligible friction-affected area during conventional extrusion severely slows down the metal flow within micro features during the MHP profile extrusion,which is due to the surge in the area ratio of the friction-affected area to the region in which it is located.Neither ram speed nor extrusion temperature can change the distribution of the friction-affected area.However,increasing ram speed multiplies the metal flow hysteresis and severely reduces the forming integrity,whereas extrusion temperature has little effect.Following this strategy,batch extrusion of the profile with microgrooved width of 0.27±0.02 mm was achieved in industrialized conditions.
基金supported by National Natural Science Foundation of China (Grant Nos. 11331002, 11471021 and 11601513)the Fundamental Research Funds for Central Universitiesthe Project of Fujian Provincial Department of Education (Grant No. JA15123)
文摘A three dimensional Lorentzian hypersurface x : M_1~3→ R_1~4 is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of R_1~4. Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.
文摘In this paper, we investigate the diffusion of oxygen in a spherical cell including nonlin- ear uptake kinetics. The Lane-Emden boundary value problem with Michaelis-Menten kinetics is used to model the dimensionless oxygen concentration in our analysis. We first convert the Lane-Emden equation to the equivalent Volterra integral form that incorporates the boundary condition at the cell's center, but which still leaves one unknown constant of integration, as an intermediate step. Next we evaluate the Volterra integral form of the concentration and its flux at the cell membrane and substitute them into the remaining boundary condition to determine the unknown constant of integration by appropriate algebraic manipulations. Upon substitution we have converted the equivalent Volterra integral form to the equivalent Fredholm Volterra integral form, and use the Duan Rach modified recursion scheme to effectively decompose the unknown constant of integration by formula. The Adomian decomposition method is then applied to solve the equivalent nonlinear Fredholm-Volterra integral representation of the LaneEmden model for the concentration of oxygen within the spherical cell. Our approach shows enhancements over existing techniques.
基金supported by China Scholarship Council(Grant No.201206060010)
文摘We study positive solutions to the following higher order SchrSdinger system with Dirichlet boundary conditions on a half space: where a is any even number between 0 and n. This PDE system is closely related to the integral system where G is the corresponding Green's function on the half space. More precisely, we show that every solution to (0.2) satisfies (0.1), and we believe that the converse is also true. We establish a Liouville type theorem the non-existence of positive solutions to (0.2) under a very weak condition that u and v are only locally integrable. Some new ideas are involved in the proof, which can be applied to a system of more equations.
基金Supported by the National Natural Science Foundation of China(11371224)Innovation Foundation of Graduate Student of China Three Gorges University(2013CX084)
文摘The concept of geominimal surface area is first intro- duced, and then, the affine surface area projection inequality is given by Petty. In recent years, associated with geominimal surface area, Lutwak obtained some significant results containing the extended affine projection inequality. In this paper, combining with curvature image and combinations of convex bodies, we get some inequalities for geominimal surface areas. Furthermore, the integral form of geominimal surface area is obtained.
基金Supported by Morningside Center of Mathematics, National Natural Science Foundation of China (Grant Nos. 10325105 and 10531060)KRF (2003-070-C00001)
文摘We determine the set of degrees between some classes of oriented closed (n - 1)-connected 2n-manifolds by using the arithmetic theory of quadratic forms.
文摘In this paper a kind of theta function is constructed by means of spherical function. And we also obtain some Hilbert modular forms of half integral weight.