中国科学院数学与系统科学研究院期刊网

Acta Mathematicae Applicatae Sinica 2011 Vol.34

Please wait a minute...
For Selected: Toggle Thumbnails
A Posteriori Error Estimates for the Darwin Model
LIAO Caixiu, YING Lung-an
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 1-9.   DOI: 10.12387/C2011001
Abstract131)      PDF(pc) (317KB)(513)       Save
The Darwin model is a very good approximation model for the Maxwell’s equa- tions when no high frequency or no rapid current change occurs in 3-D bounded simply connected domains. In this paper, we consider the adaptive finite element method for the Darwin model. The method based on a posteriori error analysis. In this paper, we provide the upper bound estimation based on a posteriori error estimates.

Related Articles | Metrics
The Positive Solution to a Class of Second-order Semipositone Eigenvalue Problems
LUAN Shixia, SUN Qinfu
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 10-16.   DOI: 10.12387/C2011002
Abstract98)      PDF(pc) (261KB)(131)       Save
In this paper, by using the fixed point theorems in cones the existence of positive solutions for the second-order semipositone eigenvalue problems Lu+λf(t, u)=0, αu(0)-βu'(0)=0, γu(1)+δu'(1)=0 is obtained under the condition that f is super-linear(sub-linear). The results obtained in this paper essentially improve, generalize many well-known results.

Related Articles | Metrics
On Existence of Solutions of p-Laplace Equations with Supercritical Exponents
WEI Gongming
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 17-23.   DOI: 10.12387/C2011003
Abstract140)      PDF(pc) (223KB)(92)       Save
The existence of positive solution for a class of p-Laplace equations with super- critical exponents is proved. Some properties of the solution are also given.

Related Articles | Metrics
Joint Asymptotic Distribution of Exceedances Point Process and Partial Sum of Strong Dependent Non-stationary Gaussian Sequences
TAN Zhongquan, PENG Zuoxiang
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 24-32.   DOI: 10.12387/C2011004
Abstract90)      PDF(pc) (271KB)(102)       Save
Let {Xi}i=1 be a standardized strong dependent non-stationary Gaussian se-quence, and Ntn be a point process of exceedances of level μn(x) by X1,X2, · · · ,Xtn,
Mtnk be the k-th largest maxima of X1,X2, · · · ,Xtn, where tn is a sequence of increasing postive integer numbers. Under some conditions, the joint asymptotic distribution functions of Nn and
are obtained.

Related Articles | Metrics
Searching for Integrating Factors of the 3-rd Order Autonomous System Based on Two One-parameter Lie Groups
LI Fangfang, HU Yanxia
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 33-39.   DOI: 10.12387/C2011005
Abstract84)      PDF(pc) (217KB)(478)       Save
The method to obtain the integrating factors of the 3-rd order autonomous system based on two one-parameter Lie groups is given and shown.

Related Articles | Metrics
Symmetric Vector Quasi-equilibrium Problems for Set-valued Mappings
FU Junyi, Wang Sanhua
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 40-49.   DOI: 10.12387/C2011006
Abstract90)      PDF(pc) (260KB)(178)       Save
The efficient solution of symmetric vector quasi-equilibrium problem for set- valued mappings is introduced. By using the scalarization method and fixed point theo- rem, existence theorems are obtained. As applications, existence theorems for new types of generalized vector saddle points, vector variational inequality, and vector complementarity problem are established.

Related Articles | Metrics
Criteria For Nonsingular H-matrices
LENG Chunyong
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 50-56.   DOI: 10.12387/C2011007
Abstract160)      PDF(pc) (246KB)(490)       Save
In this paper, adopted a k-part partition of matrices index set, obtain some new criteria for nonsingular H-matrices, which include and generalize some relative results. Their effectiveness is illustrated by numerical examples.

