Cyclic reduction and FACR methods for piecewise hermite bicubic orthogonal spline collocation

Cyclic reduction and Fourier analysis-cyclic reduction (FACR) methods are presented for the solution of the linear systems which arise when orthogonal spline collocation with piecewise Hermite bicubics is applied to boundary value problems for certain separable partial differential equations on a rectangle. On anN×N uniform partition, the cyclic reduction and Fourier analysis-cyclic reduction methods requireO(N ²log₂ N) andO(N ²log₂log₂ N) arithmetic operations, respectively.     

Differential Conditions for Constrained Nonlinear Programming via Pareto Optimization

We deal with the differential conditions for local optimality. The conditions that we derive for inequality constrained problems do not require constraint qualifications and are the broadest conditions based on only first-order and second-order derivatives. A similar result is proved for equality constrained problems, although the necessary conditions require the regularity of the equality constraints.     

On the properties of solutions to the Goursat-Darboux problem with boundary and distributed controls

We consider a control system described by the Goursat-Darboux equation. The system is controlled by distributed and boundary controls. The controls are subject to the constraints given as multivalued mappings with closed, possibly nonconvex, values depending on the phase variable. Alongside the initial constraints, we consider the convexified constraints and the constraints whose values are the extreme points of the convexified constraints. We study the questions of existence of solutions and establish connections between the solutions under various constraints.     

Global existence and blow-up of solutions to a parabolic system with nonlocal sources and boundaries

This paper deals with a semi-linear parabolic system with nonlinear nonlocal sources and nonlocal boundaries.By using super-and sub-solution techniques,we first give the sufficient conditions that the classical solution exists globally and blows up in a finite time respectively,and then give the necessary and sufficient conditions that two components u and v blow up simultaneously.Finally,the uniform blow-up profiles in the interior are presented.     

Fixed-sign solutions for a system of singular focal boundary value problems

We consider a system of focal boundary value problems where the nonlinearities may be singular in the independent variable and may also be singular in the dependent arguments. Using Schauder fixed point theorem, we establish criteria such that the system of boundary value problems has at least one fixed-sign solution.     

On Nash Equilibria for Noncooperative Games Governed by the Burgers Equation

Existence of a Nash equilibrium in a noncooperative game governed by the one-dimensional Burgers equation, proposed in the case of pointwise controls in Ref. 1, is proved under data qualifications that guarantee the diffusion term in the Burgers’ equation to be dominant enough with respect to the uniform convexity of the payoffs. This work was partly supported by Grants 201/03/0934 (GA čR) and MSM 0021620839 (MšMT čR). Inspiring discussions with Angel M. Ramos are acknowledged.     

Patterns in parabolic problems with nonlinear boundary conditions

We obtain existence of asymptotically stable nonconstant equilibrium solutions for semilinear parabolic equations with nonlinear boundary conditions on small domains connected by thin channels. We prove the convergence of eigenvalues and eigenfunctions of the Laplace operator in such domains. This information is used to show that the asymptotic dynamics of the heat equation in this domain is equivalent to the asymptotic dynamics of a system of two ordinary differential equations diffusively (weakly) coupled. The main tools employed are the invariant manifold theory and a uniform trace theorem.     

200MW非再热双抽供热机组变工况计算及工况图的绘制

工况图在热电厂的设计和运行中具有广泛的用途。本文根据引进型双抽非再热200MW供热机组的技术特点，通过编程在纯凝汽工况、单抽工业抽汽工况、单抽采暖抽汽工况和双抽供热等典型变工况计算的基础上，完成了当新蒸汽负荷、工业抽汽负荷和采暖抽汽负荷发生改变时的变工况计算，并绘制了该机组的运行工况图．     

On the persistence of elliptic lower-dimensional tori in Hamiltonian systems under the first Melnikov condition and Rüssmann’s non-degeneracy condition

In this paper we formulate a theorem on the persistence of elliptic lower-dimensional invariant tori for nearly integrable analytic Hamiltonian systems under the first Melnikov condition and Rüssmann’s non-degeneracy condition, and give the measure estimates of parameters for the non-resonance conditions under Rüssmann’s non-degeneracy condition, which is essential for the proof of our result.     

On regularity of a weak solution to the Navier–Stokes equation with generalized impermeability boundary conditions

We consider the 3D Navier–Stokes equation with generalized impermeability boundary conditions. As auxiliary results, we prove the local in time existence of a strong solution (‘strong’ in a limited sense) and a theorem on structure. Then, taking advantage of the boundary conditions, we formulate sufficient conditions for regularity up to the boundary of a weak solution by means of requirements on one of the eigenvalues of the rate of deformation tensor. Finally, we apply these general results to the case of an axially symmetric flow with zero angular velocity.