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).     

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.     

Comonotone Jackson's Inequality

Let 2s points y_i=−πy_2s<…<y₁<π be given. Using these points, we define the points y_i for all integer indices i by the equality y_i=y_i+2s+2π. We shall write fΔ⁽¹⁾(Y) if f is a 2π-periodic continuous function and f does not decrease on [y_i, y_i−1], if i is odd; and f does not increase on [y_i, y_i−1], if i is even. In this article the following Theorem 1—the comonotone analogue of Jackson's inequality—is proved. 1. If fΔ⁽¹⁾(Y), then for each nonnegative integer n there is a trigonometric polynomial τ_n(x) of order n such that τ_nΔ⁽¹⁾(Y), and |f(x)−π_n(x)|c(s) ω(f; 1/(n+1)), x , where ω(f; t) is the modulus of continuity of f, c(s)=const. Depending only on s.     

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.     

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.     

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.     

Orthogonal Polynomial Solutions of Spectral Type Differential Equations: Magnus' Conjecture

Let τ=σ+ν be a point mass perturbation of a classical moment functional σ by a distribution ν with finite support. We find necessary conditions for the polynomials {Q_n(x)}^∞_n=0, orthogonal relative to τ, to be a Bochner–Krall orthogonal polynomial system (BKOPS); that is, {Q_n(x)}^∞_n=0 are eigenfunctions of a finite order linear differential operator of spectral type with polynomial coefficients: L_N[y](x)=∑^N_i=1 ℓ_i(x) y⁽ⁱ⁾(x)=λ_ny(x). In particular, when ν is of order 0 as a distribution, we find necessary and sufficient conditions for {Q_n(x)}^∞_n=0 to be a BKOPS, which strongly support and clarify Magnus' conjecture which states that any BKOPS must be orthogonal relative to a classical moment functional plus one or two point masses at the end point(s) of the interval of orthogonality. This result explains not only why the Bessel-type orthogonal polynomials (found by Hendriksen) cannot be a BKOPS but also explains the phenomena for infinite-order differential equations (found by J. Koekoek and R. Koekoek), which have the generalized Jacobi polynomials and the generalized Laguerre polynomials as eigenfunctions.     

Approximation by Nörlund means of double Fourier series for Lipschitz functions

We study the rate of uniform approximation by Nörlund means of the rectangular partial sums of the double Fourier series of a function |(x, y) belonging to the class Lip α, 0 < α 1, on the two-dimensional torus −π < x, y π. As a special case we obtain the rate of uniform approximation by double Cesàro means.     

Oscillations of first-order neutral delay differential equations

Consider the neutral delay differential equation (*) (d/dt)[y(t) + py(t − τ)] + qy(t − σ) = 0, t t₀, where τ, q, and σ are positive constants, while p ε (−∞, −1) (0, + ∞). (For the case p ε [−1, 0] see Ladas and Sficas, Oscillations of neutral delay differential equations (to appear)). The following results are then proved. Theorem 1. Assume p < − 1. Then every nonoscillatory solution y(t) of Eq. (*) tends to ± ∞ as t → ∞. Theorem 2. Assume p < − 1, τ > σ, and q(σ − τ)/(1 + p) > (1/e). Then every solution of Eq. (*) oscillates. Theorems 3. Assume p > 0. Then every nonoscillatory solution y(t) of Eq. (*) tends to zero as t → ∞. Theorem 4. Assume p > 0. Then a necessary condition for all solutions of Eq. (*) to oscillate is that σ > τ. Theorem 5. Assume p > 0, σ > τ, andq(σ − τ)/(1 + p) > (1/e). Then every solution of Eq. (*) oscillates. Extensions of these results to equations with variable coefficients are also obtained.     

Semilattice Operations Generated by Lattice Terms

Let ℒ=〈L;∨,∧〉 be a subdirectly irreducible modular lattice, c∈L and p(x,y,z) an essentially ternary lattice term. In this paper we show that if p(x,y,c) is a semilattice operation then p(x,y,c)=∨ or ∧ and L is bounded and c=0 or c=1. This sheds light on the methodology used to move back and forth between generalizations of median algebras and lattices, and provides a negative answer to a problem posed by A. Knoebel and G. Meletiou. Mathematics Subject Classifications (2000) Primary 06A12, 06C99, 08B26.     

A new regularized method for two dimensional nonhomogeneous backward heat problem

We consider the problem of finding, from the final data u(x,y,T)=g(x,y), the initial data u(x,y,0) of the temperature function u(x,y,t),(x,y)I=(0,π)×(0,π),t[0,T] satisfying the following system

The problem is severely ill-posed. In this paper a simple and convenient new regularization method for solving this problem is considered. Meanwhile, some quite sharp error estimates between the approximate solution and exact solution are provided. A numerical example also shows that the method works effectively.     

