On a numerical solution of one nonlocal boundary-value problem with mixed Dirichlet–Neumann conditions

We consider a nonlocal boundary-value problem for the Poisson equation in a rectangular domain. Dirichlet and Neumann conditions are posed on a pair of adjacent sides of a rectangle, and integral constraints are given instead of boundary conditions on the other pair. The corresponding difference scheme is constructed and investigated; an a priori estimate of the solution is obtained with the help of energy inequality method. Discretization error estimate that is compatible with the smoothness of the solution sought is obtained.     

The Motion of a Vortex Pair in a Stratified Atmosphere

The movement of a horizontal vortex pair through an inhomogeneous fluid is considered. The problem is formulated first for the case when the ambient fluid is uniform, the fluid moving with the vortex pair has a different density, and the motion is supposed laminar and inviscid. An approximate solution is obtained, which predicts that the distance between the vortices stays constant and the vortices accelerate at a constant rate. This solution is then applied to motion in a stratified atmosphere and it is found that the vortices oscillate vertically with a frequency and amplitude depending on the initial conditions and the stratification. Finally, approximate equations are constructed to describe the effects of turbulent entrainment into the fluid moving with the vortex pair, and an estimate of the damping is obtained.     

Generalization of the Lagrange Method to the Case of Second-Order Linear Differential Equations with Constant Operator Coefficients in Locally Convex Spaces

The well-known Lagrange method for linear inhomogeneous differential equations is generalized to the case of second-order equations with constant operator coefficients in locally convex spaces. The solutions are expressed in terms of uniformly convergent functional vector-valued series generated by a pair of elements of a locally convex space. Sufficient conditions for the continuous dependence of solutions on the generating pair are obtained. The solution of the Cauchy problem for the equations under consideration is also obtained and conditions for its existence and uniqueness are given. In addition, under certain conditions, the so-called general solution of the equations (a function of most general form from which any particular solution can be derived) is obtained. The study is carried out using the characteristics (order and type) of an operator and of a sequence of operators. Also, the convergence of operator series with respect to equicontinuous bornology is used.     

Upper and Lower Solution Methods for Fully Nonlinear Boundary Value Problems

Sufficient conditions are given for the existence of a solution of a fourth order nonlinear boundary value problem with nonlinear boundary conditions. The conditions assume the existence of a strong upper solution-lower solution pair, a concept that is defined in the paper. The differential equation has nonlinear dependence on all lower order derivatives of the unknown; in particular, appropriate Nagumo conditions are obtained and employed.     

Blowup in Korteweg-de Vries-type systems

We consider a pair Korteweg-de Vries system of the Boussinesq type and its symmetric analogue. Such systems, which describe the behavior of a liquid in a channel, are shown to have no solutions defined globally in time under certain conditions. Using the method of nonlinear capacity, we obtain sufficient conditions for the solution blowup and estimate the blowup time for both these systems and for a generalized multicomponent Korteweg-de Vries-type system.     

Matrix correction of a dual pair of improper linear programming problems

A matrix is sought that solves a given dual pair of systems of linear algebraic equations. Necessary and sufficient conditions for the existence of solutions to this problem are obtained, and the form of the solutions is found. The form of the solution with the minimal Euclidean norm is indicated. Conditions for this solution to be a rank one matrix are examined. On the basis of these results, an analysis is performed for the following two problems: modifying the coefficient matrix for a dual pair of linear programs (which can be improper) to ensure the existence of given solutions for these programs, and modifying the coefficient matrix for a dual pair of improper linear programs to minimize its Euclidean norm. Necessary and sufficient conditions for the solvability of the first problem are given, and the form of its solutions is described. For the second problem, a method for the reduction to a nonlinear constrained minimization problem is indicated, necessary conditions for the existence of solutions are found, and the form of solutions is described. Numerical results are presented.     

Heat transfer in sliding of a plane-parallel layer over a base

