A Finite Element Galerkin Method for a Unidimensional Single-Phase Nonlinear Stefan Problem with Dirichlet Boundary Conditions

Based on straightening the free boundary, an H¹-Galerkin methodis proposed and analysed for a single-phase nonlinear Stefanproblem with Dirichlet boundary conditions. Optimal H¹ estimatesfor continuous-time Galerkin approximations are derived.     

Adapting Some Ideas from Stochastic Control Theory to Studying the Heat Equation in Closed Smooth Domains

Sufficient conditions on bounded domains D ² R ^d={(t,x)} of class C⁴ are given under which solutions of the heat equation u_t=j u+f in D have continuous second-order derivatives with respect to (t,x) in D^- . The equation is supplemented with C⁴ boundary data and it is assumed that f] C² .     

On the solvability for the mixed-type Lyapunov equation

^** Email: xsf{at}math.pku.edu.cn^*** Email: mscheng{at}math.pku.edu.cn In this paper, the linear matrix equation X = AXB^* + BXA^* +Q is considered, which is called the mixed-type Lyapunov equation.Some necessary and sufficient conditions for the existence ofa unique solution are presented. Since a Hermitian positivesemidefinite solution is important from the application pointof view, some sufficient conditions for the existence of a Hermitianpositive semidefinite solution are derived.     

带权的 p-Laplacian 非线性特征值问题解的存在性

文利用变分方法讨论了方程-△p^u=λ a(x)(u^{+})^q-1-μ a(x)(u^-)^q-1+f(x,u), u∈W₀^1,p(Ω), 当 p≠q时的可解性. 其中Ω是 R^N(N≥ 3)中的有界光滑区域,权重函数a(x)∈ L^r(Ω), (r≥Np/Np-Nq+pq)且a(x)>0, a.e.于Ω, f满足某些条件.     

Spatial decay in a cross-diffusion problem

In this paper, the authors investigate the decay of end effectsfor a cross-diffusion problem defined on a semi-infinite cylindricalregion. With homogeneous Dirichlet or Neumann conditions prescribedon the lateral surface of the cylinder, it is shown that forfixed finite time and under certain restrictions on the coefficients,solutions decay point-wise as the distance d from the finiteend of the cylinder tends to infinity at least of order e^–kd2.Under less restrictive conditions, it is shown that solutionsdecay in L₂ at least as fast as e^–kd. In both cases, kis a computable function of time.     

一类带权函数的拟线性椭圆方程

该文利用变分方法讨论了方程 -△_p u=λa(x)(u⁺)^p-1-μa(x)(u^-)^p-1+f(x, u), u∈W₀^1,p(\Omega)在(λ, μ)\not\in ∑_p和(λ, μ) ∈ ∑_p 两种情况下的可解性, 其中\Omega是 R^N(N≥3)中的有界光滑区域, ∑_p为方程 -△_p u=α a(x)(u⁺)^p-1-βa(x)(u^-)^p-1, u∈ W₀^1,p(\Omega)的Fucik谱, 权重函数a(x)∈ L^r(\Omega) (r≥ N/p)$且a(x)>0 a.e.于\Omega, f满足一定的条件.     

Finite time stability of differential inclusions

^** Email: emmanuel.moulay{at}ec-lille.fr^*** Email: wilfrid.perruquetti{at}ec-lille.fr In this paper, the problem of finite time stability is investigatedfor differential inclusion. Two sufficient conditions for finitetime stability, using a smooth Lyapunov function and a non-smoothone, are established. Then, the same idea is used to give twonecessary conditions. Examples are developed using the conceptof Krasovskii solutions for differential equation with discontinuousright-hand sides.     

拟线性退化抛物型方程组解的整体存在性和爆破