A sufficient condition for pairing problem of generators in symmetrizable Kac–Moody algebras

In a symmetrizable Kac–Moody algebra g(A), let α=∑_i=1ⁿk_iα_i be an imaginary root satisfying k_i>0 and α,α_i<0 for i=1,2,…,n. In this paper, it is proved that for any x_αg_α{0}, satisfying [x_α,f_n]≠0 and [x_α,f_i]=0 for i=1,2,…,n−1, there exists a vector y such that the subalgebra generated by x_α and y contains g′(A), the derived subalgebra of g(A).     

Parameter estimation in linear filtering

Suppose on a probability space (Ω, F, P), a partially observable random process (x_t, y_t), t ≥ 0; is given where only the second component (y_t) is observed. Furthermore assume that (x_t, y_t) satisfy the following system of stochastic differential equations driven by independent Wiener processes (W₁(t)) and (W₂(t)): dx_t=−βx_tdt+dW₁(t), x₀=0, dy_t=αx_tdt+dW₂(t), y₀=0; α, β∞(a,b), a>0. We prove the local asymptotic normality of the model and obtain a large deviation inequality for the maximum likelihood estimator (m.l.e.) of the parameter θ = (α, β). This also implies the strong consistency, efficiency, asymptotic normality and the convergence of moments for the m.l.e. The method of proof can be easily extended to obtain similar results when vector valued instead of one-dimensional processes are considered and θ is a k-dimensional vector.     

Compact causal data interpolation

Consider a Hilbert space equipped with a time-structure, i.e., a resolution E of the identity on defined on subsets of some linearly ordered set Λ. For which x and y in is it possible to find a causal (time respecting) compact operator T, so that Tx = y? When T is required to be a Hilbert-Schmidt operator and (Λ, E) is sufficiently regular, this question is answered in terms of the “time-densities” of x and y. The condition is that the integral ∝_gLμ_x({s t})⁻¹ dμ_y(t) should be finite, where μ_x and μ_y are the measures on Λ given by μ_x(Ω) = ¦|E(Ω)x¦|² and μ_y(Ω) = ¦|E(Ω)y¦|². Further a solution is given for the related problem of minimizing the sum of ¦|Tx − y¦|² and the squared Hilbert-Schmidt norm ¦|R¦|₂² of T.     

Paley–Wiener and Boas theorems for singular Sturm–Liouville integral transforms

This paper deals with a class of integral transforms arising from a singular Sturm–Liouville problem y″−q(x)y=−λy, x(a,b), in the limit-point case at one end or both ends of the interval (a,b). The paper completely solves the problem of characterization of the image of a function that has compact support (Paley–Wiener theorem) and also of a function that vanishes on some interval (Boas problem) under this class of transforms. The characterizations are obtained with no restriction on q(x) other than being locally integrable.     

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 .     

Nonwandering set of points of skew-product maps with base having closed set of periodic points

The aim of the present paper is to study the structure of the nonwandering set of points Ω() for the skew-product maps of the unit square , (x,y)→(f(x),g(x,y)), with base f having closed set of periodic points. For every and every point (x,y) with x periodic of period p_x by f and y not chain recurrent of F^p_x|_Ix, where , we prove that (x,y)Ω(F). On the other hand we construct a map with an isolated fixed point x₀ of f and y₀Ω(F|_Ix0) such that (x₀,y₀)Ω(F₀).     

Sharp inequalities for convolution-type operators

Let μ be a probability measure on [− a, a], a > 0, and let x₀ε[− a, a], f ε Cⁿ([−2a, 2a]), n 0 even. Using moment methods we derive best upper bounds to ¦∫_−a^a ([f(x₀ + y) + f(x₀ − y)]/2) μ(dy) − f(x₀)¦, leading to sharp inequalities that are attainable and involve the second modulus of continuity of f⁽ⁿ⁾ or an upper bound of it.     

Distributive equations of implications based on nilpotent triangular norms

In this paper, we explore the distributive equations of implications, both independently and along with other equations. In detail, we consider three classes of equations. (1) By means of the section of I, we give out the sufficient and necessary conditions of solutions for the distributive equation of implication I(x, T(y, z)) = T(I(x, y), (x, z)) based on a nilpotent triangular norm T and an unknown function I, which indicates that there are no continuous solutions satisfying the boundary conditions of implications. Under the assumptions that I is continuous except the vertical section I(0, y), y ∈ [0, 1), we get its complete characterizations. (2) We prove that there are no solutions for the functional equations I(x, T(y, z)) = T(I(x, y), I(x, z)), I(x, I(y, z)) = I(T(x, y), z). (3) We obtain the sufficient and necessary conditions on T and I to be solutions of the functional equations I(x, T(y, z)) = T(I(x, y), I(x, z)), I(x, y) = I(N(y), N(x)).     

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]].