An analytic solution of the thermal problem of friction for a plane-parallel layer–base tribosystem under conditions of incomplete thermal contact between contacting bodies is obtained. Asymptotics of the obtained solution for small and large values of time are determined. For the materials of a cermet layer–iron base friction pair, we investigate the influence of the thermal conductivity coefficient of the contact on the temperature distribution and intensity of a heat fluxes.     

Blow-up and global solutions for quasilinear parabolic equations with Neumann boundary conditions

Using the upper and lower solution techniques and Hopf's maximum principle, the sufficient conditions for the existence of blow-up positive solution and global positive solution are obtained for a class of quasilinear parabolic equations subject to Neumann boundary conditions. An upper bound for the ‘blow-up time’, an upper estimate of the ‘blow-up rate’, and an upper estimate of the global solution are also specified.     

Perturbation bounds for the linear least squares problem subject to linear inequality constraints

We study the effect on the solution to a linear least squares problem with linear inequality and equality constraints when the data defining the problem are perturbed. The existence and uniqueness of a solution are investigated. If the matrices involved have full rank, then a detailed bound is obtained by the duality theory for quadratic programming. Sufficient conditions are derived for an estimate of the perturbation in the solution to hold in terms of the largest perturbation in the data.     

半线性抛物型方程组解的整体存在性与爆破速率估计

研究了具有非线性热源的半线性抛物型方程组的齐次neumann问题解的爆破性质.利用上下解方法得到了解整体存在的条件与爆破条件,并利用FriedmannMcleod方法建立了爆破速率估计.     

矩阵方程AXA^T＋BYB^T=C的双对称最小二乘解及其最佳逼近

基于共轭梯度法的思想,通过特殊的变形,建立了一类求矩阵方程AXA^T＋BYB^T=C的双对称最小二乘解的迭代算法．对任意的初始双对称矩阵．在没有舍人误差的情况下,经过有限步迭代得到它的双对称最小二乘解;在选取特殊的初始双对称矩阵时,能得到它的的极小范数双对称最小二乘解．另外,给定任意矩阵,利用此方法可得到它的最佳逼近双对称解,数值例子表明,这种方法是有效的．     

具有接种和非局部扩散的流行病模型的行波解（英文）

An epidemic model with vaccination and nonlocal diffusion is proposed, and the existence of traveling wave solutions of this model is studied. By the cross-iteration scheme companied with a pair of upper and lower solutions and Schauder’s fixed point theorem,sufficient conditions are obtained for the existence of a traveling wave solution connecting the disease-free steady state and the endemic steady state.     

A stabilized mixed finite element method for the biharmonic equation based on biorthogonal systems

We propose a stabilized finite element method for the approximation of the biharmonic equation with a clamped boundary condition. The mixed formulation of the biharmonic equation is obtained by introducing the gradient of the solution and a Lagrange multiplier as new unknowns. Working with a pair of bases forming a biorthogonal system, we can easily eliminate the gradient of the solution and the Lagrange multiplier from the saddle point system leading to a positive definite formulation. Using a superconvergence property of a gradient recovery operator, we prove an optimal a priori estimate for the finite element discretization for a class of meshes.     

电场作用下压电层合梁的分析

利用压电介质的二维本构关系,推导出带有上、下压电激励器的弹性梁在电场作用下的位移,应力分布的解析表达式,得到了压电激励器对弹性梁的等效作用力,最后给出了带有上,下压电激励的弹性梁在一端固支或两端简支边界条件下的算例。     

Group invariant solution for a pre-existing fracture driven by a power-law fluid in impermeable rock