该文研究光滑有界区域Ω( R^N (N≥ 1) 上具有齐次Dirichlet边界条件的拟线性退化抛物型方程组 u_t-div(|▽u|^p-2 ▽u) =av^α, v_t-div(|▽v|^q-2 ▽v) =bu^β 的非负解的性质, 其中p, q>2, α, β ≥ 1, a, b> 0是常数. 该文指出上述方程组的解是否在有限时刻爆破依赖于初值、系数 a 与 b以及 αβ 和 (p-1)(q-1)之间的关系.     

Spin Structures on Lefschetz Fibrations

Necessary and sufficient conditions for Lefschetz fibrationsover D² and S² to carry spin structures are presented. The conditionsare given in terms of vanishing cycles and homology sections.     

End Conditions for Interpolatory Quintic Splines

Present address: Department of Mathematics, University of Tabriz, Tabriz, Iran. Accurate end conditions are derived for quintic spline interpolationat equally spaced knots. These conditions are in terms of availablefunction values at the knots and lead to O(h⁶) convergence uniformlyon the interval of interpolation.     

偶数阶Sturm-Liouville边值问题的多个正解

该文讨论了偶数阶边值问题 (-1)^m y^(2m)₌f(t,y), 0≤t≤1,a_i+1y⁽²ⁱ⁾ (0)-β_i+1y ⁽²ⁱ⁺¹⁾ (0)=0, γ_i+1y⁽²ⁱ⁾ (1)+δ_i+1y⁽²ⁱ⁺¹⁾ (1)=0,0≤i ≤m-1正解的存在性.借助于Leggett-Williams 不动点定理,建立了该问题存在三个及任意奇数个正解的充分条件.     

On subtractive varieties,V: congruence modularity and the commutators

In a congruence modular subtractive variety there are both the commutator of ideals and the commutator of congruences. We prove that, if I^' is the smallest congruence having an ideal I as a congruence class, then [I,J] = 0 /[I^', J^']. The general identity [0/ !,0 / #] = 0/[!,#] for !, # congruences, does not always hold; we give several conditions equivalent to this identity and sufficient conditions for it to hold. In the meantime, we get some other characterizations of the commutator of ideals. We also deal with the equational definability of principal commutators in a subtractive variety and with the extension property of the commutator from ideals of a subalgebra to the commutator of ideals of the whole algebra.     

Set of matrices with common Lyapunov solution

We present necessary and sufficient conditions for a set of matrices to coincide with a set of the form {A: HA + A^*H > 0} or {T : T^*HT < H} for some (hidden) positive definite matrix H.     

α带小波紧框架的显式构造方法

文中研究了对应于α-带尺度函数的小波紧框架,这个小波紧框架是由V₁中的n个函数ψ¹,ψ²,...,ψⁿ构成. 首先给出了这n个函数构成小波紧框架的充分条件, 并借助尺度函数给出了构造小波紧框架的显式公式. 如果尺度函数的符号是有理函数,则可以构造出符号为有理函数的小波紧框架. 其次给出类似于正交小波的小波紧框架的分解与重构算法,并构造了小波紧框架的数值算例.     

Semidiscrete finite element Galerkin approximations to the equations of motion arising in the Oldroyd model

In this paper, a semidiscrete finite element Galerkin methodfor the equations of motion arising in the 2D Oldroyd modelof viscoelastic fluids with zero forcing function is analysed.Some new a priori bounds for the exact solutions are derivedunder realistically assumed conditions on the data. Moreover,the long-time behaviour of the solution is established. By introducinga Stokes–Volterra projection, optimal error bounds forthe velocity in the L(L²) as well as in the L(H¹)-norms andfor the pressure in the L(L²)-norm are derived which are validuniformly in time t > 0.     

Shape-preserving interpolation by G1 and G2 PH quintic splines

The interpolation of a planar sequence of points p₀, ..., p_Nby shape-preserving G¹ or G² PH quintic splines with specifiedend conditions is considered. The shape-preservation propertyis secured by adjusting ‘tension’ parameters thatarise upon relaxing parametric continuity to geometric continuity.In the G² case, the PH spline construction is based on applyingNewton–Raphson iterations to a global system of equations,commencing with a suitable initialization strategy—thisgeneralizes the construction described previously in NumericalAlgorithms 27, 35–60 (2001). As a simpler and cheaperalternative, a shape-preserving G¹ PH quintic spline schemeis also introduced. Although the order of continuity is lower,this has the advantage of allowing construction through purelylocal equations.     

A Fourth-order Tridiagonal Finite Difference Method for General Non-linear Two-point Boundary Value Problems with Mixed Boundary Conditions

We present a new fourth-order finite difference method for thegeneral second-order non-linear differential equation y^N = f(x,y, y') subject to mixed two-point boundary conditions. An interestingfeature of our method is that each discretization of the differentialequation at an interior grid point is based on just three evaluationsof f. We establish, under appropriate conditions, O(h⁴)-convergenceof the finite difference scheme. In the case of linear differentialequations, our finite difference scheme leads to tridiagonallinear systems. Numerical examples are considered to demonstratecomputationally the fourth order of the method.     

Qualitative dynamics, root-loci and asymptotic structure of universal adaptive stabilizers

A problem of universal adaptive stabilization in Rⁿ is approachedin a qualitative manner to relate the form of the trajectoriesin the extended state space Rⁿ⁺¹ to the root locus of the associatedfixed-parameter linear system. Relationships are derived betweenthe values of the limit gain and the initial conditions. Numericalstudies are used to illustrate and support these ideas by computationof generic trajectories and attempted computation of certainnon-generic possibilities. The implications of the study formore general dynamic situations are outlined. These authors are also with the Department of Mathematics,University of Exeter, EX4 4QE.     

Finite Element Methods for a Model for Full Waveform Acoustic Logging

A model is defined to simulate the propagation of waves in aradially symmetric, isotropic, composite system consisting ofa fluid-filled well bore ^f through a fluid-saturated poroussolid ^p. Biot's equations of motion are chosen to describe thepropagation of waves in ^p, while the standard equation of motionfor compressible inviscid fluids is used for ^f, with appropriateboundary conditions at the contact surface between ^f and ^p.Also, absorbing boundary conditions for the artificial boundariesof ^p are derived for the model, their effect being to make themtransparent for waves arriving normally First, results on the existence and uniqueness of the solutionof the differential problem are given and then a discrete-time,explicit finite element procedure is defined and analysed, withfinite element spaces suited for radially symmetric problemsbeing used for the spatial discretisation.     

Connected Sums of 4-Manifolds as Codimension-k Fibrators

The main result provides mild conditions under which a closed,orientable, PL 4-manifold N = N₁#N₂ with ₁(N_e) residually finite(e=1,2) is a codimension-5 PL fibrator. The paper also presentsa rich variety of conditions on a closed 4-manifold N⁴ underwhich every PL map between manifolds, where the domain is orientableand all point inverses are copies of N⁴, must be an approximatefibration.