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.     

A Proof of the Jungnickel-Tonchev Conjecture on Quasi-Multiple Quasi-Symmetric Designs

A proof of the following conjecture of Jungnickel and Tonchev on quasi-multiple quasi-symmetric designs is given: Let D be a design whose parameter set (v,b,r,k,) equals (v,sv,sk,k, s) for some positive integer s and for some integers v,k, that satisfy (v-1) = k(k-1) (that is, these integers satisfy the parametric feasibility conditions for a symmetric (v,k,)-design). Further assume that D is a quasi-symmetric design, that is D has at most two block intersection numbers. If (k, (s-1)) = 1, then the only way D can be constructed is by taking multiple copies of a symmetric (v,k, )-design.     

Admissibility of linear estimators of regression coefficients under quadratic loss

For the general fixed effects linear model:Y=X+, N(0,V),V0, we obtain the necessary and sufficient conditions forLY+a to be admissible for a linear estimable functionS in the class of all estimators under the loss function (d -S)D(d -S), whereD0 is known. For the general random effects linear model: =XV ₁₁ X+XV ₁₂+V ₂₁ X+V ₂₂0, we also get the necessary and sufficient conditions forLY+a to be admissible for a linear estimable functionS+Q in the class of all estimators under the loss function (d -S -Q)D(d -S -Q), whereD0 is known.     

More projective geometry associated with unramified double covers of curves of genus four

Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)     

Kato's equality and spectral decomposition for positive C0-groups

Let A be the generator of a C₀-semigroup {T(t); t0} defined on a Banach lattice E. It is shown that T(t) is a lattice homomorphism for all t>0 if and only if A satisfies <¦x¦, Ax>= (xD(A), x D(A)) (where q: EE is the evaluation mapping). This equality is used to obtain a spectral decomposition for generators of positive groups.     

Classification of pairs of subspaces in scalar product spaces

Up to the classification of Hermitian forms a classification has been given of triplesP=(V_F; U₁, U₂), consisting of a finite dimensional vector space V over a field of characteristic 2 with a symmetric, or a skew-symmetric, or Hermitian form F and two subspaces U₁, U₂. Two triplesP andP are identified with each other if there exists an isometry V_f V_f such that (U_i)=U_i, i=1, 2.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 4, pp. 549–554, April, 1990.     

Comparison of Normal Linear Experiments by Quadratic Forms

