Quadratic functional equations in a set of Lebesgue measure zero

Let R$\mathbb{R}$ be the set of real numbers, Y   a Banach space and f:R→Y$f:\mathbb{R}\to Y$. We prove the Hyers–Ulam stability theorem for the quadratic functional inequality

‖f(x+y)+f(x−y)−2f(x)−2f(y)‖≤?$\Vert f(x+y)+f(x-y)-2f(x)-2f(y)\Vert \le ?$

for all (x,y)∈Ω$(x,y)\in \Omega$, where Ω⊂R²$\Omega \subset {\mathbb{R}}^2$ is of Lebesgue measure 0. Using the same method we dealt with the stability of two more functional equations in a set of Lebesgue measure 0.     

Some More Conservation Results on the Baire Category Theorem

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA₀+Π⁰_∞‐BCT is conservative over RCA₀ with respect to the set of formulae in the form ∃!Xφ(X), where φ is arithmetical. We also consider the conservation of Π⁰_0∞‐BCT over Σ^b₁‐NIA+∇^b₁‐CA.     

Hyperstability of a logarithmic-type functional equation on restricted domains

Let $X$ be a real normed vector space and $f:(0,\infty )\to X$. In this paper, we prove the hyperstability of the logarithmic functional equation

$f\left(x^y\right)?yf\left(x\right)=0$

on $\Gamma$ of Lebesgue measure zero. More precisely, we prove that if $f:(0,\infty )\to X$ satisfies

$6f\left(x^y\right)?yf\left(x\right)6\le ?(x,y)$

for all $(x,y)\in {\Gamma }^{+}?\{(x,y):y>\alpha \left(x\right)\}[\mathrm{resp.}{\Gamma }^{?}?\{(x,y):0<y<\alpha \left(x\right)\}]$ of Lebesgue measure zero, where $\alpha :(0,\infty )\to (0,\infty )$ is an arbitrary given function and $?:(0,\infty )\times (0,\infty )\to [0,\infty )$ satisfies the condition $?(x,y)∕y\to 0$ as $y\to \infty$ [resp. $y\to 0$], then $f$ satisfies the functional equation $f\left(x^y\right)=yf\left(x\right)$ for all $x>0$ and$y>0$.     

MIXED FINITE ELEMENT METHODS FOR A STRONGLY NONLINEAR PARABOLIC PROBLEM

1.IntroductionFOrsecondorderellipticproblems,themixedmethodwasdescribedandanalyzedbymanyauthors[1--3]inthecaseoflinearequationsindivergenceform,aswellasin[4,5]forquasilinearornonlinearproblemsindivergenceform.JohnsonandThorn6e[6]consideredalternativeproofSofthepreviouslyknownerrorestimatesforsuchmethodsintheellipticcase.Theyalsoanalyzedthemixedfiniteelementmethodforthepaxabolicequationgivenbypt--ho~f.Garcia[7]studiedtheconvergenceofmixedfiniteelementapproximationstoquasilinearparabolicequati…     

求解美式回望期权的有限元方法

期权作为一种金融衍生产品,在欧美国家一直很受欢迎.由于其规避风险的特性,期权也吸引了中国投资者的兴趣.基于市场的需求,2015年初,上海证券交易所推出了中国首批期权产品,期权定价问题的研究热潮正席卷全球.本文研究的美式回望期权,是一种路径相关的期权,其支付函数不仅依赖于标的资产的现值,也依赖其历史最值.分析回望期权的特点,不难发现:1)这类期权空间变量的变化范围为二维无界不规则区域,难以应用数值方法直接求解;2)最佳实施边界未知,使得该问题变得高度非线性.本文的主要工作就是解决这两个困难,得到回望期权和最佳实施边界的数值逼近结果.现有的处理问题1)的有效方法是采用标准变量替换、计价单位变换以及Landau变换将定价模型化为一个[0,1]区间上的非线性抛物问题,本文也将沿用这些技巧处理问题1).进一步,采用有限元方法离散简化后的定价模型,并论证了数值解的非负性,提出了利用Newton法求解离散化的非线性系统.最后,通过数值模拟,验证了本文所提算法的高效性和准确性.     

Webster方程有限元法的超收敛性

<正>1前言由语音生成过程建立的数学模型是一个无界区域上的声压波动方程,引入人工边界可将这个无界区域分成一个内部有界区域和另一个无界区域,再将时间和空间进行变量分离,就可以得到一个如下一维简单的基于内部有界区间的微分方程边值问题     

GLOBAL FINITE ELEMENT NONLINEAR GALERKIN METHOD FOR THE PENALIZED NAVIER-STOKES EQUATIONS GLOBAL FINITE ELEMENT NONLINEAR GALERKIN METHOD FOR THE PENALIZED NAVIER-STOKES EQUATIONS

