Boundedness of the solution of the third problem for the Laplace equation

A necessary and sufficient condition for the boundedness of a solution of the third problem for the Laplace equation is given. As an application a similar result is given for the third problem for the Poisson equation on domains with Lipschitz boundary.Supported by GACR, Grant No. 201/00/1515.     

Effect of the incompressibility condition on the stability of the solutions of ill-posed problems of the theory of elasticity

One considers the energy functional with density depending only on the first invariant of the strain tensor. Under natural constraints on the density and in the absence of exterior actions, the zero displacements yield a minimum to the energy functional both for the compressible and the incompressible media. In the paper one proves the isolation of this minimum for incompressible media and its nonisolation for compressible media.Translated from Problemy Matemticheskogo Analiza, No. 10, pp. 62–71, 1986.     

On the degree of the inverse of an automorphism of the affine space

We study the degree of the inverse of an automorphism f of the affine n-space over a -algebra k, in terms of the degree d of f and of other data. For n = 1, we obtain a sharp upper bound for deg (f^{− 1}) in terms of d and of the nilpotency index of the ideal generated by the coefficients of f^′'. For n = 2 and arbitrary d≥ 3, we construct a (triangular) automorphism f of Jacobian one such that deg(f^{− 1}) > d. This answers a question of A. van den Essen (see [3]) and enables us to deduce that some schemes introduced by authors to study the Jacobian conjecture are not reduced. Still for n = 2, we give an upper bound for deg (f^{− 1}) when f is triangular. Finally, in the case d = 2 and any n, we complete a result of G. Meisters and C. Olech and use it to give the sharp bound for the degree of the inverse of a quadratic automorphism, with Jacobian one, of the affine 3-space.     

Accelerating the convergence of the method of alternating projections

The powerful von Neumann-Halperin method of alternating projections (MAP) is an algorithm for determining the best approximation to any given point in a Hilbert space from the intersection of a finite number of subspaces. It achieves this by reducing the problem to an iterative scheme which involves only computing best approximations from the individual subspaces which make up the intersection. The main practical drawback of this algorithm, at least for some applications, is that the method is slowly convergent. In this paper, we consider a general class of iterative methods which includes the MAP as a special case. For such methods, we study an ``accelerated' version of this algorithm that was considered earlier by Gubin, Polyak, and Raik (1967) and by Gearhart and Koshy (1989). We show that the accelerated algorithm converges faster than the MAP in the case of two subspaces, but is, in general, not faster than the MAP for more than two subspaces! However, for a ``symmetric' version of the MAP, the accelerated algorithm always converges faster for any number of subspaces. Our proof seems to require the use of the Spectral Theorem for selfadjoint mappings.

     

On the distribution of the ratio of the largest eigenvalue to the trace of a Wishart matrix

The ratio of the largest eigenvalue divided by the trace of a p×p random Wishart matrix with n degrees of freedom and an identity covariance matrix plays an important role in various hypothesis testing problems, both in statistics and in signal processing. In this paper we derive an approximate explicit expression for the distribution of this ratio, by considering the joint limit as both p,n→∞ with p/n→c. Our analysis reveals that even though asymptotically in this limit the ratio follows a Tracy-Widom (TW) distribution, one of the leading error terms depends on the second derivative of the TW distribution, and is non-negligible for practical values of p, in particular for determining tail probabilities. We thus propose to explicitly include this term in the approximate distribution for the ratio. We illustrate empirically using simulations that adding this term to the TW distribution yields a quite accurate expression to the empirical distribution of the ratio, even for small values of p,n.     

On the complexity of the Leibniz hierarchy

We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and protoalgebraic logics. Finally, the same problem for the class of truth-equational logic is shown to be hard for EXPTIME.     

On the determination of the control parameters of the optimal can-order policy

This paper considers the well-known class of can-order policies. This type of coordinated replenishment policies accounts for a joint set-up cost structure, where a major set-up cost is incurred for any order and an individual minor set-up cost is charged for each item in the replenishment. Recent comparative studies have pointed out that the performance of the optimal can-order policy is poor, compared to other coordinated replenishment strategies, when the major set-up cost is high. This paper shows that it is the approximate decomposition method to calculate the optimal canorder parameters which performs bad in such situations and not the policy itself. Attention is focused to a subclass of can-order policies, which is close to the optimal can-order policy for high major set-up costs. A solution procedure is developed to calculate the optimal control parameters of this policy. It is shown that a properly chosen combination of the solution procedures to calculate can-order parameters leads to a can-order strategy which performs as well as other coordinated replenishment policies.     

