Bounds for the cup-length of Poincaré spaces and their applications

Our main result offers a new (quite systematic) way of deriving bounds for the cup-length of Poincaré spaces over fields; we outline a general research program based on this result. For the oriented Grassmann manifolds, already a limited realization of the program leads, in many cases, to the exact values of the cup-length and to interesting information on the Lyusternik-Shnirel'man category.     

Function spaces over GO-spaces: Part I

We describe the structure of spaces of continuous step functions over GO-spaces. We establish a relation between the Dedekind completion of a GO-space L and properties of the space of continuous functions from L to 2 with finitely many steps. We use the established relation to prove that a countably compact GO-space L has Lindelöf Cp(L) iff the Dedekind remainder of L is Lindelöf and every compact subspace of L is metrizable. Or equivalently, a countably compact GO-space L has Lindelöf Cp(L) iff every compact subspace of L is metrizable and a Gδ-set in L. Other results are obtained.     

Stability of transonic shocks in supersonic flow past a wedge

In this paper we study the stability of transonic shocks in steady supersonic flow past a wedge. We take the potential flow equation as the mathematical model to describe the compressible flow. It is known that in generic case such a problem admits two possible location of shock, connecting the flow ahead it and behind it. They can be distinguished as supersonic-supersonic shock and supersonic-subsonic shock (or transonic shock). Both these possible shocks satisfy the Rankine-Hugoniot conditions and entropy condition. In this paper we prove that the transonic shock is also stable under perturbation of the coming flow provided the pressure at infinity is well controlled.     

On hermitian polynomial optimization

We compare three levels of algebraic certificates for evaluating the maximum modulus of a complex analytic polynomial, on a compact semi-algebraic set. They are obtained as translations of some recently discovered inequalities in operator theory. Although they can be stated in purely algebraic terms, the only known proofs for these decompositions have a transcendental character. Received: 27 June 2005     

Half-explicit Runge-Kutta methods for semi-explicit differential-algebraic equations of index 1

Summary For the numerical solution of non-stiff semi-explicit differentialalgebraic equations (DAEs) of index 1 half-explicit Runge-Kutta methods (HERK) are considered that combine an explicit Runge-Kutta method for the differential part with a simplified Newton method for the (approximate) solution of the algebraic part of the DAE. Two principles for the choice of the initial guesses and the number of Newton steps at each stage are given that allow to construct HERK of the same order as the underlying explicit Runge-Kutta method. Numerical tests illustrate the efficiency of these methods.     

Dimensional reduction for Helmholtz's equation on a bounded domain

Summary. The dimensional reduction method for solving boundary value problems of Helmholtz's equation in domain by replacing them with systems of equations in dimensional space are investigated. It is proved that the existence and uniqueness for the exact solution and the dimensionally reduced solution of the boundary value problem if the input data on the faces are in some class of functions. In addition, the difference between and in is estimated as and are fixed. Finally, some numerical experiments in a domain are given in order to compare theretical results. Received April 2, 1996 / Revised version received July 30, 1990     

The umbral calculus and orthogonal polynomials

