The legendre condition in optimum problems of supersonic gasdynamics : PMM vol. 39, n 6, 1975, pp. 1032–1042

The necessary Legendre condition for problems of optimum (in the sense of minimum wave drag) supersonic flow past bodies is obtained. Plane and axisymmetric flows are considered on the assumption of imposition of isoperimetric constraints of a general form. Shock-free flows and flows with attached shock waves are investigated. The method here proposed is used for deriving the second order condition in the particular case when it is possible to pass to the reference contour, and which has been earlier obtained by Shmyglevskii [1] and then by Guderley and others [2].     

On “bent” functions

Let P(x) be a function from GF(2ⁿ) to GF(2). P(x) is called “bent” if all Fourier coefficients of (−1)^P(x) are ±1. The polynomial degree of a bent function P(x) is studied, as are the properties of the Fourier transform of (−1)^P(x), and a connection with Hadamard matrices.     

Theory of the hypersonic viscous shock layer at high Reynolds numbers and intensive injection of foreign gases : PMM vol. 38, n 6, 1974, pp. 1015–1024

The hypersonic flow around smooth blunted bodies in the presence of intensive injection from the surface of these is considered. Using the method of external and internal expansions the asymptotics of the Navier-Stokes equations is constructed for high Reynolds numbers determined by parameters of the oncoming stream and of the injected gas. The flow in the shock layer falls into three characteristic regions. In regions adjacent to the body surface and the shock wave the effects associated with molecular transport are insignificant, while in the intermediate region they predominate. In the derivation of solution in the first two regions the surface of contact discontinuity is substituted for the region of molecular transport (external problem). An analytic solution of the external problem is obtained for small values of parameters ₁ = ρ_∞/ρs^* and δ = ρ_ω^*1/2ν_ω^*/ρ_∞1/2ν_∞, in the form of corresponding series expansions in these parameters. Asymptotic formulas are presented for velocity profiles, temperatures, and constituent concentration across the shock layer and, also, the shape of the contact discontinuity and of shock wave separation. The derived solution is compared with numerical solutions obtained by other authors. The flow in the region of molecular transport is defined by equations of the boundary layer with asymptotic conditions at plus and minus infinity, determined by the external solution (internal problem). A numerical solution of the internal problem is obtained taking into consideration multicomponent diffusion and heat exchange. The problem of multicomponent gas flow in the shock layer close to the stagnation line was previously considered in [1] with the use of simplified Navier-6tokes equations.The supersonic flow of a homogeneous inviscid and non-heat-conducting gas around blunted bodies in the presence of subsonic injection was considered in [2–7] using Euler's equations. An analytic solution, based on the classic solution obtained by Hill for a spherical vortex, was derived in [2] for a sphere on the assumption of constant but different densities in the layers between the shock wave and the contact discontinuity and between the latter and the body. Certain results of a numerical solution of the problem of intensive injection at the surface of axisymmetric bodies of various forms, obtained by Godunov's method [3], are presented. Telenin's method was used in [4] for numerical investigation of flow around a sphere; the problem was solved in two formulations: in the first, flow parameters were determined for the whole of the shock layer, while in the second this was done for the sutface of contact discontinuity, which was not known prior to the solution of the problem, with the pressure specified by Newton's formula and flow parameters determined only in the layer of injected gases. The flow with injection over blunted cones was numerically investigated in [5] by the approximate method proposed by Maslen. The flow in the shock layer in the neighborhood of the stagnation line was considered in [6, 8], and intensive injection was investigated by methods of the boundary layer theory in [8–12].     

Note on: N.E. Aguilera, M.S. Escalante, G.L. Nasini, “The disjunctive procedure and blocker duality”

Aguilera et al. [Discrete Appl. Math. 121 (2002) 1–13] give a generalization of a theorem of Lehman through an extension of the disjunctive procedure defined by Balas, Ceria and Cornuéjols. This generalization can be formulated as(A) For every clutter , the disjunctive index of its set covering polyhedron coincides with the disjunctive index of the set covering polyhedron of its blocker, .In Aguilera et al. [Discrete Appl. Math. 121 (2002) 1–3], (A) is indeed a corollary of the stronger result(B) .Motivated by the work of Gerards et al. [Math. Oper. Res. 28 (2003) 884–885] we propose a simpler proof of (B) as well as an alternative proof of (A), independent of (B). Both of them are based on the relationship between the “disjunctive relaxations” obtained by and the set covering polyhedra associated with some particular minors of .     

