非线性抛物方程耦合的离散化及其误差分析

0　引　　言对于线性抛物型初边值问题的有限元与边界元耦合法,我们已作过研究(可参见[2],[3]).然而,许多实际问题,如流体、对流扩散、热辐射及热传输等涉及到非线性问题,因此研究非线性问题的数值方法显得尤为重要.近年来,G.N.Gatica与G.C.Hsiao已将有限元(FEM)与边界元(BEM)耦合法拓广到非线性椭圆问题(如[5],[6]),但如何应用FEM与BEM耦合法来处理非线性抛物型初边值问题,就作者所知迄今为止尚属空白.这里我们试图对此进行研究.设Ω为R2中一有界单连通区域,其边界为Γ:=Ω.Ωc:=R2\Ω为闭区域Ω的补区域,I:=(0,T].我们考虑如…     

On a phase field model of Cahn–Hilliard type for tumour growth with mechanical effects

Mechanical effects have mostly been neglected so far in phase field tumour models that are based on a Cahn–Hilliard approach. In this paper we study a macroscopic mechanical model for tumour growth in which cell–cell adhesion effects are taken into account with the help of a Ginzburg–Landau type energy. In the overall model an equation of Cahn–Hilliard type is coupled to the system of linear elasticity and a reaction–diffusion equation for a nutrient concentration. The highly non-linear coupling between a fourth-order Cahn–Hilliard equation and the quasi-static elasticity system lead to new challenges which cannot be dealt within a gradient flow setting which was the method of choice for other elastic Cahn–Hilliard systems. We show existence, uniqueness and regularity results. In addition, several continuous dependence results with respect to different topologies are shown. Some of these results give uniqueness for weak solutions and other results will be helpful for optimal control problems.     

Existence of solutions to an anisotropic phase‐field model

We consider an anisotropic phase‐field model for the isothermal solidification of a binary alloy due to Warren–Boettinger ( Acta. Metall. Mater. 1995; 43 (2):689). Existence of weak solutions is established under a certain convexity condition on the strongly non‐linear second‐order anisotropic operator and Lipschitz and boundedness assumptions for the non‐linearities. A maximum principle holds that guarantees the existence of a solution under physical assumptions on the non‐linearities. The qualitative properties of the solutions are illustrated by a numerical example. Copyright © 2003 John Wiley & Sons, Ltd.     

A Sixth-Order Parabolic System in Semiconductors

The authors investigate the global existence and semiclassical limit of weak solutions to a sixth-order parabolic system, which is a quantum-corrected macroscopic model derived recently to simulate the quantum effects in miniaturized semiconductor devices.     

时滞脉冲抛物型微分方程解的存在性及其在种群动力学中的应用

本文研究了一类具有时滞的脉冲抛物型方程在Neumann边值条件下解的存在性问题,利用定义上下解对的方法,给出了一个新的解的存在性定理和比较原理.作为例子,当把这种方法应用到一种群模型中时,得到了该系统正平衡点全局吸引的新结果.     

Solvability of a model for monomer–monomer surface reactions

A mathematical model for a monomer–monomer surface reaction is considered taking into account the surface diffusion of adsorbed particles of both reactants. The model is described by a coupled system of parabolic equations where some of them are defined in a domain and the other ones have to be solved on the domain surface. The existence and uniqueness theorem of a classic solution for the time-dependent problem is proved. Non-uniqueness of solutions for the steady-state problem is established.     

Coexistence and optimal control problems for a degenerate predator-prey model

In this paper we present a predator-prey mathematical model for two biological populations which dislike crowding. The model consists of a system of two degenerate parabolic equations with nonlocal terms and drifts. We provide conditions on the system ensuring the periodic coexistence, namely the existence of two non-trivial non-negative periodic solutions representing the densities of the two populations. We assume that the predator species is harvested if its density exceeds a given threshold. A minimization problem for a cost functional associated with this process and with some other significant parameters of the model is also considered.     

具有饱和项的捕食食饵系统正周期解的存在性

By the theory of periodic parabolic operators, Shauder estimates and bifurcation, the existence of positive periodic solutions for periodic prey-predator model with saturation is discussed. The necessary and sufficient conditions to coexistence of periodic system are obtained.     

一类非散度型非线性退化抛物方程解的存在性(英文)

In this paper, we discuss the existence of weak solutions to the initial and boundary value problem of a class of nonlinear degenerate parabolic equations in non-divergence form. Applying the method of parabolic regularization, we prove the existence of weak solutions to the problem. By carefully analyzing the approximate solutions to the problem, we make a series of estimates to the solutions and prove the weak convergence of the approximation solution sequence. Finally we testify the existence of weak solutions to the problem.     

Large time behavior of a solution of carbon dioxide transport model in concrete carbonation process

In [7] we show the global existence and uniqueness of a solution of carbon dioxide transport model in concrete carbonation process. This model is governed by a parabolic-type equation which has a non-local term depending on the unknown function itself. In this paper, we show the large time behavior of that solution.     

The phase-field transition system with non-homogeneous Cauchy–Stefan–Boltzmann and homogeneous Neumann boundary conditions and non-constant thermal conductivity

The paper establishes the existence, estimate, uniqueness and regularity for the solution of a nonlinear parabolic system (a two-phase Caginalp type system) with non-homogeneous Cauchy–Stefan–Boltzmann and homogeneous Neumann boundary conditions and non-constant thermal conductivity. It extends the already studied types of boundary conditions which makes the mathematical model to be richer and more flexible to describe the real physical phenomena, including phase separation.     