Related Articles | Metrics
The Multiscale Enrichment Petrov-Galerkin Method for the Non-stationary Stokes Equation
BAI Yanhong, FENG Minfu
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 57-72.   DOI: 10.12387/C2011008
Abstract102)      PDF(pc) (355KB)(78)       Save
This work concerns the development of stabilized finite element methods for the nonstationary stokes problem considering equal order of velocity and pressure interpolations. The approach is based on the enrichment of the standard polynomial space for the velocity component with multiscale functions, a Petrov-Galerkin approach is employed. Basing on multiscale functions that relate or don’t relate with the time, backward Euler method is employed for the time part. And we studied the stability and convergence of the two forms.

Related Articles | Metrics
A Note on the Single Machine Competitive Scheduling Problem with Two-agent 1‖∑wjAcjA: fmaxBQ
LUO Wenchang, LI Jianqiu
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 73-80.   DOI: 10.12387/C2011009
Abstract85)      PDF(pc) (331KB)(262)       Save

In this paper, we consider a single machine competitive scheduling problem with two-agent 1‖∑wjAcjA: fmaxBQand prove that the problems1‖∑wjAcjA: fmaxBQ, 1|MAi|wjcj and 1|hi, pmtn|∑wjcjare equivalent. For the special case with wj=pj , we show that there exists a 2-approximation algorithm which is named as longest-processing- time-first (LPT) algorithm and the bound is tight. As for the general case with arbitrary wj , we argue that there exists a (4+ε)-approximation algorithm. when the number of jobs belonging to agent B is fixed, we then propose a pseudo-polynomial time dynamic programming algorithm. Moreover, we point out that the problem 1‖∑wjAcjA: ∑wjBcjBQadmits a polynomial time approximation scheme (PTAS).

Related Articles | Metrics
Existence and Uniqueness of the Solution for Backward Doubly Stochastic Differential Equation Driven by L'evy Process under the Generalized Bihari Condition
LIN Aihong, XIA Ningmao
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 81-95.   DOI: 10.12387/C2011010
Abstract127)      PDF(pc) (365KB)(446)       Save
This paper considers the backward doubly stochastic differential equation driven by Lévy process: Under the conditions that g satisfies the Lipschitz condition, and f satisfies the generalized
Bihari condition: |f(t,y1,u1,z1)-f(t,y2,u2,z2)|2c(t)k(|y1-y2|2)+K (|u1-u2|2+‖z1-z22) we can use the generalized Itô’s formula, Picard iteration, and interval extension process to
prove the existence and uniqueness of the Ft adapted solutions, which generalizes the results
obtained previously by others.

Related Articles | Metrics
Existence of Moment for a Class of Nonlinear Autoregressive Series of Exponential Iterative Compression
JIN Yang
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 96-101.   DOI: 10.12387/C2011011
Abstract92)      PDF(pc) (259KB)(424)       Save
In this paper I discuss the existence of moment for the nonlinear autoregres- sive model: xt=φ(xt-1,···,xt-p)+εt , when the following geometric ergodicity condi- tions are met: (i) |φk(y0,y-1,···,y-p+1)-φk(y0',y-1,···,y-p+1)|≤ck|y0-y0'|;(ii) |φk(y0,y-1},···,y-p+1)|≤Mpk(|y0|+···+|y-p+1|)+c. I find that if for a real number r ≥ 1, E|εt|r < ∞, then E|xt|r< ∞. This result complements the existing vacancy in the literature, that for (i)(ii) no corresponding existence of moment result was given.

Related Articles | Metrics
Further Study on the Nonemptiness and Boundedness of the Weakly Efficient Solution Set of a Convex Vector Real Reflexive Banach Space with Application
ZHANG Yaqin
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 102-112.   DOI: 10.12387/C2011012
Abstract104)      PDF(pc) (294KB)(111)       Save
In this paper, I first characterize the nonemptiness and boundedness of the weakly efficient solution set of convex vector optimization problem, especially a cone-constrained convex vector optimization problem in infinite-dimensional real reflexive Banach spaces. More specifically, I will consider the covex vector optimization problem when the objective space Rm is ordered by a nontrivial, polyhedral cone with nonempty interior instead of the nonnegative orthant R+m. Then, I apply the characterizations to the convergence analysis of a class of penalty methods.