1. IntroductionIn the numerical simulation of the Navier-Stokes equations one encounters three seriousdifficulties in the case of large Reynolds numbers f the treatment of the incomPressibility con-dition divu = 0, the treatment of the noIilinear terms and the large time integration. For thetreatment of the incoInPressibility condition, one use the penalty method in the case of finiteelemellts [1--2l and for the treatmen of the noulinar terms and the large tfor integration, oneuse the nonlin…     

A FINITE VOLUME ELEMENT METHOD FOR THERMAL CONVECTION PROBLEMS

Consider the finite volume element method for the thermal convection problem with the infinite Prandtl number. The author uses a conforming piecewise linear function on a fine triangulation for velocity and temperature, and a piecewise constant function on a coarse triangulation for pressure. For general triangulation the optimal order H^1 norm error estimates are given.     

WELL-CONDITIONED FRAMES FOR HIGH ORDER FINITE ELEMENT METHODS

The purpose of this paper is to discuss representations of high order C⁰finite element spaces on simplicial meshes in any dimension.When computing with high order piecewise polynomials the conditioning of the basis is likely to be important.The main result of this paper is a construction of representations by frames such that the associated L²condition number is bounded independently of the polynomial degree.To our knowledge,such a representation has not been presented earlier.The main tools we will use for the construction is the bubble transform,introduced previously in[1],and properties of Jacobi polynomials on simplexes in higher dimensions.We also include a brief discussion of preconditioned iterative methods for the finite element systems in the setting of representations by frames.     

Generic Hahn–Banach results

Given f:X→R∪{+∞}$f:X\to \mathbb{R}\cup \{+\infty \}$ a convex and lower semi-continuous function defined on a reflexive Banach space X, and L, a closed linear manifold of X over which f takes at least a real value, the aim of this note is to prove the following Baire category result: in the Euclidean setting, the set of affine functions dominated by f on L for which there is no dominated extension to X is always of first Baire category, but this set can be as large as a residual set, provided that X is a reflexive Banach space of infinite dimension.     

MIXED FINITE ELEMENT METHODS FOR FRACTIONAL NAVIER-STOKES EQUATIONS

This paper gives the detailed numerical analysis of mixed finite element method for fractional Navier-Stokes equations.The proposed method is based on the mixed finite element method in space and a finite difference scheme in time.The stability analyses of semi-discretization scheme and fully discrete scheme are discussed in detail.Furthermore,We give the convergence analysis for both semidiscrete and flly discrete schemes and then prove that the numerical solution converges the exact one with order O(h2+k),where h and k:respectively denote the space step size and the time step size.Finally,numerical examples are presented to demonstrate the effectiveness of our numerical methods.     

MULTISCALE FINITE ELEMENT METHOD FOR SUBDIVIDED PERIODIC ELASTIC STRUCTURES OF COMPOSITE MATERIALS

1. IntroductionFor a kind of elastic structures of composite materials of which the geometric and physicalparameters are of some periodicity3 e.g. ) common laminated plate and shell, and fibre reinforced,particle reinforced, and woved composite materials and so forth, we can regard them as theperiodic structures with a unit cell.Generally speaking, it is extremely difficult to compute directly the above elastic structuresby using usual FEM, due to the complicated geometric configurations and …     

A FINITE DIMENSIONAL METHOD FOR SOLVING NONLINEAR ILL-POSED PROBLEMS

1.IntroductionInthispaperweconsiderthenonlinearproblemsoftheformF(x)=co,(1)whereF:D(F)CX-- YisanonlinearoperatorbetweenrealHilbertspacesXandYandcoER(F).ThenormsinXandYwillbedenotedby11'IIxand11'flyrespectively.Wearemainlyinterestedinthoseproblemsofth...     

高阶非线性波动方程的有限差分方法

本文研究一类广泛的高阶非线性波动方程组初边值问题的有限差分格式，用离散泛函分析方法和先验估计的技巧得到了有限差分格式的收敛性。     

ERROR ESTIMATES FOR SPARSE OPTIMAL CONTROL PROBLEMS BY PIECEWISE LINEAR FINITE ELEMENT APPROXIMATION

Optimization problems with L¹-control cost functional subject to an elliptic partial differential equation(PDE)are considered.However,different from the finite dimensiona l¹-regularization optimization,the resulting discretized L¹norm does not have a decoupled form when the standard piecewise linear finite element is employed to discretize the continuous problem.A common approach to overcome this difficulty is employing a nodal quadrature formula to approximately discretize the L¹-norm.In this paper,a new discretized scheme for the L¹-norm is presented.Compared to the new discretized scheme for L¹-norm with the nodal quadrature formula,the advantages of our new discretized scheme can be demonstrated in terms of the order of approximation.Moreover,finite element error estimates results for the primal problem with the new discretized scheme for the L¹-norm are provided,which confirms that this approximation scheme will not change the order of error estimates.To solve the new discretized problem,a symmetric Gauss-Seidel based majorized accelerated block coordinate descent(sGS-mABCD)method is introduced to solve it via its dual.The proposed sGS-mABCD algorithm is illustrated at two numerical examples.Numerical results not only confirm the finite element error estimates,but also show that our proposed algorithm is efficient.     

TIME-DISCRETIZATION PROCEDURE FOR FINITE ELEMENT APPROXIMATION OF COMPRESSIBLE MISCIBLE DISPLACEMENT IN POROUS MEDIA

We'll consider the model of two-phase compressible miscible displacement in porous media which includes molecular diffusion and dispersion in one dimensional space. Time-discretization procedure is established and analysed. The optimal error estimate in L2 norm is proved by introducing a new interpolation operator R.     

On minima of a functional of the gradient: Upper and lower solutions

This paper studies a scalar minimization problem with an integral functional of the gradient under affine boundary conditions. A new approach is proposed using a minimal and a maximal solution to the convexified problem. We prove a density result: any relaxed solution continuously depending on boundary data may be approximated uniformly by solutions of the nonconvex problem keeping continuity relative to data. We also consider solutions to the nonconvex problem having Lipschitz dependence on boundary data with the best Lipschitz constant.     

粘弹性方程一种新的分裂正定混合元法

本文用分裂正定混合有限元方法研究二阶粘弹性方程. 首先构造一种新的分裂正定混合变分形式和基于这种分裂正定混合变分形式关于时间的半离散格式, 然后绕开关于空间变量的半离散化格式, 直接从时间半离散出发构造出全离散化的分裂正定混合有限元格式, 并给出这种分裂正定混合有限元解的误差估计. 这种研究思路使得理论论证变得更简单,这是处理二阶粘弹性方程的一种新的尝试.