Effect of interconvertibility of electromagnetic and gravitational waves in strong external electromagnetic fields and the propagation of waves in the field of a charged “black hole” : PMM vol. 38, n 6, 1974, pp. 1122–1129

It is shown that the behavior of an arbitrary wave propagating in the field of a nonrotating charged black hole is defined (with the use of quadratures) by four functions. Each of these functions obeys its second order equation of the wave kind. Short electromagnetic waves falling onto a black hole are reflected by its field in the form of gravitational and electromagnetic waves whose amplitude was explicitly determined. In the case of the wave carrying rays winding around the limit cycle the reflection and transmission coefficients were obtained in the form of analytic expressions.Various physical processes taking place inside, as well as outside a collapsing star, may induce perturbations of the gravitational, electromagnetic and other fields, and lead to the appearance in the surrounding space of waves of various kinds which propagate over a distorted background and are dissipated along its inhomogeneities.In the absence of rotation and charge in a star, the analysis of small perturbations of the gravitational fields is based on the system of Einstein equations linearized around the Schwarzschild solution. In [1, 2] this system of equations, after expansion of perturbations in spherical harmonics and Fourier transformation with respect to time, was reduced to two independent linear ordinary differential equations of second order of the form of the stationary Schrödinger equation for a particle in a potential force field. Each of these equations defines one of two possible independent perturbation kinds: “even” and “odd” (the different behavior of spherical tensor harmonics at coordinate inversion is the deciding factor in the determination of the kind of perturbation [1, 2]). Although these equations were derived with the superposition on the perturbations of the metric of specific coordinate conditions, they define, as shown in [4], the behavior of invariants of the perturbed gravitational field, which imparts to the potential barriers appearing in these equations an invariant meaning.The system of Maxwell equations on the background of Schwarzschild solution also reduces to similar equations, which differ from the above only by the form of potential barriers appearing in these [5].In the presence in the unperturbed solution of a strong electromagnetic field the gravitational and electromagnetic waves interact with each other, and transmutation takes place. The train of short periodic electromagnetic waves generates the accompanying train of gravitational waves. This phenomenon was first analyzed in [6] on and arbitrary background. It was shown in [7, 8] that dense stars surrounded by hot plasma may acquire a charge owing to splitting of charges by radiation pressure and the “sweeping out” of positrons nascent in vapors in strong electrostatic fields. The interaction of waves becomes particularly clearly evident in the neighborhood of black holes which may serve as “valves” by maintaining equilibrium between the relict electromagnetic and gravitational radiation in the Universe. Rotation of black holes intensifies this effect [6].If a nonrotating star possesses an electrostatic charge, the definition of perturbations of the electromagnetic and gravitational fields must be based on the complete system of Einstein-Maxwell equations linearized around the Nordström-Reissner solution. (Small perturbations of electromagnetic field outside a charged black hole were considered in [9, 10] on the basis of the system of Maxwell equations on a “rigid” background of the Nordström-Reissner solution, without taking into account the interconvertibility of gravitational and electromagnetic waves, which materially affects their behavior in the neighborhood of a charged black hole). Here this system of equations which define the interacting gravitational and electromagnetic perturbations are reduced to four independent second order differential equations, two for each kind of perturbations (an importsnt part is played here by the coordinate conditions imposed on the perturbations of the metric, proposed by the authors in [4]). Perturbation components of the metric and of the electromagnetic field are determined in quadratures by the solutions of these equations. If the charge of a star tends to vanish, two of the derived equations convert to equations for gravitational waves on the background of the Schwarzschild solution [1, 2], while the twoothers become equations which are equivalent to Maxwell solutions on the same background. The short-wave asymptotics of derived equations is determined throughout including the neighborhood of the limit cycle for the wave carrying rays. These solutions far away from the point of turn coincide with those obtained in [6] for any arbitrary background. Approximation of geometric optics does not provide correct asymptotics for impact parameters of rays which are close to critical for which the Isotropie and geodesic parameters wind around the limit cycle. This case is investigated below.A similar situation in the Schwarzschild field was analyzed in [11], where analytic expressions for the wave reflection and transmission coefficients were determined, and the integral radiation stream trapped by a black hole produced by another radiation component of the dual system was calculated.     

