Increasing and decreasing operators on complete lattices

The (isotone) map f: X → X is an increasing (decreasing) operator on the poset X if f(x) ? f²(x) (f²(x) ? f(x), resp.) holds for each x ∈ X. Properties of increasing (decreasing) operators on complete lattices are studied and shown to extend and clarify those of closure (resp. anticlosure) operators. The notion of the decreasing closure, $\text{f}$, (the increasing anticlosure, $\text{f}$,) of the map f: X → X is introduced extending that of the transitive closure, $\text{f}\text{?}$, of f. $\text{f}\text{f}$, and $\text{f}$ are all shown to have the same set of fixed points. Our results enable us to solve some problems raised by H. Crapo. In particular, the order structure of H(X), the set of retraction operators on X is analyzed. For X a complete lattice H(X) is shown to be a complete lattice in the pointwise partial order. We conclude by claiming that it is the increasing-decreasing character of the identity maps which yields the peculiar properties of Galois connections. This is done by defining a u-v connection between the posets X and Y, where u: X → X (v: Y → Y) is an increasing (resp. decreasing) operator to be a pair f, g of maps f; X → Y, g: Y → X such that gf ? u, fg ? v. It is shown that the whole theory of Galois connections can be carried over to u-v connections.     

On the behavior of the solution of the Burgers equation as the viscosity goes to zero

The solution of the initial boundary-value problem u_?′ ? ?D²u_? + u_?Du_? = f on (a, b) x(0, T), u_?(a, t) = u_?(b, t) = 0 and u_?(x, 0) = 0 on (a, b), is shown to converge to the solution of the limiting equation as the viscosity tends to zero. Estimates on the rate of convergence are given.     

Vertical versus horizontal Poincaré inequalities on the Heisenberg group

Let ? = 〈a, b|a[a, b] = [a, b]a ∧ b[a, b] = [a, b]b〉 be the discrete Heisenberg group, equipped with the left-invariant word metric d _W (·, ·) associated to the generating set {a, b, a ^?1, b ^?1}. Letting B _n = {x ∈ ?: d _W (x, e _?) ? n} denote the corresponding closed ball of radius n ∈ ?, and writing c = [a, b] = aba ^?1 b ^?1, we prove that if (X, ‖ · ‖X) is a Banach space whose modulus of uniform convexity has power type q ∈ [2,∞), then there exists K ∈ (0, ∞) such that every f: ? → X satisfies $$\sum\limits_{k = 1}^{{n^2}} {\sum\limits_{x \in {B_n}} {\frac{{\left\| {f(x{c^k}) - f(x)} \right\|_X^q}}{{{k^{1 + q/2}}}}} } \leqslant K\sum\limits_{x \in {B_{21n}}} {(\left\| {f(xa) - f(x)} \right\|_X^q + \left\| {f(xb) - f(x)} \right\|_X^q)} $$ . It follows that for every n ∈ ? the bi-Lipschitz distortion of every f: B _n → X is at least a constant multiple of (log n)^1/q , an asymptotically optimal estimate as n → ∞.     

New bounds for the broadcast domination number of a graph

A dominating broadcast on a graph G = (V, E) is a function f: V → {0, 1, ..., diam G} such that f(v) ≤ e(v) (the eccentricity of v) for all v ∈ V and such that each vertex is within distance f(v) from a vertex v with f(v) > 0. The cost of a broadcast f is σ(f) = Σ _v∈V f(v), and the broadcast number λ _b (G) is the minimum cost of a dominating broadcast. A set X ? V(G) is said to be irredundant if each x ∈ X dominates a vertex y that is not dominated by any other vertex in X; possibly y = x. The irredundance number ir (G) is the cardinality of a smallest maximal irredundant set of G. We prove the bound λ_b(G) ≤ 3 ir(G)/2 for any graph G and show that equality is possible for all even values of ir (G). We also consider broadcast domination as an integer programming problem, the dual of which provides a lower bound for λ_b.     

The asymptotic behavior of solutions of a system of reaction-diffusion equations which models the Belousov-Zhabotinskii chemical reaction

We investigate the boundary value problem $\text{?u}\text{?t}\text{=}\text{?}{}^2\text{u}\text{?x}{}^2\text{+ u(1 ? u ? rv)}$, $\text{?v}\text{?t}\text{=}\text{?}{}^2\text{v}\text{?x}{}^2\text{? buv}$, u(?∞, t) = v(∞, t) = 0, u(∞, t) = 1, and v(?∞, t) = γ ?t > 0 where r > 0, b > 0, γ > 0 and x?R. This system has been proposed by Murray as a model for the propagation of wave fronts of chemical activity in the Belousov-Zhabotinskii chemical reaction. Here u and v are proportional to the concentrations of bromous acid and bromide ion, respectively. We determine the global stability of the constant solution (u, v) ≡ (1,0). Furthermore we introduce a moving coordinate and for each fixed x?R we investigate the asymptotic behavior of u(x + ct, t) and v(x + ct, t) as t → ∞ for both large and small values of the wave speed c ? 0.     

