Locally forced critical surface waves in channels of arbitrary cross section

Critical long surface waves forced by locally distributed external pressure applied on the free surface in channels of arbitrary cross section are studied in this paper. The fluid under consideration is inviscid and has constant density. The upstream flow is uniform and the upstream velocity is assumed to be near critical, i.e.,u ₀=u _c ++0(²), where 0<1 andu _c is the critical velocity determined by the geometry of the channel. The external pressure applied on the free surface as the forcing is ² P(x). Then the first order perturbation of the free surface elevation satisfies a forced Korteweg-de Vries equation (fK-dV). It is shown in this paper that: (i) If (supercritical), the stationaryfK-dV has two cusped solitary wave solutions; (ii) if (subcritical), the stationaryfK-dV has a downstream cnoidal wave solution; (iii) when= _L , the unique stationary solution of thefK-dV is a wave free hydraulic fall; (iv) if= _d =– _L , thefK-dV has a jump solution; and (v) if _L << _c , thefK-dV does not have stationary solutions. Some free surface profiles and bifurcation diagrams are presented.     

Elliptic operators on Lie groups

We review the theory of strongly elliptic operators on Lie groups and describe some new simplifications. Let U be a continuous representation of a Lie group G on a Banach space and a ₁,...,a _d a basis of the Lie algebra g of G. Let A _i=dU(a _i) denote the infinitesimal generator of the continuous one-parameter group t U(exp(-ta _i)) and set % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqVa0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyqamaaCaaale% qajeaObaGaeyySdegaaOGaeyypa0JaamyqamaaBaaajeaWbaGaaeyA% aaWcbeaajaaOdaWgaaqcbaAaamaaBaaajiaObaGaaiiBaaqabaaaje% aObeaakiaacElacaGG3cGaai4TaiaadgeadaWgaaqcbaCaaiaabMga% aSqabaGcdaWgaaWcbaWaaSbaaKGaahaacaGGUbaameqaaaWcbeaaaa% a!4897!\[A^\alpha = A_{\rm{i}} _{_l } \cdot\cdot\cdotA_{\rm{i}} _{_n } \], where =(i ₁,...,i _n) with _j and set ||=n. We analyze properties of mth order differential operators % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqFj0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaiabg2da9i% aabccadaaeqaqaaiaadogadaWgaaqcbaCaaiabgg7aHbWcbeaaaKqa% GgaacqGHXoqycaqG7aGaaeiiaiaabYhacqGHXoqycaqG8bGaeyizIm% QaaeyBaaWcbeqdcqGHris5aOGaamyqamaaCaaaleqajeaObaGaeyyS% degaaaaa!4A6C!\[H = {\rm{ }}\sum\nolimits_{\alpha {\rm{; |}}\alpha {\rm{|}} \le {\rm{m}}} {c_\alpha } A^\alpha \] with coefficients c . If H is strongly elliptic, i.e., % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqFj0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaciOuaiaacwgacq% GH9aqpcaqGGaWaaabeaeaacaGGOaaajeaObaGaeyySdeMaae4oaiaa% bccacaqG8bGaeyySdeMaaeiFaiabg2da9iaab2gaaSqab0GaeyyeIu% oakiaabMgacqaH+oaEcaGGPaWaaWbaaSqabKqaGgaacqGHXoqyaaGc% cqGH+aGpcaaIWaaaaa!4C40!\[{\mathop{\rm Re}\nolimits} = {\rm{ }}\sum\nolimits_{\alpha {\rm{; |}}\alpha {\rm{|}} = {\rm{m}}} ( {\rm{i}}\xi )^\alpha > 0\] for all % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqVa0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqOVdGNaeyicI4% SaeSyhHe6aaWbaaSqabeaacaWGKbaaaOGaaiixaiaacUhacaaIWaGa% aiyFaaaa!3EAA!\[\xi \in ^d \backslash \{ 0\} \], then we give a simple proof of the theorem that the closure of H generates a continuous (and holomorphic) semigroup on and the action of the semigroup is determined by a smooth, representation independent, kernel which, together with all its derivatives, satisfies mth order Gaussian bounds.     

An Extension of the Roots Separation Theorem

Let T _n be an n×n unreduced symmetric tridiagonal matrix with eigenvalues ₁<₂<< _n and W _k is an (n–1)×(n–1) submatrix by deleting the kth row and the kth column from T _n , k=1,2,...,n. Let _{12 n–1} be the eigenvalues of W _k . It is proved that if W _k has no multiple eigenvalue, then ₁<₁<₂<₂<< _n–1< _n–1< _n ; otherwise if _i = _i+1 is a multiple eigenvalue of W _k , then the above relationship still holds except that the inequality _i < _i+1< _i+1 is replaced by _i = _i+1= _i+1.     

A class of consistent tests for exponentiality based on the empirical Laplace transform

