Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

The imaginary zeros of a mixed Bessel function

In the present work we study the existence and monotonicity properties of the imaginary zeros of the mixed Bessel functionM _v(z)=(z²+)J_v(z)+zJ_v(z). Such a function includes as particular cases the functionsJ _v(z)(==0), J_v(z)(=–v²,=1)x andH _v(z)=J_v(z)+zJ_v(z), whereJ _v(z) is the Bessel function of the first kind and of orderv>–1 andJ _v(z), J_v(z) are the first two derivatives ofJ _v(z). Upper and lower bounds found for the imaginary zeros of the functionsJ _v(z), J_v(z) andH _v(z) improve previously known bounds.

---

Zusammenfassung Dieser Artikel betrifft die Existenz und Monotonie von Eigenschaften imaginärer Nullen der gemischten BesselfunktionM _v(z)=(z²+)J_v(z)+zJ_v(z). Eine solche Funktion enthält als Spezialfall die FunktionenJ _v(z)(==0), J_v(z)(=–v²,=1) undH _v(z)=J_v(z)+zJ_v(z), woJ _v(z)die Besselfunktion von erster Art und Ordnungv>–1 andJ _v(z), J_v(z) sind die erste und zweite Ableitung vonJ _v(z). Untere und obere Schranken, die für die imaginären Nullen der FunktionenJ _v(z), J_v(z) undH _v(z) gefunden wurden, verbessern früher bekannte Resultate.

     

A degenerate and strongly coupled quasilinear parabolic system not in divergence form

This paper deals with positive solutions of degenerate and strongly coupled quasi-linear parabolic system not in divergence form: u_t=v^p(u+au), v_t=u^q (v+bv) with null Dirichlet boundary condition and positive initial condition, where p, q, a and b are all positive constants, and p, q 1. The local existence of positive classical solution is proved. Moreover, it will be proved that: (i) When min {a, b} ₁ then there exists global positive classical solution, and all positive classical solutions can not blow up in finite time in the meaning of maximum norm (we can not prove the uniqueness result in general); (ii) When min {a, b} > ₁, there is no global positive classical solution (we can not still prove the uniqueness result), if in addition the initial datum (u₀v₀) satisfies u₀ + au₀ 0, v₀+bv₀ 0 in , then the positive classical solution is unique and blows up in finite time, where ₁ is the first eigenvalue of – in with homogeneous Dirichlet boundary condition.This project was supported by PRC grant NSFC 19831060 and 333 Project of JiangSu Province.     

Spectral functions of zeros in the Besselq-functions

Zeta functions _v(z; q)= _n=1 [j_vn(q)]^–z and partition functions Z_v(t; q)=_n exp[–tj _vn ² (q)] related to the zeros j_vn(q) of the Bessel q-functions J_v(x; q) and J _v ⁽²⁾ (x; q) are studied and explicit formulas for _v(2n; q) at n=±1, ±2, ... are obtained. The poles of _v(z; q) in the complex plane and the corresponding residues are found. Asymptotics of the partition functions Z_v(t; q) at t 0 are investigated.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 107, No. 3, pp. 397–414, June, 1996.     

Bilateral difference method for solving the boundary value problem for an ordinary differential equation

A method is proposed for calculating the bilateral approximations of the solution of the boundary value problem on [0, 1] for the equation y+p(x)y-q(x)y=f(x) and the derivative of the solution having the maximum deviation O(h² (h)+h³) on {kh} _k ^N =0, where(t) is the sum of the continuity moduli of the functions p, q,f, on the set of points {kh} _k ^N =0, h=1/N by means of O(N) operations. The data obtained for fairly smooth p, q,f allow interpolation to be used for calculating the bilateral approximations of the solution and its higher derivatives having the maximum deviation O(h³) on [0, 1].Translated from Matematicheskie Zametkii, Vol. 11, No. 4, pp. 421–430, April, 1972.     

An infinite-dimensional Morse-Smale map

A semi-implicit discretization on time of the one-dimensional parabolic equationu _t=u_xx+f(u(x)), (x, t) (0, 1)×R⁺, with Dirichlet boundary conditions, gives rise to an infinite dimensional map _h (u): starting from , we define a discrete flow on the Hilbert spaceH ₀ ¹ (0, 1), given by _h (u) = (I -h)^-1(u+h f o u). The corresponding flow has gradient structure, compact attractor, lap number and Morse-Smale properties and structural stability with respect to the attractor.With partial support of FAPESP proc. 90/3918-5.and^* Partialy supported by Projeto BID-USP-IME.With partial support of DGICYT (Spain) under Project PB91-0497.     

A central limit theorem for solutions of the porous medium equation

We study the large–time behavior of the second moment (energy) for the flow of a gas in a N-dimensional porous medium with initial density v₀(x) 0. The density v(x, t) satisfies the nonlinear degenerate parabolic equation v_t = v^m where m > 1 is a physical constant. Assuming that for some > 0, we prove that E(t) behaves asymptotically, as t , like the energy E_B(t) of the Barenblatt-Pattle solution B(|x|, t). This is shown by proving that E(t)/E_B(t) converges to 1 at the (optimal) rate t^{–2/(N(m-1)+2)}. A simple corollary of this result is a central limit theorem for the scaled solution E(t)^N/2v(E(t)^1/2x, t).     