Global existence for one-dimensional motion of non-isentropic viscous fluids

We study the p-system with viscosity given by v_t ? u_x = 0, u_t + p(v)_x = (k(v)u_x)_x + f(∫ vdx, t), with the initial and the boundary conditions (v(x, 0), u(x,0)) = (v₀, u₀(x)), u(0,t) = u(X,t) = 0. To describe the motion of the fluid more realistically, many equations of state, namely the function p(v) have been proposed. In this paper, we adopt Planck's equation, which is defined only for v > b(> 0) and not a monotonic function of v, and prove the global existence of the smooth solution. The essential point of the proof is to obtain the bound of v of the form b < h(T) ? v(x, t) ? H(T) < ∞ for some constants h(T) and H(T).     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

A note on the weakly convex and convex domination numbers of a torus

The distanced_G(u,v) between two vertices u and v in a connected graph G is the length of the shortest (u,v) path in G. A (u,v) path of length d_G(u,v) is called a (u,v)-geodesic. A set X⊆V is called weakly convex in G if for every two vertices a,b∈X, exists an (a,b)-geodesic, all of whose vertices belong to X. A set X is convex in G if for all a,b∈X all vertices from every (a,b)-geodesic belong to X. The weakly convex domination number of a graph G is the minimum cardinality of a weakly convex dominating set of G, while the convex domination number of a graph G is the minimum cardinality of a convex dominating set of G. In this paper we consider weakly convex and convex domination numbers of tori.     

Factorization of the reaction-diffusion equation,the wave equation,and other equations

We investigate equations of the form D _t u = Δu + ξ? _u for an unknown function u(t, x), t ∈ ?, x ∈ X, where D _t u = a ₀(u, t) + Σ _k=1 ^r a _k (t, u)? _t ^k u, Δ is the Laplace-Beltrami operator on a Riemannian manifold X, and ξ is a smooth vector field on X. More exactly, we study morphisms from this equation within the category PDE of partial differential equations, which was introduced by the author earlier. We restrict ourselves to morphisms of a special form—the so-called geometric morphisms, which are given by maps of X to other smooth manifolds (of the same or smaller dimension). It is shown that a map f: X → Y defines a morphism from the equation D _t u = Δu + ξ? _u if and only if, for some vector field Ξ and a metric on Y, the equality (Δ + ξ?)f*v = f*(Δ + Ξ?)v holds for any smooth function v: Y → ?. In this case, the quotient equation is D _t v = Δv + Ξ?v for an unknown function v(t, y), y ∈ Y. It is also shown that, if a map f: X → Y is a locally trivial bundle, then f defines a morphism from the equation D _t u = Δu if and only if fibers of f are parallel and, for any path γ on Y, the expansion factor of a fiber translated along the horizontal lift γ to X depends on γ only.     

Positive solutions for systems of nonlinear eigenvalue problems for functional differential equations

Values of?λ?are determined for which there exist positive solutions of the system of functional differential equations, u″?+?λa(t)f(v _t )?=?0,v″?+?λb(t)g(u _t )?=?0, for 0?t?u(s)?=?v(s)?=?φ(s), ?r?≤?s?≤?0, and the boundary conditions u(0)?=?v(0)?=?φ(0)?=?u(1)?=?v(1)?=?0. A Guo–Krasnosel'skii fixed point theorem is applied.     

Invariant tori of nonlinear Schrödinger equation

In this paper, we consider one-dimensional nonlinear Schrödinger equation iut−uxx+V(x)u+f(²|u|)u=0 on [0,π]×R under the boundary conditions a₁u(t,0)−b₁ux(t,0)=0, a₂u(t,π)+b₂ux(t,π)=0, , for i=1,2. It is proved that for a prescribed and analytic positive potential V(x), the above equation admits small-amplitude quasi-periodic solutions corresponding to d-dimensional invariant tori of the associated infinite-dimensional dynamical system.     

Periodic solutions for wave equations with variable coefficients with nonlinear localized damping

We discuss the existence of periodic solutions to the wave equation with variable coefficients utt−div(A(x)∇u)+ρ(x,ut)=f(x,t) with Dirichlet boundary condition. Here ρ(x,v) is a function like ρ(x,v)=a(x)g(v) with g^′(v)?0 where a(x) is nonnegative, being positive only in a neighborhood of a part of the domain.     

The zero dispersion limit of the korteweg-de vries equation for initial potentials with non-trivial reflection coefficient