Mathematical Analysis of the Jin-Neelin Model of El Niño-Southern-Oscillation

The Jin-Neelin model for the El Ni$\wt{\rm n}$o--Southern Oscillation (ENSO for short) is considered for which the authors establish existence and uniqueness of global solutions in time over an unbounded channel domain. The result is proved for initial data and forcing that are sufficiently small. The smallness conditions involve in particular key physical parameters of the model such as those that control the travel time of the equatorial waves and the strength of feedback due to vertical-shear currents and upwelling; central mechanisms in ENSO dynamics. From the mathematical view point, the system appears as the coupling of a linear shallow water system and a nonlinear heat equation. Because of the very different nature of the two components of the system, the authors find it convenient to prove the existence of solution by semi-discretization in time and utilization of a fractional step scheme. The main idea consists of handling the coupling between the oceanic and temperature components by dividing the time interval into small sub-intervals of length $k$ and on each sub-interval to solve successively the oceanic component, using the temperature $T$ calculated on the previous sub-interval, to then solve the sea-surface temperature (SST for short) equation on the current sub-interval. The passage to the limit as $k$ tends to zero is ensured via a priori estimates derived under the aforementioned smallness conditions.     

一类具交错扩散的强耦合退化抛物方程组解的整体存在与非存在性

本文研究了一类具交错扩散的强耦合拟线性退化抛物方程组初边值问题正古典解的局部存在,整体存在与非整体存在性.利用正则化方法和先验估计技巧证明了该问题正古典解的局部存在性,并且分别给出了该问题是否存在整体古典解的充分条件.结果表明当种群内竞争强于种群间互惠作用时,此问题存在整体解;而当两种群具有强互惠作用时,所有解都是非整体的.     

Multiscale model for moisture transport with adsorption phenomenon in concrete materials

Abstract

We consider a new two-scale problem which is given as a mathematical model for moisture transport arising in a concrete carbonation process. In research for moisture transport, it is a crucial step how to describe the relationship between the relative humidity and the degree of saturation, mathematically. Here, we have proposed the two-scale model consisting of the diffusion equation for the relative humidity in a macro domain and the free boundary problems describing the relationship in infinitely micro domains. Accordingly, the structures of the micro domains are unknown in our model. This is a significant feature of our new model to emphasize. The aim of this paper is to establish local existence in time and uniqueness of a solution to the model.     

A global existence and uniqueness result for a stochastic Allen–Cahn equation with constraint

This paper addresses the analysis of a time noise‐driven Allen–Cahn equation modelling the evolution of damage in continuum media in the presence of stochastic dynamics. The nonlinear character of the equation is mainly due to a multivoque maximal monotone operator representing a constraint on the damage variable, which is forced to take physically admissible values. By a Yosida approximation and a time‐discretization procedure, we prove a result of global‐in‐time existence and uniqueness of the solution to the stochastic problem. Copyright © 2017 John Wiley & Sons, Ltd.     

Analysis of a Diffusion-Convection System Modeling a Contamination Problem

A system of coupled diffusion-convection equations which model a contamination problem are analyzed. The equations are reformu-lated as an abstract problem which is used to obtain existence, uniqueness and posit ivity results for the solutions. A minimum principle is also proved and a special class of solutions which have bearing on the model are derived     

IMEX method convergence for a parabolic equation

Although implicit-explicit (IMEX) methods for approximating solutions to semilinear parabolic equations are relatively standard, most recent works examine the case of a fully discretized model. We show that by discretizing time only, one can obtain an elementary convergence result for an implicit-explicit method. This convergence result is strong enough to imply existence and uniqueness of solutions to a class of semilinear parabolic equations.     

Regularity Results for a Strongly Degenerate Parabolic Equation

M. Bertsch & R. Dal Passo proved the existence and uniqueness of the Cauchy problem for u_t = (φ(u),ψ(u_x))_x, where φ > 0, ψ is a strictly increasing function with lim_{s → ∞}ψ(s) = ψ_∞ < ∞. The regularity of the solution has been obtained under the condition φ" < 0 or φ = const. In the present paper, under the condition φ" ≤ 0, we give some regularity results. We show that the solution can be classical after a finite time. Further, under the condition φ" ≤ -α_0 (where -α_0 is a constant), we prove the gradient of the solution converges to zero uniformly with respect to x as t → +∞.     

Optimal Control Problems for Elliptic–Parabolic Variational Inequalities with Time-Dependent Constraints

In this paper, we study optimal control problems for quasi-linear elliptic–parabolic variational inequalities with time-dependent constraints. We prove the existence of an optimal control that minimizes the nonlinear cost functional. Moreover, we apply our general results to some model problems. In particular, we show the necessary condition of optimal pair for a problem of partial differential equation (PDE) with a non-homogeneous Dirichlet boundary condition.     

Viscosity solutions to a Cauchy problem of a phase-field model for solid-solid phase transitions

We investigate a partial differential equation which models solid-solid phase transitions. This model is for martensitic phase transitions driven by configurational force and its counterpart is for interface motion by mean curvature. Mathematically, this equation is a second-order nonlinear degenerate parabolic equation. And in multidimensional case, its principal part cannot be written into divergence form . We prove the existence and uniqueness of viscosity solution to a Cauchy problem for this model.