Proposal and implementation of the “science SQC” quality control principle

In forecasting the operation of the manufacturing industry in the 21^st century, the authors recently proposed “science SQC” as a demonstrative-scientific methodology and discussed its effectiveness on the basis of verification studies conducted by Toyota Motor Corporation. This study outlines a new SQC principle “science SQC”, as a demonstrative-scientific methodology, which enables the principle of TQM to be improved systematically.     

A “Generalized Trace Formula” for Bell numbers

The nth Bell number B_n is the number of ways to partition a set of n elements into nonempty subsets. We generalize the “trace formula” of Barsky and Benzaghou [1], which asserts that for an odd prime p and an appropriate constant τ_p, the relation B_n=-Tr(^n-1-τ_p)B_τp holds in , where is a root of and is the trace form. We deduce some new interesting congruences for the Bell numbers, generalizing miscellaneous well-known results including those of Radoux [4].     

The Enumeration of Permutations with a Prescribed Number of “Forbidden” Patterns

We initiate a general approach for the fast enumeration of permutations with a prescribed number of occurrences of “forbidden” patterns that seems to indicate that the enumerating sequence is always P-recursive. We illustrate the method completely in terms of the patterns “abc,” “cab,” and “abcd.”     

Pointed two-parameter power-law nose shapes of minimum wave drag

A direct method of constructing pointed contours which are close to optimum with respect to wave drag is developed for axisymmetric nose shapes using Euler's equations. A two-parameter power function is a good approximation of the contours constructed using this method. Calculations, carried out using the proposed approximation, demonstrate the reduction in the wave drag of the bodies constructed compared with existing optimum, blunt, one-parameter, power-law nose shapes.     

The “progressive mixture” estimator for regression trees

We present a version of O. Catoni's “progressive mixture estimator” (1999) suited for a general regression framework. Following basically Catoni's steps, we derive strong non-asymptotic upper bounds for the Kullback–Leibler risk in this framework. We give a more explicit form for this bound when the models considered are regression trees, present a modified version of the estimator in an extended framework and propose an approximate computation using a Metropolis algorithm.     

On the game theory approach to problems of optimization of elastic bodies : PMM vol. 37, n6, 1973, pp. 1098–1108

Problems of optimization of elastic bodies are considered usually in deterministic formulation, and for their solution the methods of variational calculus and the theory of optimal control are applicable (c.f., e.g., [1] and [2–4]). In the present paper there are considered those cases when either the complete information concerning the applied loads is not available,or it is known that the structure may be subjected subsequently to various loads of a certain class. The formulation is given of the problem of the determination of the shape of the elastic body, optimal for a class of loads, and there is indicated a general scheme for its solution based on the “minimax” approach used in the theory of games. Problems of optimization of elastic beams are considered and as a result of their solution certain features of optimal shapes are exhibited.     

Reading “A variant of the Hales–Jewett theorem” on its anniversary

In a recent paper “A variant of the Hales–Jewett theorem”, M. Beiglböck provides a version of the classic coloring result in which an instance of the variable in a word giving rise to a monochromatic combinatorial line can be moved around in a finite structure of specified type (for example, an arithmetic progression). We give an elementary proof and infinitary extensions.     

Where Are the Nodes of “Good” Interpolation Polynomials on the Real Line?

It is shown that the interval where the nodes of a “good” interpolation polynomial are situated is strongly connected with the Mhaskar–Rahmanov–Saff number.     

Generation of three-dimensional block-structured grids based on rotation of two-dimensional multiply connected cross sections

An algorithm for generating curvilinear block-structured grids in axisymmetric three-dimensional domains of any connectivity is developed. The organization of the connection between the blocks is automated. The grids constructed are used to compute ideal gas steady flows past axisymmetric bodies at a nonzero angle of attack.     