Related Articles | Metrics
The Initial and Boundary Value Problems to a Kind of Nonlinear Evolution Equations
Yong Yan
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 113-121.   DOI: 10.12387/C2011013
Abstract89)      PDF(pc) (263KB)(88)       Save
This paper studied the initial and boundary value problems to a kind of non-
linear parabolic equations: ut-f(u)xx=0, x∈R+, f'(u)>0, u(0,t)=u-, t≥0; u (+∞,0)=u+. The general case u-u+ is considered. It is proved that under some
smallness conditions the solutions of this problem tend to the self-similar solution
as the time t goes to infinity. Furthermore, the optimal decay rate is also obtained which
reads (1+t)-(1/4).

Related Articles | Metrics
On the Strong Law of Large Numbers for Pairwise NQD Random Variables with Different Distributions
SHI Jianhua
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 122-130.   DOI: 10.12387/C2011014
Abstract91)      PDF(pc) (296KB)(397)       Save
In this paper, we talk about the strong convergence law of partial sums and product sums for pairwise NQD random variables with different distributions under a set of extensive condition. Under weaker condition, we extend and improve some latest conclu- sions. The results in our paper have more superiority, they are the genelization of relevant classic conclusions in independent random variable case.

Related Articles | Metrics
Global Existence of Solutions for a Predator-prey-mutualist Model with Cross-diffusion
ZHANG Lina, FU Shengmao
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 131-138.   DOI: 10.12387/C2011015
Abstract91)      PDF(pc) (295KB)(86)       Save
Using the energy estimate method, Sobolev embedding theorems and the bootstrap arguments, the global existence of classical solutions for a predator-prey-mutualist model with cross-diffusion is proved when the space dimension is less than 10.

Related Articles | Metrics
Global Structure of Positive Solutions for Singular Eigenvalue Problems
HU Lianggen, ZHOU Xianfeng
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 139-148.   DOI: 10.12387/C2011016
Abstract1672)      PDF(pc) (313KB)(447)       Save
In this paper, we consider the singular eigenvalue problem for second-order
differential equation

where α, γ > 0, β, δ ≥ 0, h ∈ C((0, 1), (0,+∞)) and h may have singular at t = 0 and/or
t = 1, fC([0,+∞), (0,+∞)), f(0) > 0 and
By the use of global
continuation theorem, solution of upper and lower bounded and the fixed point index, we
give the existence, multiplicity and nonexistence of positive solution of differential equation.
Furthermore, we discuss the changing trend of solution as the parameter changing.

Related Articles | Metrics
Discontinuity of Dimension on Parameters for a Class of Homogeneous Moran Sets for Recurrent Event Data
XUE Yumei, ZHANG Xiao
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 149-153.   DOI: 10.12387/C2011017
Abstract86)      PDF(pc) (233KB)(155)       Save
Feng Dejun et al. introduced homogenous Cantor sets and partial homogeneous Cantor sets in their related papers. In this paper, we construct a class of homogeneousMoran sets between them and obtain an exact formula of Hausdorff dimension. In the meantime, we discuss the discontinuity of dimensions on parameters.