The inverse scattering method is used to determine the distribution limit as ? → 0 of the solution u(x, t, ?) of the initial value problem. U_t ? 6uu_x + ?²u_xxx = 0, u(x, 0) = v(x), where v(x) is a positive bump which decays sufficiently fast as x x→±α. The case v(x) ? 0 has been solved by Peter D. Lax and C. David Levermore [8], [9], [10]. The computation of the distribution limit of u(x, t, ?) as ? → 0 is reduced to a quadratic maximization problem, which is then solved.     

Single point blow-up for a semilinear initial value problem

The initial value problem on [?R, R] is considered: u_t(t, x) = u_xx(t, x) + u(t, x)^γu(t, ±R) = 0u(0, x) = ?(x), where ? ? 0 and γ is a fixed large number. It is known that for some initial values ? the solution u(t, x) exists only up to some finite time T, and that ∥u(t, ·)∥_∞ → ∞ as t → T. For the specific initial value ? = kψ, where ψ ? 0, ψ_xx + ψ^γ = 0, ψ(±R) = 0, k is sufficiently large, it is shown that if x ≠ 0, then lim_{t → T}u(t, x) and lim_{t → T}u_x(t, x) exist and are finite. In other words, blow-up occurs only at the point x = 0.     

A remark on Schrödinger operators

We study the almost everythere convergence to the initial dataf(x)=u(x, 0) of the solutionu(x, t) of the two-dimensional linear Schrödinger equation Δu=i? _t u. The main result is thatu(x, t) →f(x) almost everywhere fort → 0 iff ∈H ^p (R²), wherep may be chosen <1/2. To get this result (improving on Vega’s work, see [6]), we devise a strategy to capture certain cancellations, which we believe has other applications in related problems.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

Accuracy of discrete schemes for a class of abstract evolution inequalities

For a triple of Hilbert spaces {V, H, V*}, we study a discrete and a semidiscrete scheme for an evolution inclusion of the form u′(t) + A(t)u(t) + ??(t, u(t)) ? f(t), u(0) = u ₀, t ∈ (0, T], where the pair {A(t), ?(t, ·)} consists of a family of nonlinear operators from V into V* and a family of proper convex lower semicontinuous functionals with common effective domain D(?) ? V. The discrete scheme is a combination of the Galerkin method with perturbations and the implicit Euler method. Under conditions on the data providing the existence and uniqueness of the solution of the problem in the space H ¹(0, T; V) ∩ W _∞ ¹ (0, T;H), we obtain an abstract estimate for the method error in the energy norm of first-order accuracy with respect to the time increment. By way of application, we consider a problem with an obstacle inside the domain, for which we obtain an optimal estimate of the accuracy of two implicit schemes (standard and new) on the basis of the finite element method.     

Stability and bifurcation of equilibrium solutions of reaction-diffusion equations on an infinite space interval

Under the condition that f(x, y, z, α) and its partial derivatives decay sufficiently fast as $\text{¦x¦ → ∞}$ we will study the (linear) stability and bifurcation of equilibrium solutions of the scalar problem u_t = u_xx + f(x, u, u_x, α), u_x(?∞, t) = u_x(∞, t) = 0 (1) where α is a real bifurcation parameter. After introducing appropriate function spaces X and Y the problem (1) can be rewritten $\text{d}\text{dt}\text{u = G(u, α)}$, (7) where G:X×R → Y is given by G(u, α)(x) = u″(x) + f(x, u(x), u′(x), α). It will be shown, for each (u, α)?X × R, that the Fréchet derivative G_u(u,a): X → Y is not a Fredholm operator. This difficulty is due to the fact that the domain of the space variable x, is infinite and cannot be eliminated by making another choice of X and Y. Since G_u(u, α) is not Fredholm, the hypotheses of most of the general stability and bifurcation results are not satisfied. If (u₀, α₀?S = {(u, α): G(u, α) = 0}, (i.e., (u₀,α₀) is an equilibrium solution of (7)), a necessary condition on the spectrum of G_u(u₀, α₀) for a change in the stability of points in S to occur at G_u(u₀, α₀) will be given. When this condition is met, the principle of exchange of stability which means, in a neighborhood of (u₀, α₀), that adjacent equilibrium solutions for the same α have opposite stability properties in a weakened sense will be established. Also, when G_u or its first order partial derivatives, evaluated at (u₀, α₀), are not too degenerate, the shape of S in a neighborhood of (u₀, α₀) will be described and a strenghtened form of the principle of exchange of stability will be obtained.     

Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

On local convexity of nonlinear mappings between Banach spaces

We find conditions for a smooth nonlinear map f: U → V between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some c and each positive ? < c the image f(B _?(x)) of each ?-ball B _?(x) ? U is convex. We give a lower bound on c via the second order Lipschitz constant Lip₂(f), the Lipschitz-open constant Lip_o(f) of f, and the 2-convexity number conv₂(X) of the Banach space X.