On feasible sets defined through Chebyshev approximation

LetZ be a compact set of the real space with at leastn + 2 points;f,h1,h2:Z continuous functions,h1,h2 strictly positive andP(x,z),x(x ₀,...,x _n ) ⁿ⁺¹,z , a polynomial of degree at mostn. Consider a feasible setM {x ⁿ⁺¹z Z, –h ₂(z) P(x, z)–f(z)h ₁(z)}. Here it is proved the null vector 0 of ⁿ⁺¹ belongs to the compact convex hull of the gradients ± (1,z,...,z ⁿ ), wherez Z are the index points in which the constraint functions are active for a givenx* M, if and only ifM is a singleton.This work was partially supported by CONACYT-MEXICO.     

Optimal error estimates of a locally one-dimensional method for the multidimensional heat equation

For the multidimensional heat equation in a parallelepiped, optimal error estimates inL ₂(Q) are derived. The error is of the order of +¦h¦² for any right-hand sidef L ₂(Q) and any initial function ; for appropriate classes of less regularf andu ₀, the error is of the order of ((+¦h¦² ), 1/2<1.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 185–197, August, 1996.     

On Two-Point Boundary Conditions in Optimal Control Problems

Let x=g(t,x(t),u(t)) be the governing equation of an optimal control problem with two-point boundary conditions h ₀(x(a))+h ₁(x(b)) = 0, where x: [a,b] ⁿ is continuous, u: [a,b] ^k-n is piecewise continuous and left continuous, h₀,h₁: ^{n q} are continuously differentiable, and g:[a,b]× ^{k n} is continuous. The paper finds functions _i C¹([a,b]× ⁿ ) such that (x(t),u(t)) is a solution of the governing equation if and only if

Approximation of the viability kernel

We study recursive inclusionsx ⁿ⁺¹ G(x ⁿ ). For instance, such systems appear for discrete finite-difference inclusionsx ⁿ⁺¹ G (x ⁿ) whereG :=1+F. The discrete viability kernel ofG , i.e., the largest discrete viability domain, can be an internal approximation of the viability kernel ofK underF. We study discrete and finite dynamical systems. In the Lipschitz case we get a generalization to differential inclusions of the Euler and Runge-Kutta methods. We prove first that the viability kernel ofK underF can be approached by a sequence of discrete viability kernels associated withx ⁿ⁺¹ (xⁿ) where (x) =x + F(x) + (ML/2) ². Secondly, we show that it can be approached by finite viability kernels associated withx _h ⁿ⁺¹ ( (x _h ⁿ⁺¹ ) +(h) X _h .     

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Finite element convergence for singular data

Convergence of the finite element solutionu ^h of the Dirichlet problem u= is proved, where is the Dirac -function (unit impulse). In two dimensions, the Green's function (fundamental solution)u lies outsideH ¹, but we are able to prove that . Since the singularity ofu is logarithmic, we conclude that in two dimensions the function log can be approximated inL ² near the origin by piecewise linear functions with an errorO (h). We also consider the Dirichlet problem u=f, wheref is piecewise smooth but discontinuous along some curve. In this case,u just fails to be inH ^5/2, but as with the approximation to the Green's function, we prove the full rate of convergence:u–u ^h ₁=O (h ^8/2) with, say, piecewise quadratics.     

Leaves in Representation Diagrams of Bipartite Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D 3 and valency k 3. Let ₀ > ₁ ··· > _D denote the eigenvalues of and let q ^h _ij (0 h, i, j D) denote the Krein parameters of . Pick an integer h (1 h D – 1). The representation diagram = _h is an undirected graph with vertices 0,1,...,D. For 0 i, j D, vertices i, j are adjacent in whenever i j and q ^h _ij 0. It turns out that in , the vertex 0 is adjacent to h and no other vertices. Similarly, the vertex D is adjacent to D – h and no other vertices. We call 0, D the trivial vertices of . Let l denote a vertex of . It turns out that l is adjacent to at least one vertex of . We say l is a leaf whenever l is adjacent to exactly one vertex of . We show has a nontrivial leaf if and only if is the disjoint union of two paths.     

A Class of Operators on L h 2 . II

Let D be the open unit disk in C, and L _h ² the space of quadratic integrable harmonic functions defined on D. Let be a function in L(D) with the property that (b) = lim _x b,xD (x) for all b D. Define the operator C on L _h ² as follows: C(f) = Q( · f), where Q is the orthogonal projection of L²(D) onto L _h ² . In this paper it is shown that if C is Fredholm, then is bounded away from zero on a neighborhood of D. Also, if C is compact, then |D 0, and the commutator ideal of (D) is K(D), where (D) denotes the norm closed subalgebra of the algebra of all bounded operators on L _h ² generated by , and K(D) is the ideal of compact operators on L _h ² . Finally, the spectrum of classes of operators defined on L _h ² is characterized.     

Zur Krümmungsverwandtschaft Von Zwangläufen in Affinen CK — Ebenen I

We study a map of osculating elements of an affine Cayley- Klein (CK-) plane into the Lie algebraA ₄(²) of the aequiform transformationsA ₄(²) of the given plane. If we use the real projective spaceP ₃() overA ₄(²) each osculating element defines a straight line inP ₃(). In the first part of this paper this map is studied in detail. In the second part we study second order properties of one- parameter motions and their corresponding properties in the Lie algebraA ₄(²). This is done by considering the analogen to the formula of EULERSAVARY in the image spaceP ³() overA ₄(²).     

On eigenfunctions of nonlinear heat generation

Summary We consider the equation u+ expu=0, >0,u(boundary)0 in the formv= exp (K,v), whereK ^–1=–. We give bounds on for the latter equation to be solvable by the contraction mapping principle, and estimate theL ² norm of the solution so obtained. We also give a bound on for the topological index of the solution to be non-zero and apply Krasnoselskii's results to the least squares method of approximating the solution.

---

Sommario Consideriamo l'equazione u+ expu=0, >0,u(frontiera)=0 nella formav= exp (Kv), doveK ^–1=–. In questo lavoro diamo limitazioni per per cui la seconda equazione e risolubile col metodo delle contrazioni, e diamo una stima della norma inL ² della soluzione cosi ottenuta. Diamo anche una limitazione per per cui l'indice topologico della soluzione diventa non zero, e applichiamo i risultati di Krasnoselskii al metodo dei minimi quadrati per approssimare la soluzione.

     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.     

Convergence of the Projection Difference Scheme for the Nonlinear Parabolic Equation with Transformed Spatial Argument

We consider a mixed initial boundary-value problem for the nonlinear parabolic functional-differential equation. The functional part of the equation depends on a generalized superposition of the sought solution and a transformation of the one-dimensional spatial argument. An approximate projection difference scheme is proposed for a wide class of measurable (including non-invertible) transformations. An O( + h ^{1 +} ) bound is obtained for the rate of convergence in the L ²(Q) norm to the generalized solutions of the original problem without prior assumptions about invertibility of the transformation, smoothness of the solution, or compatibility of grid increments.     

Combined free and forced laminar convection in internally finned square ducts

Analysis is presented for the heat transfer performance of square ducts with internal fins from each wall in the case of combined free and forced convection by fully developed laminar flow. Numerical results are obtained for the Nusselt number and the pressure drop parameter for various values of finlengths and heat source parameter. For various values of Rayleigh numbers, the Nusselt number increases with the increase in finlength and decreases with the increase in heat source parameter.

---

Zusammenfassung Es wird eine Analyse für den Wärmeaustausch von quadratischen Rohren mit inneren Rippen an jeder Wand im Falle einer Kombination von freier und erzwungener Konvektion bei voll entwickelter laminarer Strömung gegeben. Numerische Resultate für die Nusselt-Zahl und den Druckabfall-Koeffizienten für verschiedene Rippenbreiten und Parameter der Wärmequelle werden erhalten. Für einige Werte der Rayleighzahl wächst die Nusselt-Zahl mit der Rippenbreite und fällt mit wachsendem Parameter der Wärmequelle.

---

Nomenclature A cross sectional area of the duct - B _2k Bernoulli numbers - c _p specific heat at constant pressure - D _h hydraulic diameter of finless duct - E _n complex constants (20) - F heat source parameter,Q/c _p - F _n () defined by Equation (14) - G(, , , ) Green's function (15, 16) - g gravitational acceleration - H() Heaviside function - h() defined by Equation (22) - i imaginary unit,i ²=–1 - ImW imaginary part ofW - K(,t) kernel of the integral equation, defined by (25) - k thermal conductivity - L pressure drop parameter, –D _h ² (p/x+ _w )/ - l fin length of each fin, Figure (1) - N _u Nusselt number, Equation (32) - p pressure - Q heat generation rate - R() defined by Equation (26) - R _A Rayleigh number, _w gc _p D _h ⁴ /k - ReW real part ofW - T dimensionless temperature, (t–t _w )/(c _p D _h ² /k) - T _mx dimensionless mixed mean temperature, Equation (33) - t fluid temperature - t ₀ reference temperature atx=0 - u local axial velocity - mean axial velocity - V u/ - W complex function defined by Equation (6) - w suffix denoting wall conditions - W ₀ defined by Equation (9) - W ₁ W–W ₀, Equation (18) - x axial coordinate along the length of the duct - y, z cross-sectional coordinates - constant temperature gradient, t/x - coefficient of thermal expansion of the fluid - fluid density - _n - dynamic viscosity - () Dirac delta function - ² Laplacian operator, ²/y ²/²/z ² - , y/D _h ,z/D _h