On the explicit resolution of the mushy zone in the modelling of the continuous casting of alloys

In the continuous casting of alloys, it is well-known that the mushy zone is decisive for the final properties of the casting. Most numerical models for the process use enthalpy-based methods on fixed grids which determine the extent the mushy zone implicitly. Here, on the other hand, we develop a methodology for explicitly resolving the geometrical extent of the mushy zone; this involves a sharp-interface formulation to solve a dual moving boundary problem to locate the solidus and liquidus isotherms. The results compare favourably with those from enthalpy-based methods, and the advantages of our approach with respect to future multiphysics calculations are discussed.     

Singular cases of the problem of the continuation of the boundary layer

One obtains conditions for the existence and uniqueness of the solution of the continuation of the boundary layer near a solid wall in the case when the pressure gradient P_x is positive and satisfies one of the inequalities p_xp_x(0).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituts im. V. A. Steklova AN SSSR, Vol. 138, pp. 86–89, 1984.The author is grateful to V. V. Pukhnachev for his assistance and also to N. V. Khusnutdinova for useful remarks.     

Numerical analysis of the inverse problem of estimation of the parameters of the ionosphere

The article simulates the process of signal propagation in the ionosphere using the authors' method for solving the inverse problem of estimation of the ionospheric parameters and the algorithm for computing the signal trajectory when the state of the ionosphere changes.Translated from Matematicheskoe Modelirovanie i Reshenie Obratnykh Zadach. Matematicheskoi Fiziki, pp. 30–36, 1993.     

对流动稳定性非线性理论中确定幅值演化方程系数的重新考虑*

求解扰动速度幅值的演化规律,是流动稳定性非线性理论的关键问题之一。现有的方法都只能用于准中性的情况,或其中有一定的人为因素。本文将给出解决这一问题新方法。     

On the regularity of the axisymmetric solutions of the Navier-Stokes equations

We obtain improved regularity criteria for the axisymmetric weak solutions of the three dimensional Navier-Stokes equations with nonzero swirl. In particular we prove that the integrability of single component of vorticity or velocity fields, in terms of norms with zero scaling dimension give sufficient conditions for the regularity of weak solutions. To obtain these criteria we derive new a priori estimates for the axisymmetric smooth solutions of the Navier-Stokes equations. Received: 11 April 2000; in final firm: 26 November 2000 / Published online: 28 February 2002     

关于多个子空间的交空间与维数公式的推广

通过讨论,得到了关于多个子空间的交空间的进一步的结果.并利用这些结果,给出了维数公式的一个新的推广形式,从而完善了维数公式的理论.     

On the validity of the Ginzburg-Landau equation

Summary The famous Ginzburg-Landau equation describes nonlinear amplitude modulations of a wave perturbation of a basic pattern when a control parameterR lies in the unstable regionO(ε ²) away from the critical valueR _c for which the system loses stability. Hereε>0 is a small parameter. G-L's equation is found for a general class of nonlinear evolution problems including several classical problems from hydrodynamics and other fields of physics and chemistry. Up to now, the rigorous derivation of G-L's equation for general situations is not yet completed. This was only demonstrated for special types of solutions (steady, time periodic) or for special problems (the Swift-Hohenberg equation). Here a mathematically rigorous proof of the validity of G-L's equation is given for a general situation of one space variable and a quadratic nonlinearity. Validity is meant in the following sense. For each given initial condition in a suitable Banach space there exists a unique bounded solution of the initial value problem for G-L's equation on a finite interval of theO(1/ε²)-long time scale intrinsic to the modulation. For such a finite time interval of the intrinsic modulation time scale on which the initial value problem for G-L's equation has a bounded solution, the initial value problem for the original evolution equation with corresponding initial conditions, has a unique solutionO(ε²) — close to the approximation induced by the solution of G-L's equation. This property guarantees that, for rather general initial conditions on the intrinsic modulation time scale, the behavior of solutions of G-L's equation is really inherited from solutions of the original problem, and the other way around: to a solution of G-L's equation corresponds a nearby exact solution with a relatively small error.     