We determine all orthogonal polynomials having Boas-Buck generating functions g(t)(xf(t)), where% MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGceaqabeaacqqHOo% qwcaGGOaGaamiDaiaacMcacqGH9aqpruqqYLwySbacfaGaa8hiamaa% BeaaleaacaaIWaaabeaakiaadAeacaqGGaWaaSbaaSqaaiaabgdaae% qaaOGaaeikaiaadggacaGGSaGaa8hiaiaadshacaqGPaGaaeilaiaa% bccacaqGGaGaaeiiaiaadggacqGHGjsUcaaIWaGaaiilaiaa-bcacq% GHsislcaaIXaGaaiilaiaa-bcacqGHsislcaaIYaGaaiilaiablAci% ljaacUdaaeaacqqHOoqwcaGGOaGaamiDaiaacMcacqGH9aqpcaWFGa% WaaSraaSqaaiaaicdaaeqaaOGaamOraiaabccadaWgaaWcbaGaaeOm% aaqabaGccaGGOaWaaSqaaSqaaiaaigdaaeaacaaIZaaaaOGaaiilai% aa-bcadaWcbaWcbaGaaGOmaaqaaiaaiodaaaGccaGGSaGaa8hiaiaa% dshacaGGPaGaa8hiamaaBeaaleaacaaIWaaabeaakiaadAeacaqGGa% WaaSbaaSqaaiaabkdaaeqaaOGaaeikamaaleaaleaacaaIYaaabaGa% aG4maaaakiaacYcacaWFGaWaaSqaaSqaaiaaisdaaeaacaaIZaaaaO% Gaaiilaiaa-bcacaWG0bGaaiykaiaacYcacaWFGaWaaSraaSqaaiaa% icdaaeqaaOGaamOraiaabccadaWgaaWcbaGaaeOmaaqabaGccaGGOa% WaaSqaaSqaaiaaisdaaeaacaaIZaaaaOGaaiilaiaa-bcadaWcbaWc% baGaaGynaaqaaiaaiodaaaGccaGGSaGaa8hiaiaadshacaGGPaGaai% 4oaaqaaiabfI6azjaacIcacaWG0bGaaiykaiabg2da9iaa-bcadaWg% baWcbaGaaGimaaqabaGccaWGgbGaaeiiamaaBaaaleaacaqGZaaabe% aakiaacIcadaWcbaWcbaGaaGymaaqaaiaaisdaaaGccaGGSaGaa8hi% amaaleaaleaacaaIYaaabaGaaGinaaaakiaacYcacaWFGaWaaSqaaS% qaaiaaiodaaeaacaaI0aaaaOGaaiilaiaa-bcacaWG0bGaaiykaiaa% -bcadaWgbaWcbaGaaGimaaqabaGccaWGgbGaaeiiamaaBaaaleaaca% qGZaaabeaakiaabIcadaWcbaWcbaGaaGOmaaqaaiaaisdaaaGccaGG% SaGaa8hiamaaleaaleaacaaIZaaabaGaaGinaaaakiaacYcacaWFGa% WaaSqaaSqaaiaaiwdaaeaacaaI0aaaaOGaaiilaiaa-bcacaWG0bGa% aiykaiaacYcaaeaadaWgbaWcbaGaaGimaaqabaGccaWGgbGaaeiiam% aaBaaaleaacaqGZaaabeaakiaacIcadaWcbaWcbaGaaG4maaqaaiaa% isdaaaGccaGGSaGaa8hiamaaleaaleaacaaI1aaabaGaaGinaaaaki% aacYcacaWFGaWaaSqaaSqaaiaaiAdaaeaacaaI0aaaaOGaaiilaiaa% -bcacaWG0bGaaiykaiaacYcacaGGUaGaa8hiamaaBeaaleaacaaIWa% aabeaakiaadAeacaqGGaWaaSbaaSqaaiaabodaaeqaaOGaaeikamaa% leaaleaacaaI1aaabaGaaGinaaaakiaacYcacaWFGaWaaSqaaSqaai% aaiAdaaeaacaaI0aaaaOGaaiilaiaa-bcadaWcbaWcbaGaaG4naaqa% aiaaisdaaaGccaGGSaGaa8hiaiaadshacaGGPaGaaiOlaaaaaa!C1F3!\[\begin{gathered}\Psi (t) = {}_0F{\text{ }}_{\text{1}} {\text{(}}a, t{\text{), }}a \ne 0, - 1, - 2, \ldots ; \hfill \\\Psi (t) = {}_0F{\text{ }}_{\text{2}} (\tfrac{1}{3}, \tfrac{2}{3}, t) {}_0F{\text{ }}_{\text{2}} {\text{(}}\tfrac{2}{3}, \tfrac{4}{3}, t), {}_0F{\text{ }}_{\text{2}} (\tfrac{4}{3}, \tfrac{5}{3}, t); \hfill \\\Psi (t) = {}_0F{\text{ }}_{\text{3}} (\tfrac{1}{4}, \tfrac{2}{4}, \tfrac{3}{4}, t) {}_0F{\text{ }}_{\text{3}} {\text{(}}\tfrac{2}{4}, \tfrac{3}{4}, \tfrac{5}{4}, t), \hfill \\{}_0F{\text{ }}_{\text{3}} (\tfrac{3}{4}, \tfrac{5}{4}, \tfrac{6}{4}, t),. {}_0F{\text{ }}_{\text{3}} {\text{(}}\tfrac{5}{4}, \tfrac{6}{4}, \tfrac{7}{4}, t). \hfill \\\end{gathered}\]We also determine all Sheffer polynomials which are orthogonal on the unit circle. The formula for the product of polynomials of the Boas-Buck type is obtained.     

On the error of compound quadrature formulas forr-convex functions

LetC _m be a compound quadrature formula, i.e.C _m is obtained by dividing the interval of integration [a, b] intom subintervals of equal length, and applying the same quadrature formulaQ _n to every subinterval. LetR _m be the corresponding error functional. Iff ^(r) > 0 impliesR _m [f] > 0 (orR _m [f] < 0),=" then=" we=" say=">C _m is positive definite (or negative definite, respectively) of orderr. This is the case for most of the well-known quadrature formulas. The assumption thatf ^(r) > 0 may be weakened to the requirement that all divided differences of orderr off are non-negative. Thenf is calledr-convex. Now letC _m be positive definite or negative definite of orderr, and letf be continuous andr-convex. We prove the following direct and inverse theorems for the errorR _m [f], where , denotes the modulus of continuity of orderr:

Integrals involving Gegenbauer and Hermite polynomials on the imaginary axis

Summary The integral _- [C _2n (it)]^–2(1+t ²)^–-1/2 dt is evaluated for > –1/2 whereC _2n is the Gegenbauer polynomial of degree 2n. Letting gives the value _- [H _2n (it)]^–2 e ^{1-1/2t 2} dt involving the Hermite polynomialH _2n of degree 2n. The result is obtained using Gegenbauer functions of the second kind.