Related Articles | Metrics
The Degree Conditions for Graphs to be [a,b;n]-uniform Graphs
TANG Siping
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 154-167.   DOI: 10.12387/C2011018
Abstract1262)      PDF(pc) (303KB)(370)       Save
Let t,a, b and n be integers with 1≤ab, t≥3 and n ≥ 1. A graph G is called K1,t-,free if G contains no K1,t, as an induced subgraph. A graph G is called [a,b;n]- uniform graph if for any matching M with n edges of G, there is an [a,b]-factor F ofG containing M and there is another [a,b]-factor F′ of G excluding M. The degree conditions for K1,t-,free graph G to be an [a,b;n]-uniform graph are given. Furthermore, it is shown that many results in this paper are sharp in some sense.
Related Articles | Metrics
Several Types of Convergence Rates of the GI/G/1 Queueing System
LI Xiaohua, HOU Zhenting
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 168-179.   DOI: 10.12387/C2011019
Abstract1400)      PDF(pc) (288KB)(394)       Save
For stochastic models, ergodicity and the decay rate of stationary distribution in tail are two fundamental issues. They are usually studied separately since their concepts are obviously different. In this paper, we study the waiting time process of GI/G/1 queuing system in the two aspects. We shall give that geometric ergodicity, the geometric decay of stationary distribution in tail, and the geometric decay of the service distribution in tail are equivalent. Then we shall prove that l-ergodicity, (l-1)-th declay of stationary distribution in tail, and the l-th decay of the service distribution in tail are equivalent. Finally, we prove that it is not strong ergodicity.
Related Articles | Metrics
Two Asymptotic Distributions for Strongly Dependent Non-stationary Sequences with a Trend Component
LIN Fuming, WANG Lili, PENG Zuoxiang
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 180-189.   DOI: 10.12387/C2011020
Abstract1454)      PDF(pc) (290KB)(400)       Save
When {ηn} is a standard stationary normal sequence with r|i-j|=Cov (ηi,ηj
under the condition rnlogn→∞(n→∞), Leadbetter gained the asymptotic distribution
function of . This paper extends {ηn} to the case of non-stationary and with a trend component. Under some mild conditions, the asymptotic distribution function of is obtained. Meanwhile, the joint limiting distribution of sum and maxima of
non-stationary {ηn} is presented.
Related Articles | Metrics
A Method of Solving a Kind of Dual Integral Equations by Decoupling Reduced to Regularized Fredholm Singular Integral Equations with Logarithmic Kernel of First Kind
WANG Wenyou
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 191-209.   DOI: 10.12387/C2011021
Abstract34)      PDF(pc) (368KB)(44)       Save
Original unknown functions are expressed by introducing auxiliary unknown functions and integral relations of auxiliary unknown functions. The dual integral equations are decoupled and reduced to Abel integral equations by using Sonine first finite integral formula and the it is further reduced to regularized Fredholm singular integral equations with logarithmic kernels of first kind by Abel anti-transformation. Thus general solutions of singular integral equations are given. And then analytic solutions of dual integral equa- tions are obtained. Simultaneously the equivalence between dual integral equations and corresponding Fredholm singular integral equations with logarithmic kernel of first kind, the existence and uniqueness of solutions are proved exactly.

Related Articles | Metrics
Central Difference Regularization Method for the Cauchy Problem of the Helmholtz Equation
QIAN Ailin, MAO Jianfeng, GUI Yongxin
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 210-216.   DOI: 10.12387/C2011022
Abstract41)      PDF(pc) (248KB)(15)       Save
The Cauchy problem of Helmholtz equation is severely ill-posed problem.In this paper,we consider the Cauchy problem for the Helmholtz equation where the Cauchy data is given at x = 0 and the solution is sought in the interval 0 < x < 1. A semi-discrete difference schemes together with a choice of regularization parameter is presented and error estimate is obtained.

Related Articles | Metrics
Generalization of Fundamental Theorem of Probability Logic in Multi-valued Propositional Logic
HUI Xiaojing
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 217-228.   DOI: 10.12387/C2011023
Abstract1073)      PDF(pc) (391KB)(403)       Save
By means of probability measure space, the concept of probability which sat- isfied Kolmogorov axioms is introduced in n-valued Lukasiewicz logical system. The fun- damental theorem of probability logic is proved and generalized in n-valued Lukasiewicz logical system, so the estimate of uncertainty of conclusions in inference is improved. The basic methods of probability logic are introduced into quantitative logic and a more general logic metric space has been obtained; The MP ??HS rules of probability are proved by the fundamental theorem of probability logic, and it is the generalization of the MP ??HS rules of truth.