The Laplace transform (t=E[exp(–tX)]) of a random variable with exponential density exp(–x), x0, satisfies the differential equation (+t)(t)+(t=0, t0). We study the behaviour of a class of consistent (omnibus) tests for exponentiality based on a suitably weighted integral of % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqpepeea0xe9qqVa0l% b9peea0lb9sq-JfrVkFHe9peea0dXdarVe0Fb9pgea0xa9pue9Fve9% Ffc8meGabaqaciGacaGaaeqabaWaaeaaeaaakeaacaGGBbGaaiikai% qbeU7aSzaajaWaaSbaaSqaaGqaciaa-5gaaeqaaOGaey4kaSIaamiD% aiaacMcacqaHipqEcaWFNaWaaSbaaSqaaiaad6gaaeqaaOGaaiikai% aadshacaGGPaGaey4kaSIaeqiYdK3aaSbaaSqaaiaad6gaaeqaaOGa% aiikaiaadshacaGGPaGaaiyxamaaCaaaleqabaGaaGOmaaaaaaa!4C69!\[[(\hat \lambda _n + t)\psi '_n (t) + \psi _n (t)]^2 \], where % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqpepeea0xe9qqVa0l% b9peea0lb9sq-JfrVkFHe9peea0dXdarVe0Fb9pgea0xa9pue9Fve9% Ffc8meGabaqaciGacaGaaeqabaWaaeaaeaaakeaacuaH7oaBgaqcam% aaBaaaleaaieGacaWFUbaabeaaaaa!3A66!\[\hat \lambda _n \] is the maximum-likelihood-estimate of and _n is the empirical Laplace transform, each based on an i.i.d. sample X ₁,...,X _n .     

An Improvement of an Inequality of Fiedler Leading to a New Conjecture on Nonnegative Matrices

Suppose that A is an n × n nonnegative matrix whose eigenvalues are = (A), ₂, ..., _n. Fiedler and others have shown that \det( I -A) ⁿ - ⁿ, for all > with equality for any such if and only if A is the simple cycle matrix. Let a _i be the signed sum of the determinants of the principal submatrices of A of order i × i, i=1, ..., n - 1. We use similar techniques to Fiedler to show that Fiedler's inequality can be strengthened to: for all . We use this inequality to derive the inequality that: . In the spirit of a celebrated conjecture due to Boyle-Handelman, this inequality inspires us to conjecture the following inequality on the nonzero eigenvalues of A: If ₁ = (A), ₂,...,_k are (all) the nonzero eigenvalues of A, then . We prove this conjecture for the case when the spectrum of A is real.     

Nondiagonal Hermite–Sobolev Orthogonal Polynomials

In this work, we study algebraic and analytic properties for the polynomials { Q _n } _{n 0}, which are orthogonal with respect to the inner product where , R such that – ² > 0.     

A remark on the representation of vector lattices as spaces of continuous real-valued functions

The well-known Ogasawara-Maeda-Vulikh representation theorem asserts that for each Archimedean vector lattice L there exists an extremally disconnected compact Hausdorff space , unique up to a homeomorphism, such that L can be represented isomorphically as an order dense vector sublattice of the universally complete vector lattice C () of all extended-real-valued continuous functions f on for which % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaamaacmqabaGaeqyYdCNaeyicI4SaeyyQdCLaeyOoaOJaaiiFaiab% gkzaMkabgIcaOiabgM8a3jabgMcaPiaacYhacqGH9aqpcqGHEisPai% aawUhacaGL9baaaaa!4E05!\[\left\{ {\omega \in \Omega :|f(\omega )| = \infty } \right\}\] is nowhere dense. Since the early days of using this representation it has been important to find conditions on L such that consists of bounded functions only.The aim of this short article is to present a simple complete characterization of such vector lattices.     

Une méthode numérique pour le calcul des points de retournement. Application à un problème aux limites non-linéaire

Summary A finite element method (P₁) with numerical integration for approximating the boundary value problem –u=e ^u is considered. It is shown that the discrete problem has a solution branch (with turning point) which converges uniformely to a solution branch of the continuous problem. Error estimates are given; for example it is found that , >0, where ₀ and _h ⁰ are critical values of the parameter for continuous and discrete problems.

     

Limit theorems for multitype continuous time Markov branching processes

Summary Let X(t)=(X ₁ (t), X ₂ (t), , X _t (t)) be a k-type (2k<) continuous time, supercritical, nonsingular, positively regular Markov branching process. Let M(t)=((m _ij (t))) be the mean matrix where m _ij (t)=E(X _j (t)¦X _r (0)= _ir for r=1, 2, , k) and write M(t)=exp(At). Let be an eigenvector of A corresponding to an eigenvalue . Assuming second moments this paper studies the limit behavior as t of the stochastic process . It is shown that i) if 2 Re >₁, then · X(t)e{–t¦ converges a.s. and in mean square to a random variable. ii) if 2 Re ₁ then [ · X(t)] f(v · X(t)) converges in law to a normal distribution where f(x)=(x) ^–1 if 2 Re <₁ and f(x)=(x log x)^–1 if 2 Re =₁, ₁ the largest real eigenvalue of A and v the corresponding right eigenvector.Research supported in part under contracts N0014-67-A-0112-0015 and NIH USPHS 10452 at Stanford University.     

Commutator Subgroups of the Extended Hecke Groups \bar H(\lambda _q )

Hecke groups H(_q) are the discrete subgroups of generated by S(z) = –(z+ _q)^–1and T(z) = –1/z. The commutator subgroup of H(_q), denoted by H(_q), is studied in [2]. It was shown that H(_q) is a free group of rank q– 1.Here the extended Hecke groups obtained by adjoining to the generators of H(_q) are considered. The commutator subgroup of is shown to be a free product of two finite cyclic groups. Also it is interesting to note that while in the H(_q) case, the index of H(_q) is changed by q, in the case of this number is either 4 for qodd or 8 for qeven.     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Barrelledness of Generalized Sums of Normed Spaces

Let (E _i ) _iI be a family of normed spaces and a space of scalar generalized sequences. The -sum of the family (E _i ) _iI of spaces is

Lower Bounds for Finite Wavelet and Gabor Systems

Given L ²(R) and a finite sequence {(a _r , _r )} _rR⁺XR consisting of distinct points, the corresponding wavelet system is the set of functions . We prove that for a dense set of functions L ²(R) the wavelet system corresponding to any choice of {(a _r , _r )} _r is linearly independent, and we derive explicite estimates for the corresponding lower (frame) bounds. In particular, this puts restrictions on the choice of a scaling function in the theory for multiresolution analysis. We also obtain estimates for the lower bound for Gabor systems for functions g in a dense subset of L ²(R).     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

The Selberg trace formula for SL(3,Z)

In this article the first step toward the generalization of the Selberg trace formula to the case of a rank 2 symmetric space S and a discrete group for which the fundamental region \S goes to infinity nontrivially appears. For S we use the space SL(3,)/SO(3) and for we use SL(3,). The fundamental results are Theorems 9 and 10, in which is calculated the contribution to the matrix trace of the operator K which appears in the right side of the trace formula of the expression h()d^c(), where ^c() is the continuous part of the spectral measure of the quasiregular representation on the space IL₂(\S).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 63, pp. 8–66, 1976.     

Sensitivity analysis of the greatest eigenvalue of a symmetric matrix via the ɛ-subdifferential of the associated convex quadratic form

LetA(·) be ann × n symmetric affine matrix-valued function of a parameteruR ^m , and let (u) be the greatest eigenvalue ofA(u). Recently, there has been interest in calculating (u), the subdifferential of atu, which is useful for both the construction of efficient algorithms for the minimization of (u) and the sensitivity analysis of (u), namely, the perturbation theory of (u). In this paper, more generally, we investigate the Legendre-Fenchel conjugate function of (·) and the -subdifferential (u) of atu. Then, we discuss relations between the set (u) and some perturbation bounds for (u).The author is deeply indebted to Professor J. B. Hiriart-Urruty who suggested this study and provided helpful advice and constant encouragement. The author also thanks the referees and the editors for their substantial help in the improvement of this paper.     

Stability analysis of numerical methods for delay differential equations

Summary This paper deals with the stability analysis of step-by-step methods for the numerical solution of delay differential equations. We focus on the behaviour of such methods when they are applied to the linear testproblemU(t)=U(t)+U(t–) with >0 and , complex. A general theorem is presented which can be used to obtain complete characterizations of the stability regions of these methods.     

On the stationary measures of critical branching processes

Let Z _n (n=0, l, ...) be an aperiodic critical Galton-Watson process and let ² be the (possibly infinite) variance of Z ₁. Let _k (k=1, 2, ...) denote the stationary measure of the process. Kesten, Ney and Spritzer proved in 1966 that _k 2/ ² as k (*) under the additional assumption that EZ ₁ ² log Z ₁< (**) In the present paper, (*) is proved without the assumption (**). The proof uses complex function theory.     

Isolated point of spectrum ofP-hyponormal, log-hyponormal operators

LetT B(H) be a bounded linear operator on a complex Hilbert spaceH. Let ₀ (T) be an isolated point of (T) and let be the Riesz idempotent for ₀. In this paper, we prove that ifT isp-hyponormal or log-hyponormal, thenE is self-adjoint andE H=ker(H–₀)=ker(H–₀ ^*.This research was supported by Grant-in-Aid Research 1 No. 12640187.     

The spectra of closed interpolated operators

Let (E ₀,E ₁) be a compatible couple of Banach spaces, and letE : 0Re1 be the complex interpolation spaces ofE ₀,E ₁. LetT be a closed linear operator onE ₀+E ₁, then the restrictionT ofT to eachE is closed. If we denote by the extended spectrum ofT inE , then, under appropriate conditions, it is shown that the map is an analytic multifunction in the strip {C0<Re<1}. We use these results to give some applications to the spectral theory of semigroups.