Intervals in Lattices of κ-Meet-Closed Subsets

We study abstract properties of intervals in the complete lattice of all κ-meet-closed subsets (κ-subsemilattices) of a κ-(meet-)semilattice S, where κ is an arbitrary cardinal number. Any interval of that kind is an extremally detachable closure system (that is, for each closed set A and each point x outside A, deleting x from the closure of A∪{x} leaves a closed set). Such closure systems have many pleasant geometric and lattice-theoretical properties; for example, they are always weakly atomic, lower locally Boolean and lower semimodular, and each member has a decomposition into completely join-irreducible elements. For intervals of κ-subsemilattices, we describe the covering relation, the coatoms, the ∨-irreducible and the ∨-prime elements in terms of the underlying κ-semilattices. Although such intervals may fail to be lower continuous, they are strongly coatomic if and only if every element has an irredundant (and even a least) join-decomposition. We also characterize those intervals which are Boolean, distributive (equivalently: modular), or semimodular. Mathematics Subject Classifications (2000) Primary: 06A12; Secondary: 06B05, 06A23, 52A01.     

Stability interval for explicit difference schemes for multi-dimensional second-order hyperbolic equations with significant first-order space derivative terms

In this piece of work, we introduce a new idea and obtain stability interval for explicit difference schemes of O(k²+h²) for one, two and three space dimensional second-order hyperbolic equations u_tt=a(x,t)u_xx+α(x,t)u_x-2η²(x,t)u,u_tt=a(x,y,t)u_xx+b(x,y,t)u_yy+α(x,y,t)u_x+β(x,y,t)u_y-2η²(x,y,t)u, and u_tt=a(x,y,z,t)u_xx+b(x,y,z,t)u_yy+c(x,y,z,t)u_zz+α(x,y,z,t)u_x+β(x,y,z,t)u_y+γ(x,y,z,t)u_z-2η²(x,y,z,t)u,0<x,y,z<1,t>0 subject to appropriate initial and Dirichlet boundary conditions, where h>0 and k>0 are grid sizes in space and time coordinates, respectively. A new idea is also introduced to obtain explicit difference schemes of O(k²) in order to obtain numerical solution of u at first time step in a different manner.     

Symmetrization of diagonalizable complex differential systems

Let L be a first order system where D₀=∂/∂x₀, Dj=∂/∂xj, y is a real vector parameter, I is the idendity 3×3 matrix and aj(y) is a 3×3 matrix-valued complex smooth function.Let L(y,ξ) be the symbol of L(y,D). We assume: ∀y, the real reduced dimension of L in y is 5 and L(y,ξ) is symmetrizable: ∃T(y) such that: T−1(y)L(y,ξ)T(y) is hermitian ∀ξ. We assume the nonexistence of some double characteristics depending on the reduced form of the system. Then: L(y,ξ) is smoothly symmetrizable ? ∃T(y) smooth (same smoothness as the coefficients) such that: T−1(y)L(y,ξ)T(y) is hermitian ∀ξ.     

Initial Value Problems of the Sine-Gordon Equation and Geometric Solutions

Recent results using inverse scattering techniques interpret every solution φ(x, y) of the sine-Gordon equation as a nonlinear superposition of solutions along the axes x=0 and y=0. This has a well-known geometric interpretation, namely that every weakly regular surface of Gauss curvature K=−1, in arc length asymptotic line parametrization, is uniquely determined by the values φ(x, 0) and φ(0, y) of its coordinate angle along the axes. We introduce a generalized Weierstrass representation of pseudospherical surfaces that depends only on these values, and we explicitely construct the associated family of pseudospherical immersions corresponding to it.Mathematics Subject Classifications (2000): 53A10, 58E20.     

On Hilbert''s Integral Inequality

In this paper, we generalize Hilbert's integral inequality and its equivalent form by introducing three parameterst,a, andb.Iff, g L²[0, ∞), then[formula]where π is the best value. The inequality (1) is well known as Hilbert's integral inequality, and its equivalent form is[formula]where π²is also the best value (cf. [[1], Chap. 9]). Recently, Hu Ke made the following improvement of (1) by introducing a real functionc(x),[formula]wherek(x) = 2/π∫^∞₀(c(t²x)/(1 + t²)) dt − c(x), 1 − c(x) + c(y) ≥ 0, andf, g ≥ 0 (cf. [[2]]). In this paper, some generalizations of (1) and (2) are given in the following theorems, which are other than those in [ [2]].     

On First Range Times of Linear Diffusions