Related Articles | Metrics
High Accuracy Numerical Method for Heat Conduction Equation With Discontinuous Diffusion Coefficient
SONG Shuhong, WANG Shuanghu
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 229-239.   DOI: 10.12387/C2011024
Abstract39)      PDF(pc) (405KB)(15)       Save
For the numerical difficulties on discontinuous diffusion coefficient of heat con- duction equations, the so-called “twin-fitting” adaptive method has been proposed. In this paper, the intrinsic properties of heat conduction equations are extended to high order, and a kind of “twin-fitting” algorithm which is more accurate and more economic is constructed, at last numerical experiments validate the algorithm’s advantages.

Related Articles | Metrics
Analysis for Generalized Cell Mapping Based on Cell Degree Analysis
HAN Zhi, ZHU Xu, XU Zongben
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 240-253.   DOI: 10.12387/C2011025
Abstract51)      PDF(pc) (711KB)(40)       Save
It is difficult to analyze nonlinear dynamic system because of its property. Generalized cell mapping is a powerful tool for analyzing nonlinear dynamic system by the way of discretizing continuous space and mapping. However, inferior accuracy, high complexity and low efficiency of the existing analysis algorithm restrict its application in large-scale and high quality requirement. In the present paper, the concept of cell degree is presented and cells are classified into different categories because of their various cell degree properties. Then from the respect of category of cells, an efficient and precise algorithm of analysis for generalized cell mapping is proposed. And at last, a series of experiments are given to show the validity and advantage of the algorithm.

Related Articles | Metrics
A Class of Generalized Vector Variational Inequalities over Product Sets
HUANG Longguang
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 254-264.   DOI: 10.12387/C2011026
Abstract23)      PDF(pc) (304KB)(94)       Save
A class of generalized vector variational inequalities over product of sets and system of generalized vector variational inequalities are considered. The relationships of solution sets among those variational inequality problems are presented. With the hemi- continuity and several kinds of generalized monotonicities with respect to a vector, several existence results for the solutions of problems mentioned above are established by fixed point theorems of setvalued mappings.

Related Articles | Metrics
The Martingle Pricing for Warrant Bonds under Stochastic Interest Rate
ZHU Dan
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 265-271.   DOI: 10.12387/C2011027
Abstract34)      PDF(pc) (343KB)(310)       Save
The value composition of the Warrant Bonds is discussed in a quantitative analysis. Under stochastic interest we get the pricing formula of Warrant Bonds by means of Martingle approach (risk-neutral valuation).

Related Articles | Metrics
Existence and Stability of Time-periodic Solution for a Predator-prey System with Holling Ⅲ Type Functional Response
SHI Xiulian
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 272-282.   DOI: 10.12387/C2011028
Abstract1937)      PDF(pc) (314KB)(349)       Save
This paper discuss a type of predator-prey system with Holling III type func- tional response. The existence and stability of co-exist periodic solutions are investigated by using the bifurcation theory,the implicit function theorem and the method of asymptotic expansion.

Related Articles | Metrics
Inference for the Ratio of Scale Parameters of Two Weibull Distributions
ZHAO Guimei, XU Xingzhong
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 283-295.   DOI: 10.12387/C2011029
Abstract43)      PDF(pc) (359KB)(275)       Save
In this article, inferences for the ratio of scale parameters of two Weibull distri- bution are studied. We propose the generalized confidence intervals and hypothesis testings for the ratio of scale parameters by generalized pivotal quantities and generalized test vari- ables. When shape parameters are equal, the studies show that the covered probability of 100(1-α)% generalized confidence interval for the ratio of scale parameters is 1-α, and the Type-I error rates is nominal significance level α. When shape parameters are unequal, we also study frequency properties of inference, and the numerical studies show that the proposed generalized confidence and generalized p-values inferential proceduers are satisfac- tory. At last, hypothesis testings for the ratio of shape parameters are studied, we prove that the Type-I error rates are nominal significance level α.