Let X and Y be observation vectors in normal linear experiments =N(A, V) and F = N(B, W). We write > Fif for any quadratic form YGY there exists a quadratic formXHX such that E(XHX) = E(Y'GY) and var(X'HX) var(Y'GY).The relation > is characterized by the matrices A, B, V and W. Moreoversome connections with known orderings of linear experiments are given.     

Necessary conditions for the existence of divisible designs

BOSE and CONNOR [2] proved that a symmetric regular divisible design with w classes of sizes g and joining numbers ₁ and ₂ must satisfy for every prime p the arithmetic condition (d₁, (–1)^sw)_p(d₂,(–l)^tg^w)_p=1, where d₁=k²–v₂, d₂= k–₁ s=(w-1)(w-2)/2, t=(v-w)(v-w-1)/2 and (*,*) is the Hilbert symbol. We show that if in addition _{1 2} and the design is fully symmetric divisible then (d₁, (–1)^s w)_p=(d₂, (–1)^tg^w)=1. Our assumption is by a result of CONNOR [5] fulfilled, if d₁ and ₁–₂ are relatively prime. Thus, we can exclude parameters not accessible to the Bose-Connor-Theorem. Our result can be derived from a theorem of RAGHAVARAO [9], and we give the precise assumptions of this theorem. We also discuss arithmetic restrictions for divisible designs which satisfy diverse other rules for the intersection numbers and generalize a result of DEMBOWSKI [6; 2.1.11].Dedicated to Professor Benz on occasion of his sixtieth birthday     

Inadmissibility and admissibility results for unbiased loss estimators based on gauss-markov estimators

LetY be distributed according to ann-variate normal distribution with a meanX and a nonsingular covariance matrix ² V, where bothX andV are known, R ^p is a parameter, > 0 is known or unknown. Denote and . Assume thatF is linearly estimable. When is known, it is proved that the unbiased loss estimator ²tr(F(XV ^–1 X)^– F) of is admissible for rank (F)=k4 and inadmissible fork 5 with the squared error loss . When is unknown and rank (X) <n, it is established that the loss estimatorcS ², wherec is any nonnegative constant, of is inadmissible and that the unbiased loss estimator tr(F(XV ^–1 X)^– F) of is admissible fork 4, and inadmissible fork 5 with squared error loss.This project is supported by the National Natural Science Foundation of China.     

Difference Sets with n = 2pm

Let D be a (v,k,) difference set over an abelian group G with even n = k - . Assume that t N satisfies the congruences t q _i ^fi (mod exp(G)) for each prime divisor q_i of n/2 and some integer f_i. In [4] it was shown that t is a multiplier of D provided that n > , (n/2, ) = 1 and (n/2, v) = 1. In this paper we show that the condition n > may be removed. As a corollary we obtain that in the case of n= 2p^a when p is a prime, p should be a multiplier of D. This answers an open question mentioned in [2].     

Some imbedding theorems for block designs balanced with respect to pairs

We prove imbedding theorems for block designs balanced with respect to pairs, and with the aid of these theorems we establish the existence of (v, k, )-resolvable BIB block designs with parameters v, k, such that =k–1 [and also such that =(k–l)/2 if k is odd], k ¦(p–1) for each prime divisor p of the number v/k; we also establish an imbedding theorem for Kirkman triple systems.Translated from Matematicheskie Zametki, Vol. 16, No. 1, pp. 173–184, July, 1974.     

On Wagner Connections and Wagner Manifolds

Let (M, E) be a Finsler manifold. A triplet (¯D, ¯h, ) is said to be a Wagner connection on M if (¯D, ¯h) is a Finsler connection, C (M) and the axioms (W1)–(W4), formulated originally by M. Hashiguchi, are satisfied. Then ¯h is called a Wagner endomorphism on M. We establish an explicit relation between the (canonical) Barthel endomorphism of (M, E) and a Wagner endomorphism ¯h. We show that the second Cartan tensors ¯C, ¯C _b belonging to ¯h are symmetric and totally symmetric, respectively. An explicit relation between the "canonical" tensors C, C _b and the "Wagnerian" ones is also derived. We can conclude that the rules of calculation with respect to a Wagner connection are formally the same as those with respect to the classical Cartan connection. We establish some basic curvature identities concerning a Wagner connection, including Bianchi identities. Finally, we present a new, intrinsic definition as well as several tensorial characterizations of Wagner manifolds.     

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

On quadratic spline interpolation

Using the quadratic spline interpolates(x) fitting the data (x _i,y _i), 0in and satisfying the end conditions_o=y_o, we give formulae approximatingy andy at selected knots by orders up toO(h ⁴).     

Lokalkonvexe Unterräume in Topologischen Vektorräumen und Das ε-Produkt

It is well-known that the algebraic tensor product E Y of a not necessarily locally convex topological vector space E and a locally convex space Y can be identified with a subspace of the so-called -product EY (a space of continuous linear mappings from Y into E). So, whenever EY is complete, even the completed tensor product is (isomorphic to) a subspace of EY. As this occurs in many important cases, it is interesting to remark that, for each continuous linear operator u from a locally convex space F into E, there exists a locally convex U with continuous embedding jUE and a continuous linear map ûFU such that u=j·û. As main applications of a combination of these ideas, we obtain a characterization of the functions in as continuous functions with values in locally convex spaces (this gives new aspects for the intergration theory of Gramsch [5]) and a result extending a theorem in [6] on holomorphic functions with values in non locally convex spaces to arbitrary complex manifolds.     

Mittelwert der Eulerschen φ-Funktion und des Quadrates der Dirichletschen Teilerfunktion in algebraischen Zahlkörpern

LetK be an algebraic number field, and for every integer K let () andd(), respectively, denote the number of relatively prime residue classes and the number of divisors of the principal ideal (). Asymptotic equalities are proved for the sums () and d ²(), where runs through certain finite sets of integers ofK.     

Extremal feedback perturbations for families of closed operators

Let T- S, be a family of not necessarily bounded semi-Fredholm operators, where T and S are operators acting between Banach spaces X and Y, and where S is bounded with D(S) D(T). For compact sets , as well as for certain open sets , we investigate existence and minimal rank of bounded feedback perturbations of the form F=BE such that min.ind (T-S+F)=0 for all . Here B is a given operator from a linear space Z to Y and E is some operator from X to Z.We give a simple characterization of that situation, when such regularizing feedback perturbations exist and show that for compact sets the minimal rank never exceeds max { min.ind (T-S) }+1. Moreover, an example shows that the minimal rank, in fact, may increase from max {...} to max {...}+1, if the given B enforces a certain structure of the feedbachk perturbation F.However, the minimal rank is equal to max { min.ind (T-S) }, if is an open set such that min.ind (T-S) already vanishes for all but finitely many points . We illustrate this result by applying it to the stabilization of certain infinite-dimensional dynamical systems in Hilbert space.     

Eine Familie interpolatorischer Quadraturformeln mit ableitungsfreien Fehlerschranken

Zusammenfassung Es wird eine von einem Parameter , 01 abhängige Familie von Quadraturformeln vorgestellt, für die auf gewissen Hilberträumen analytischer Funktionen ableitungsfreie Fehlerschdranken existieren. Für =0 erhält man als Spezialfall die Gaußschen Quadraturformeln und für =1 die Wilfschen Quadraturformeln. Sämtliche Formeln haben folgende Eigenschaften: Sie sind interpolatorisch, d.h. hier, sie können durch Integration eines hermiteschen Interpolationsoperators erzeugt werden, sie haben positive Gewichte. Ihre Stützstellen liegen im Innern des Integrationsintervalles. Sie sind auch erzeugbar durch Minimierung des Fehlerkoeffizienten, und sie konvergieren für jede im Integrationsintervall stetige Funktion.

---

A family of quadrature formulas having error bounds without derivatives

Summary A family of quadrature formulas depending on a parameter , 01 is presented which admits error estimates without derivatives for certain Hilbert spaces of analytic functions. For =0 the Gaussian quadrature formulas are contained as a special case, and for =1 the same is valid for the Wilfian quadrature formulas. The formulas have the following properties: They are interpolatory formulas, that means they may be generated on integration of a Hermitian interpolating operator, they have positive weights. Their nodes are inside the interval of integration, and they also may be produced by minimizing the error coefficient. They are convergent for every function which is continuous between the limits of integration.

     

From Pappus’ Theorem to the Twisted Cubic

We discuss a classical result in planar projective geometry known as Steiners theorem involving 12 interlocking applications of Pappus theorem. We prove this result using three dimensional projective geometry then uncover the dynamics of this construction and relate them to the geometry of the twisted cubic.Mathematics Subject Classification (2000). Primary 51N15.     

Sharp Error Bounds for Asymptotic Expansions of the Distribution Functions for Scale Mixtures

Let Z be a random variable with the distribution function G(x) and let s be a positive random variable independent of Z. The distribution function F(x) of the scale mixture X = sZ is expanded around G(x) and the difference between F(x) and its expansion is evaluated in terms of a quantity depending only on G and the moments of the powers of the variable of the form s/gr - 1, where (> 0) and (= ±1) are parameters indicating the types of expansion. For = -1, the bound is sharp under some extra conditions. Sharp bounds for errors of the approximations of the scale mixture of the standard normal and some gamma distributions are given either by analysis ( = -1) or by numerical computation ( = 1).