In this paper we consider first range times (with randomised range level) of a linear diffusion on R. Inspired by the observation that the exponentially randomised range time has the same law as a similarly randomised first exit time from an interval, we study a large family of non-negative 2-dimensional random variables (X,X′) with this property. The defining feature of the family is F^c(x,y)=F^c(x+y,0), ∀ x ≥ 0, y ≥ 0, where F^c(x,y):=P (X > x, X′ > y) We also explain the Markovian structure of the Brownian local time process when stopped at an exponentially randomised first range time. It is seen that squared Bessel processes with drift are serving hereby as a Markovian element.     

Error bounds for multidimensional Laplace approximation

A numerical estimate is obtained for the error associated with the Laplace approximation of the double integral I(λ) = ∝∝_D g(x,y) e^−λf(x,y) dx dy, where D is a domain in , λ is a large positive parameter, f(x, y) and g(x, y) are real-valued and sufficiently smooth, and ∝(x, y) has an absolute minimum in D. The use of the estimate is illustrated by applying it to two realistic examples. The method used here applies also to higher dimensional integrals.     

Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

A Kernel Estimator of a Conditional Quantile

Let (X₁, Y₁), (X₂, Y₂), …, be two-dimensional random vectors which are independent and distributed as (X, Y). For 0<p<1, letξ(px) be the conditionalpth quantile ofYgivenX=x; that is,ξ(px)=inf{y : P(YyX=x)p}. We consider the problem of estimatingξ(px) from the data (X₁, Y₁), (X₂, Y₂), …, (X_n, Y_n). In this paper, a new kernel estimator ofξ(px) is proposed. The asymptotic normality and a law of the iterated logarithm are obtained.     

Generalized skew derivations on triangular algebras determined by action on zero products

For a triangular algebra 𝒜 and an automorphism σ of 𝒜, we describe linear maps F,G:𝒜→𝒜 satisfying F(x)y+σ(x)G(y) = 0 whenever x,y∈𝒜 are such that xy = 0. In particular, when 𝒜 is a zero product determined triangular algebra, maps F and G satisfying the above condition are generalized skew derivations of the form F(x) = F(1)x+D(x) and G(x) = σ(x)G(1)+D(x) for all x∈𝒜, where D:𝒜→𝒜 is a skew derivation. When 𝒜 is not zero product determined, we show that there are also nonstandard solutions for maps F and G.     

Exceptional cases of Terai’s conjecture on Diophantine equations

Let a, b, c be relatively prime positive integers such that a ^p  + b ^q  = c ^r for fixed integers p, q, r ≥ 2. Terai conjectured that the equation a ^x  + b ^y  = c ^z in positive integers has only the solution (x, y, z) = (p, q, r) except for specific cases. In this paper, we consider the case q = r = 2 and give some results related to exceptional cases.     

Excess of a Lattice

 A pair (x,y) of elements in a lattice is mismatching if x is join-irreducible, y is meet-irreducible, and xy. The excess of a lattice L is defined by ex(L):=|L|− min{|V _x |+|I _y |:(x,y) is mismatching}, where V _x (I _y ) is the principal filter (ideal) generated by x(y), respectively. In the first half of this paper, it is shown that a lattice has excess zero (one) if and only if it is isomorphic to a Boolean lattice (one of a chain of length two, a diamond, and a pentagon), respectively. In the second half, we show that for each relatively complemented lattice which is not Boolean, its size is at most five times its excess. Moreover we determine extremal configurations. Received: September 2, 1999 Final version received: July 25, 2000 Acknowledgments. The author thanks the referee for constructive comments. Present address: Bureau of Human Resources, National Personnel Authority, 1-2-3 Kasumigaseki, Chiyoda-ku, Tokyo 100-8913, Japan. e-mail: abetet@jinji.go.jp     

Nonlinear equations with mixed derivatives

The nonlinear hyperbolic equation ∂²u(x, y)/∂x ∂y + g(x, y)f(u(x, y)) = 0 with u(x, 0) = φ(x) and u(0, y) = Ψ(y), considered by [1.], 31–45) under appropriate smoothness conditions, is solvable by the author's decomposition method (“Stochastic Systems,” Academic Press, 1983 and “Nonlinear Stochastic Operator Equations,” Academic Press, 1986).     

Almost-sure central limit theorem for a Markov model of random walk in dynamical random environment