The effect of power-law rheology on hydraulic fracturing is investigated. The evolution of a two-dimensional fracture with non-zero initial length and driven by a power-law fluid is analyzed. Only fluid injection into the fracture is considered. The surrounding rock mass is impermeable. With the aid of lubrication theory and the PKN approximation a partial differential equation for the fracture half-width is derived. Using a linear combination of the Lie-point symmetry generators of the partial differential equation, the group invariant solution is obtained and the problem is reduced to a boundary value problem for an ordinary differential equation. Exact analytical solutions are derived for hydraulic fractures with constant volume and with constant propagation speed. The asymptotic solution near the fracture tip is found. The numerical solution for general working conditions is obtained by transforming the boundary value problem to a pair of initial value problems. Throughout the paper, hydraulic fracturing with shear thinning, Newtonian and shear thickening fluids are compared.     

不可压缩流问题低次元稳定有限体积数值方法研究

分析了R^d,d=2,3维不可压缩流Stokes问题低次元稳定有限体积方法,它主要利用局部压力投影方法对两种流行但不满足inf-sup条件的有限元配对(P_1-P_0和P_1-P_1)在有限体积方法的框架下进行稳定;利用有限元与有限体积方法的等价性进行有限体积方法理论分析.结果表明不可压缩流Stokes问题在f∈Hd,d=2,3维不可压缩流Stokes问题低次元稳定有限体积方法,它主要利用局部压力投影方法对两种流行但不满足inf-sup条件的有限元配对(P_1-P_0和P_1-P_1)在有限体积方法的框架下进行稳定;利用有限元与有限体积方法的等价性进行有限体积方法理论分析.结果表明不可压缩流Stokes问题在f∈H¹情况下,本文方法得到的解与稳定有限元方法解之间具有O(h1情况下,本文方法得到的解与稳定有限元方法解之间具有O(h²)阶超收敛阶结果,且稳定有限体积方法取得了与稳定有限元方法相同的收敛速度,与稳定有限元方法比较,稳定有限体积方法计算简单高效,同时保持物理守恒,因此在实际应用中具有很好的潜力。     

On the Existence of Weak Local in Time Solutions in the Form of a Cumulant Expansion for a Chain of Bogolyubov’s Equations of a One-Dimensional Symmetric Particle System

We consider a Cauchy problem for a chain of Bogolyubov equations of an infinite onedimensional symmetric particle system, where the particles interact with each other by a finite-range pair potential with a hard core. We consider it in the space of sequences of bounded measurable functions. Based on the proposed method of a joint interval for estimates of the volume of the interaction domain and on the derived estimate itself we find a representation of a weak local with respect to time solution in the form of a cumulant expansion. We prove that the considered weak local with respect to time solution is an equilibrium solution if the initial data are equilibrium distribution functions.     

Sufficient optimality conditions for multidimensional optimal control problems with mixed constraints governed by an elliptic PDE

In this article, the idea of a dual dynamic programming is applied to the optimal control problems with multiple integrals governed by a semi-linear elliptic PDE and mixed state-control constraints. The main result called a verification theorem provides the new sufficient conditions for optimality in terms of a solution to the dual equation of a multidimensional dynamic programming. The optimality conditions are also obtained by using the concept of an optimal dual feedback control. Besides seeking the exact minimizers of problems considered some kind of an approximation is given and the sufficient conditions for an approximated optimal pair are derived.     

关于Strichartz的一个谱对准则

研究了与压缩迭代函数系和扩张迭代函数系相关的自仿测度的谱性质.在和谐对的条件下,分别确定了谱对形成的一些充分条件和必要条件.首先,给出了Strichartz谱对准则的几个等价形式.其次,得到了这个谱对成立的两个必要条件.最后,提供了Strichartz谱对准则的一个严格而详细的证明.     

Convergence of the numerical solution of the initial-boundary value problem for a heat equation with a corner singularity in derivatives of the solution

An estimate O(τ + h ²)ln(j + 1) of the convergence rate for the solution of a four-point implicit difference scheme used for approximations on a uniform grid of a one-dimensional heat equation is obtained, with the provision that the boundary and initial data are subject at corner points only to the continuity condition, with no other compatibility conditions being satisfied. A discrete Green’s function is used to obtain an a priori estimate of the grid solution in terms of the appropriate negative norm of the right-hand side.