Analyzing of the effect of the dusty fluid,anisotropy and layered of the wall on the wave propagation

This study considers the propagation of time harmonic waves in, prestressed, anisotropic elastic tubes filled with viscous fluid containing dusty particles. The fluid is assumed to be incompressible and Newtonian. The tube material is considered to be incompressible, anisotropic, and elastic. The tube is subjected to a static inner pressure P_i and an axial stretch λ. Utilizing the theory of “Superposing small deformations on large initial static deformations”, differential equations governing wave propagation inside the tube are obtained in terms of cylindrical coordinates. Analytical solutions for the equations of motion for the dust and the fluid are obtained, and expressed numerically. The dispersion relation is obtained as a function of the stretch, the thickness ratio and the parameters for dusty particles.     

On the algorithm of the solution of the signorini problem

An algorithm is proposed for solving the Signorini problem /1/ in the formulation of a unilateral variational problem for the boundary functional in the zone of possible contact /2/. The algorithm is based on a dual formulation of Lagrange maximin problems for whose solution a decomposition approach is used in the following sense: a Ritz process in the basis functions that satisfy the linear constraint of the problem, the differential equation in the domain, is used in solving the minimum problem (with fixed Lagrange multipliers); the maximum problem is solved by the method of descent (a generalization of the Frank-Wolf method) under convexity constraints on the Lagrange multipliers. The algorithm constructed can be conisidered as a modification of the well-known algorithm to find the Udzawa-Arrow-Hurwitz saddle points /3, 4/. The convergence of the algorithm is investigated. A numerical analysis of the algorithm is performed in the example of a classical contact problem about the insertion of a stamp in an elastic half-plane under approximation of the contact boundary by isoparametric boundary elements. The comparative efficiency of the algorithm is associated with the reduction in the dimensionality of the boundary value problem being solved and the possibility of utilizing the calculation apparatus of the method of boundary elements to realize the solution.     

On the bound of proximity of the binomial distribution to the normal one

Bounds for the error of the Gaussian approximation for the binomial distribution are stated, depending from the probability of success and the number of observations. As a consequence, the upper bound for a constant in the Berry-Esseen inequality is deduced which differs from asymptotical one slightly more than 0.01.     

A functional approach to the theory of the structure of the surface of metals

A self-consistent field equation obtained by the method of functional integration is applied to investigate the structure of the lattice near the surface of a simple metal. Formulas are obtained for the displacements of ions relative to the nodes of an ideal lattice near the surface of the metal. Formulas are presented for the surface potential and the work of exit for one-dimensional and three-dimensional models.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 120, pp. 3–11, 1982.     

Aftermath of the Chernobyl Catastrophe from the Point of View of the Security Concept

The paper deals with uncertainty relations for time and energy operators, and the aftermath of the Chernobyl catastrophe is considered as an example. The mathematical approach developed by Holevo is analyzed, which allows us to assign the corresponding observables to non-self-adjoint operators and to establish uncertainty relations for nonstandard canonical conjugate pairs.

Relations for calculating the minimal time interval in which the energy jump can be discovered are given. Based on the intensity parameter introduced by the author, which is related to a special statistics called Gentile statistics and to the polylogarithm function, properties of stable chemical elements, such as time fluctuations and the jump of specific energy in the transition from the Bose—Einstein distribution to the Fermi—Dirac distribution, are mathematically described with regard to experimental data. The obtained data are arranged in a table for 255 stable chemical elements.

The mathematical approach developed by the author of the present paper allows one to describe the “antipode” (in a certain sense) of the standard thermodynamics, i.e., the thermodynamics of nuclear matter. This field of nuclear physics is very important for the study of properties of radioactive elements and, accordingly, from the standpoint of ensuring nuclear safety.

     

On the kernel of the Magnus representation of the Torelli group

From our previous paper, it is known that the Magnus representation of the Torelli group is not faithful. In this paper, we characterize the kernel of its representation for a certain kind of elements.