Summary We consider a model of random walk on ℤ^ν, ν≥2, in a dynamical random environment described by a field ξ={ξ _t (x): (t,x)∈ℤ^ν+1}. The random walk transition probabilities are taken as P(X _{t +1}= y|X _t = x,ξ _t =η) =P ₀( y−x)+ c(y−x;η(x)). We assume that the variables {ξ _t (x):(t,x) ∈ℤ^ν+1} are i.i.d., that both P ₀(u) and c(u;s) are finite range in u, and that the random term c(u;·) is small and with zero average. We prove that the C.L.T. holds almost-surely, with the same parameters as for P ₀, for all ν≥2. For ν≥3 there is a finite random (i.e., dependent on ξ) correction to the average of X _t , and there is a corresponding random correction of order to the C.L.T.. For ν≥5 there is a finite random correction to the covariance matrix of X _t and a corresponding correction of order to the C.L.T.. Proofs are based on some new L ^p estimates for a class of functionals of the field. Received: 4 January 1996/In revised form: 26 May 1997     

On the increments of the local time of a Wiener sheet

{W(x, y), x≥0, y≥0} be a Wiener process and let η(u, (x, y)) be its local time. The continuity of η in (x, y) is investigated, i.e., an upper estimate of the process η(μ, [x, x + α) × [y, y + β)) is given when αβ is small.     

Intrinsic metric preserving maps on partially ordered groups

In [11] Pap proved that a surjective mapf from an abelian lattice ordered groupG ₁ onto an abelian Archimedean lattice ordered group G₂ which preserves non-zero intrinsic metricsd ₁, andd ₂ onG ₁ andG ₂, respectively (i.e.d ₁(x,y)=d₁(z, t) implies d₂(f(x)f(y))= d₂(f(z),f(t))) and satisfiesf(0)=0 is a homomorphism and put the question whether that assertion is true in the case that G₂ is a non-Archimedean lattice ordered group. In this paper it is proved that a surjective map from an abelian directedG ₁ onto a directed group G₂ such thatf(0)=0 is a homomorphism if ¦x –y ¦=¦z – t¦ implies ¦f(x) –f(y)¦=¦f(z) –f(t)¦ and it is shown that the answer to the question of Pap is positive.Presented by M. Henriksen.     

On the Rédei zeta function

Let L be a locally finite lattice. An order function ν on L is a function defined on pairs of elements x, y (with x ≤ y) in L such that ν(x, y) = ν(x, z) ν(z, y). The Rédei zeta function of L is given by ?(s; L) = Σ_x∈Lμ(Ô, x) ν(Ô, x)^?s. It generalizes the following functions: the chromatic polynomial of a graph, the characteristic polynomial of a lattice, the inverse of the Dedekind zeta function of a number field, the inverse of the Weil zeta function for a variety over a finite field, Philip Hall's φ-function for a group and Rédei's zeta function for an abelian group. Moreover, the paradigmatic problem in all these areas can be stated in terms of the location of the zeroes of the Rédei zeta function.     

Centres of Convex Sets inLMetrics

It is shown that for each convex bodyARⁿthere exists a naturally defined family _AC(Sⁿ⁻¹) such that for everyg _A, and every convex functionf: R→Rthe mappingy∫_Sⁿ⁻¹ f(g(x)−y, x) dσ(x) has a minimizer which belongs toA. As an application, approximation of convex bodies by balls with respect toL^pmetrics is discussed.     

Almost orthogonal operators on the bitorus

The operators S _p f (x, y), for the sum of which we prove an L ²-estimate, act as a kind of Fourier coefficients on one variable and a kind of truncated Hilbert transforms with a phase N(x, y) on the other variable. This result is an extension to two-dimensions of an argument of almost orthogonality in Fefferman’s proof of a.e. convergence of Fourier series, under the basic assumption N(x, y) “mainly” a function of y and the additional assumption N(x, y) non-decreasing in x, for every y fixed.     

Die Entropie einer linear gebrochenen Funktion

Let the continuous broken linear transformationf of the unit interval into itself satisfyingf(0)=f(1)=0 be determined by the coordinates of its peak pointP (x, y). The topological entropyh off, as a function of (x, y), is zero outside the triangle max (x, 1–x)<y1. Inside it is shown to be nonzero, continuous, monotonically increasing both iny/x and iny/(1–x) and to assume its maximum log2 ony=1. The level curvec(h ₀) of constant corresponding entropyh ₀>0 is a continuous curve joining the two diagonalsy=x andy=1–x in whichh has discontinuities (jumping to zero). For 1/2log2<hlog 2 the curvesc(h) pass through (0,1) withy=1 as a tangent and fill up the area bounded below by the parabolay ²=1–x on whichh(x,y)=1/2 log 2. For 1/2 log 2 <h log 2 the curvec(h) is the image of the arc ofc(2h) between the hyperbolax ²–xy2x+1=0 and the diagonaly=1–x under the transformation .