Related Articles | Metrics
An Equivalent Condition about Nonsingularity for Convex Semidefinite Programming
LI Chengjin
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 296-302.   DOI: 10.12387/C2011030
Abstract47)      PDF(pc) (272KB)(15)       Save
An equivalent condition about the nonsingularity of convex semidefinite pro- gramming, which can be viewed as a generalization of the equivalent condtion about the nonsingularity of linear semidefinite programming, will be presented in this paper.

Related Articles | Metrics
A Strongly Convergent Algorithm for the Convex Feasibility Problem
DANG Yazheng, GAO Yan, YANG Jianfang
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 303-312.   DOI: 10.12387/C2011031
Abstract1370)      PDF(pc) (314KB)(407)       Save
It is well known that the classical parallel projection algorithm for convex feasi- bility problem in Hilbert space is weak convergent. In this paper, a modification of parallel projection algorithm is presented by introducing a parameter sequence for solving the con- vex feasibility problem. To prove the strong convergence in a simple way, we introduce a product space. Then, we transmit the modified parallel algorithm in the original space to a aternating one in the product space. Thus, the strong convergence of the modified parallel projection algorithm is derived from the alternating one under some parametric controlling conditions.

Related Articles | Metrics
The Solution of Fractional Difference Equations of Order (k, q)
CHENG Jinfa
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 313-330.   DOI: 10.12387/C2011032
Abstract64)      PDF(pc) (362KB)(93)       Save
This paper first presents a kind of new definition of fractional difference, frac- tional summation, and fractional difference equations, gives methods for explicitly solving fractional difference equations of order (k, q) by use of Z-transform theory.

Related Articles | Metrics
Stability of Adapted Solutions of Stochastic Volterra Integro-equations
GUO Ying, LI Wenxue, WANG Ke
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 331-340.   DOI: 10.12387/C2011033
Abstract66)      PDF(pc) (318KB)(459)       Save
This paper investigates the stability of adapted solutions of stochastic Volterra integro-equations. Applying Lyapunov second method and generalized Itô formula, we ob- tain sufficient criterion of almost sure exponential stability and moment exponential stability of the adapted solutions to stochastic Volterra integro-equations.

Related Articles | Metrics
Deformation and Algebraic Connectivity of Weighted Trees
GUAN Yu, ZHANG Xiaodong, XU Guanghui
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 341-352.   DOI: 10.12387/C2011034
Abstract1201)      PDF(pc) (396KB)(317)       Save
In this paper, utilizing Perron value of bottleneck matrix for a branch based at a vertex and quadratic form of algebraic connectivity, change rules of algebraic connectivity on undirected weighted trees are studied roundly under changing or shafting branches (edges, vertices) and changing weights of edges.Algebraic connectivity could be considered as a measure of central tendency of edges and weights about a weighted tree. We introduce generalized tree and generalized characteristic vertex, and transform a Type II tree into a Type I tree with equal algebraic connectivity. Therefore, it only needs to investigate Type I trees when discuss algebraic connectivity of trees.

Related Articles | Metrics
A New Class of Supermemory Gradient Methods with Multi-step Curve Search Rule
Tang Jingyong, HE Guoping, DONG Li
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 353-362.   DOI: 10.12387/C2011035
Abstract42)      PDF(pc) (352KB)(50)       Save
The paper presents a new class of supermemory gradient methods for uncon- strained optimization problems, and analyzes its global convergence and linear convergence rate. The algorithm generates new iterative points by means of a multi-step curve search rule. The search direction and the stepsize are determined simultaneously at each iteration of the new algorithm. It avoids the computation and storage of some matrices and is suitable to solve large scale optimization problems. Numerical results show that the new method is efficient in practical computation.