On perturbations associated with the creation of lift acting on a body in a transonic stream of a dissipative gas PMM vol. 31, no. 6, 1967, pp. 1035–1049

The flow pattern of a viscous imcompressible fluid past a finite body is well known; an approximate solution of the related problem can, for example, be found in the book by Landau and Lifshits [1]. Finn [2] made a rigorous and exhaustive study of plane-parallel flows. No fundamental difficulties arise in passing from the motion of an incompressible fluid to a transonic flow of a compressible gas, however the velocity field is different, when the velocity of particles becomes critical at infinity.

The pattern of a sonic flow past a body of circular cross-section was investigated in paper [3]. This paper deals with perturbations associated with the creation of lift acting on an arbitrary body in a three-dimensional flow. When solving this problem it is necessary to consider not only the external stream, but also the laminar vortex trail because of the velocity vector transverse components becoming infinitely great, if functions defining these are formally extended into the trail area. This difficulty arises in investigations of three-dimensional flows only. The solution defining perturbation damping in an axisymmetric sonic stream of a dissipative gas has in its first approximation one singular point only, and does not contain any other singularities along the axis of symmetry [3].

The external stream pattern is essentially formed by the action of normal viscous stresses and the longitudinal component of the heat flux vector, while the distribution of gas parameters in the laminar trail is defined by tangential stresses. The conjunction of solutions valid for each of these areas makes the closure of the problem, and the determination of all necessary parameters possible.     

Dimers, tilings and trees

Generalizing results of Temperley (London Mathematical Society Lecture Notes Series 13 (1974) 202), Brooks et al. (Duke Math. J. 7 (1940) 312) and others (Electron. J. Combin. 7 (2000); Israel J. Math. 105 (1998) 61) we describe a natural equivalence between three planar objects: weighted bipartite planar graphs; planar Markov chains; and tilings with convex polygons. This equivalence provides a measure-preserving bijection between dimer coverings of a weighted bipartite planar graph and spanning trees of the corresponding Markov chain. The tilings correspond to harmonic functions on the Markov chain and to “discrete analytic functions” on the bipartite graph.The equivalence is extended to infinite periodic graphs, and we classify the resulting “almost periodic” tilings and harmonic functions.     

Noyaux potentiels associés à une filtration

We study from the point of view of potential theory some operators V which are “integrals of martingales” and noteworthy the formula (I + V)⁻¹ = I − N where N is a submarkovian kernel. We give an explicit expression of N when the filtration is finite and get the general case with an usual approximation procedure. Some links are made with the matrix theory (ultrametric and Stieltjes matrices) and the graph theory (flows and capacities) when the space is finite.

Résumé

On étudie, du point de vue de la théorie du potentiel, des opérateurs V du type “intégrales de martingale”, et notamment la formule (I + V)⁻¹ = I − N où N est un noyau sous-markovien. On donne une expression explicite de N dans le cas d'une filtration finie, et on traite le cas général par un procédé d'approximation usuel. On fait le lien avec la théorie des matrices (matrices ultramétriques et de Stieltjes) et la théorie des graphes (flots et capacités) quand l'espace est fini.     

Addendum to the Paper “The Generalized Integer Gamma Distribution—A Basis for Distributions in Multivariate Statistics”

A brief remark on the paper “The Generalized Integer Gamma Distribution— A Basis for Distributions in Multivariate Statistics,” (1998,J. Multivariate Anal.64, 86–102) and an additional result concerning the distribution of the product of some particular independent beta random variables, which broadens the scope of the results in that paper, are presented.     

A new approach to the classical Stokes flow problem: Part I Methodology and first-order analytical results

The problem of determining the axisymmetric Stokes flow past an arbitrary body, the boundary shape of which can be represented by an analytic function, is examined by developing an exact method. An appropriate nonorthogonal coordinate system is introduced, and it is shown that the Hilbert space to which the stream function belongs is spanned by the set of Gegenbauer polynomials based on the physical argument that the drag on a body should be finite. The partial differential equation of the original problem is then reduced to two simultaneous vector differential equations. By the truncation of this infinite-dimensional system to the one-dimensional subspace, an explicit analytic solution to the Stokes equation valid for all bodies in question is obtained as a first approximation.