Related Articles | Metrics
Global Existence of Weak Solutions to the Two-dimensional Stokes Approximation Equations
MAO Lixia, GUO Zhenhua, YAO Lei
Acta Mathematicae Applicatae Sinica    2011, 34 (1): 363-384.   DOI: 10.12387/C2011036
Abstract30)      PDF(pc) (373KB)(69)       Save
In this paper, we mainly consider Stokes approximation system of compressible flow in two dimensions. We prove the existence of global weak solutions to Stokes approxi- mation system on condition that γ = 1 and γ > 1 by using the similarly method of Eduard Feireisl.

Related Articles | Metrics
A Method of Solving a Kind of Dual Integral Equations by Decoupling Reduced to Regularized Fredholm Singular Integral Equations with Logarithmic Kernel of First Kind
WANG Wenyou
Acta Mathematicae Applicatae Sinica    2011, 34 (2): 191-208.   DOI: 10.12387/C2011037
Abstract1549)      PDF(pc) (368KB)(459)       Save
Original unknown functions are expressed by introducing auxiliary unknown functions and integral relations of auxiliary unknown functions. The dual integral equations are decoupled and reduced to Abel integral equations by using Sonine first finite integral formula and the it is further reduced to regularized Fredholm singular integral equations with logarithmic kernels of first kind by Abel anti-transformation. Thus general solutions of singular integral equations are given. And then analytic solutions of dual integral equa- tions are obtained. Simultaneously the equivalence between dual integral equations and corresponding Fredholm singular integral equations with logarithmic kernel of first kind, the existence and uniqueness of solutions are proved exactly.

Related Articles | Metrics
Central Difference Regularization Method for the Cauchy Problem of the Helmholtz Equation
QIAN Ailin, MAO Jianfeng, GUI Yongxin
Acta Mathematicae Applicatae Sinica    2011, 34 (2): 210-216.   DOI: 10.12387/C2011038
Abstract144)      PDF(pc) (248KB)(737)       Save
The Cauchy problem of Helmholtz equation is severely ill-posed problem.In this paper,we consider the Cauchy problem for the Helmholtz equation where the Cauchy data is given at x = 0 and the solution is sought in the interval 0 < x < 1. A semi-discrete difference schemes together with a choice of regularization parameter is presented and error estimate is obtained.

Related Articles | Metrics
Generalization of Fundamental Theorem of Probability Logic in Multi-valued Propositional Logic
HUI Xiaojing
Acta Mathematicae Applicatae Sinica    2011, 34 (2): 217-228.   DOI: 10.12387/C2011039
Abstract169)      PDF(pc) (391KB)(389)       Save
By means of probability measure space, the concept of probability which sat- isfied Kolmogorov axioms is introduced in n-valued Lukasiewicz logical system. The fun- damental theorem of probability logic is proved and generalized in n-valued Lukasiewicz logical system, so the estimate of uncertainty of conclusions in inference is improved. The basic methods of probability logic are introduced into quantitative logic and a more general logic metric space has been obtained; The MP ??HS rules of probability are proved by the fundamental theorem of probability logic, and it is the generalization of the MP ??HS rules of truth.

Related Articles | Metrics
High Accuracy Numerical Method for Heat Conduction Equation With Discontinuous Diffusion Coefficient
SONG Shuhong, WANG Shuanghu
Acta Mathematicae Applicatae Sinica    2011, 34 (2): 229-239.   DOI: 10.12387/C2011040
Abstract175)      PDF(pc) (405KB)(200)       Save
For the numerical difficulties on discontinuous diffusion coefficient of heat con- duction equations, the so-called “twin-fitting” adaptive method has been proposed. In this paper, the intrinsic properties of heat conduction equations are extended to high order, and a kind of “twin-fitting” algorithm which is more accurate and more economic is constructed, at last numerical experiments validate the algorithm’s advantages.

Related Articles | Metrics