On the solutions in the large of the two-dimensional flow of a nonviscous incompressible fluid

The Euler equations (1.1) for the motion of a nonviscous imcompressible fluid in a plane domain Ω are studied. Let E be the Banach space defined in (1.4), let the initial data v₀ belong to E, and let the external forces f(t) belong to L_loc¹(R; E). In Theorem 1.1 the strong continuity and the global boundedness of the (unique) solution v(t) are proved, and in Theorem 1.2 the strong-continuous dependence of v on the data v₀ and f is proved. In particular the vorticity rot v(t) is a continuous function in $\text{}\text{?}$gW, for every t ? R, if and only if this property holds for one value of t. In Theorem 1.3 some properties for the associated group of nonlinear operators S(t). are stated. Finally, in Theorem 1.4 a quite general sufficient condition is given on the data in order to get classical solutions.     

Diagonalization method for a vector boundary problem of singular perturbation type

The nonlinear boundary value problem ?y″ + f(t, ?, y, y′) = 0, y(0, ?) = α(?), y(1, ?) = β(?), where ? > 0 is a small parameter and y, f are scalar functions, has been studied extensively. However, for n-dimensional vector functions y, f the problem seems open. Here we study this vector boundary problem and obtain results which are analogous to those for the scalar case. The approach in this paper is to transform the appropriate differential equation into a canonical or diagonalized system of two first-order equations.     

On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).

     

On an interpolatory product rule for evaluating Cauchy principal value integrals

Convergence results for interpolatory product rules for evaluating Cauchy principal value integrals of the form f _?1 ¹ v(x)f(x)/x ? λ dx wherev is an admissible weight function have been extended to integrals of the form f _?1 ¹ k(x)f(x)/x ? λ dx wherek is an arbitrary integrable function subject to certain conditions. Further, whereas the above convergence results were shown when the interpolation points were the Gauss points with respect to some admissible weight functionw, they are now shown to hold when the interpolation points are Radau or Lobatto points with respect tow.     

Stability of nonautonomous differential equations in Hilbert spaces

We introduce a large class of nonautonomous linear differential equations v^′=A(t)v in Hilbert spaces, for which the asymptotic stability of the zero solution, with all Lyapunov exponents of the linear equation negative, persists in v^′=A(t)v+f(t,v) under sufficiently small perturbations f. This class of equations, which we call Lyapunov regular, is introduced here inspired in the classical regularity theory of Lyapunov developed for finite-dimensional spaces, that is nowadays apparently overlooked in the theory of differential equations. Our study is based on a detailed analysis of the Lyapunov exponents. Essentially, the equation v^′=A(t)v is Lyapunov regular if for every k the limit of Γ(t)^1/t as t→∞ exists, where Γ(t) is any k-volume defined by solutions v₁(t),…,v_k(t). We note that the class of Lyapunov regular linear equations is much larger than the class of uniformly asymptotically stable equations.     

Oscillation theorems for nth-order differential equations with deviating arguments

This paper is concerned with the study of the oscillatory behavior of solutions of the nth-order nonlinear differential equation (a(t)x^{(n ? v)}(t))^(v) + q(t)f(x[g(t)]) = 0, where n is even and 1 ? v ? n ? 1. A systematic study is attempted which extends and correlates a number of existing results.     

On quasilinear Beltrami-type equations with degeneration

We consider the solvability problem for the equation $f_{\bar z} $ = v(z, f(z))f _z , where the function v(z,w) of two variables may be close to unity. Such equations are called quasilinear Beltrami-type equations with ellipticity degeneration. We prove that, under some rather general conditions on v(z,w), the above equation has a regular homeomorphic solution in the Sobolev classW _loc ^1,1 . Moreover, such solutions f satisfy the inclusion f ^?1 ∈ W _loc ^1,2 .     

Rate of convergence in a class of singular perturbations

Let V_?, W_?, W and X be Hilbert spaces (0 < ? ? 1) with V_? ? W_? ? W ? X algebraically and topologically, each space being dense in the one that follows it. For each t? [0, T] let a_?(t; u, v), b_?(t; u, v) and b(t; u, v) be continuous sesqui-linear forms on V_?, W_? and W, respectively, which satisfy certain ellipticity conditions. Consider the two equations a_?(t; u_?, v) + b_?(t; u_?, v) = 〈f_?, v〉 (v?V_?) and (u′, v)_x + b(t; u, v) = 〈f, v〉 (v?W). Estimates are obtained on the rate of convergence of u_? to u, assuming a_?(t; u, v) → (u, v)_x and b_?(t; u, v) → b(t; u, v) in an appropriate sense. These results are then applied to singular perturbation of a class of parabolic boundary value problems.     

A note on similar edges and edge-unique line graphs

If G is a connected graph having no vertices of degree 2 and L(G) is its line graph, two results are proven: if there exist distinct edges e and f with L(G) ? e ? L(G) ? f then there is an automorphism of L(G) mapping e to f; if $\text{G ? u ¦ G ? v}$ for any distinct vertices u, v, then $\text{L(G) ? e ¦ L(G) ? f}$ for any distinct edges e, f.     

The 2-pebbling property for dense graphs

Given a distribution of pebbles on the vertices of a connected graph G, a pebbling move on G consists of taking two pebbles off one vertex and placing one on an adjacent vertex. The pebbling number f(G) is the smallest number m such that for every distribution of m pebbles and every vertex v,a pebble can be moved to v. A graph G is said to have the 2-pebbling property if for any distribution with more than 2f(G) q pebbles, where q is the number of vertices with at least one pebble, it is possible,using pebbling moves, to get two pebbles to any vertex. Snevily conjectured that G(s,t) has the 2-pebbling property, where G(s, t) is a bipartite graph with partite sets of size s and t (s ≥ t). Similarly, the-pebbling number f (G) is the smallest number m such that for every distribution of m pebbles and every vertex v, pebbles can be moved to v. Herscovici et al. conjectured that f(G) ≤ 1.5n + 8-6 for the graph G with diameter 3, where n = |V (G)|. In this paper, we prove that if s ≥ 15 and G(s, t) has minimum degree at least (s+1)/ 2 , then f (G(s, t)) = s + t, G(s, t) has the 2-pebbling property and f (G(s, t)) ≤ s + t + 8(-1). In other words, we extend a result due to Czygrinow and Hurlbert, and show that the above Snevily conjecture and Herscovici et al. conjecture are true for G(s, t) with s ≥ 15 and minimum degree at least (s+1)/ 2 .     

Clique graphs of time graphs

A simple, finite graph G is called a time graph (equivalently, an indifference graph) if there is an injective real function f on the vertices v(G) such that v_iv_j ∈ e(G) for v_i ≠ v_j if and only if |f(v_i) ? f(v_j)| ≤ 1. A clique of a graph G is a maximal complete subgraph of G. The clique graph K(G) of a graph G is the intersection graph of the cliques of G. It will be shown that the clique graph of a time graph is a time graph, and that every time graph is the clique graph of some time graph. Denote the clique graph of a clique graph of G by K²(G), and inductively, denote K(K^m?1(G)) by K^m(G). Define the index indx(G) of a connected time graph G as the smallest integer n such that Kⁿ(G) is the trivial graph. It will be shown that the index of a time graph is equal to its diameter. Finally, bounds on the diameter of a time graph will be derived.     

Signed k-independence in graphs

Let k ≥ 2 be an integer. A function f: V(G) → {?1, 1} defined on the vertex set V(G) of a graph G is a signed k-independence function if the sum of its function values over any closed neighborhood is at most k ? 1. That is, Σ _x∈N[v] f(x) ≤ k ? 1 for every v ∈ V(G), where N[v] consists of v and every vertex adjacent to v. The weight of a signed k-independence function f is w(f) = Σ _v∈V(G) f(v). The maximum weight w(f), taken over all signed k-independence functions f on G, is the signed k-independence number α _s ^k (G) of G. In this work, we mainly present upper bounds on α _s ^k (G), as for example α _s ^k (G) ≤ n ? 2?(Δ(G) + 2 ? k)/2?, and we prove the Nordhaus-Gaddum type inequality $\alpha _S^k \left( G \right) + \alpha _S^k \left( {\bar G} \right) \leqslant n + 2k - 3$ , where n is the order, Δ(G) the maximum degree and $\bar G$ the complement of the graph G. Some of our results imply well-known bounds on the signed 2-independence number.     

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.     

Zero density of L-functions related to Maass forms

Let f(z) be a Hecke-Maass cusp form for SL ₂(?), and let L(s, f) be the corresponding automorphic L-function associated to f. For sufficiently large T, let N(σ, T) be the number of zeros ρ = β +iγ of L(s, f) with |γ| ? T, β ? σ, the zeros being counted according to multiplicity. In this paper, we get that for 3/4 ? σ ? 1 ? ?, there exists a constant C = C(?) such that N(σ,T) ? T ^2(1?σ)/σ(logT) ^C , which improves the previous results.     

Neighbor sum distinguishing total chromatic number of <Emphasis Type="Italic">K</Emphasis><Subscript>4</Subscript>-minor free graph

A k-total coloring of a graph G is a mapping ?: V (G) ? E(G) → {1; 2,..., k} such that no two adjacent or incident elements in V (G) ? E(G) receive the same color. Let f(v) denote the sum of the color on the vertex v and the colors on all edges incident with v: We say that ? is a k-neighbor sum distinguishing total coloring of G if f(u) 6 ≠ f(v) for each edge uv ∈ E(G): Denote χ _Σ ^″ (G) the smallest value k in such a coloring of G: Pil?niak and Wo?niak conjectured that for any simple graph with maximum degree Δ(G), χ _Σ ^″ ≤ Δ(G)+3. In this paper, by using the famous Combinatorial Nullstellensatz, we prove that for K ₄-minor free graph G with Δ(G) > 5; χ _Σ ^″ = Δ(G) + 1 if G contains no two adjacent Δ-vertices, otherwise, χ _Σ ^″ (G) = Δ(G) + 2.     

Smooth center manifolds for nonuniformly partially hyperbolic trajectories

We establish the existence of unique smooth center manifolds for ordinary differential equations v^′=A(t)v+f(t,v) in Banach spaces, assuming that v^′=A(t)v admits a nonuniform exponential trichotomy. This allows us to show the existence of unique smooth center manifolds for the nonuniformly partially hyperbolic trajectories. In addition, we prove that the center manifolds are as regular as the vector field. Our proof of the Ck smoothness of the manifolds uses a single fixed point problem in an appropriate complete metric space. To the best of our knowledge we establish in this paper the first smooth center manifold theorem in the nonuniform setting.     

On directional blow-up for quasilinear parabolic equations with fast diffusion

We discuss blow-up at space infinity of solutions to quasilinear parabolic equations of the form ut=Δ?(u)+f(u) with initial data u₀∈L^∞(RN), where ? and f are nonnegative functions satisfying ?^″?0 and . We study nonnegative blow-up solutions whose blow-up times coincide with those of solutions to the O.D.E. v^′=f(v) with initial data ‖u_0‖L^∞(RN). We prove that such a solution blows up only at space infinity and possesses blow-up directions and that they are completely characterized by behavior of initial data. Moreover, necessary and sufficient conditions on initial data for blow-up at minimal blow-up time are also investigated.     

Carleson measures and the generalized Campanato spaces of vector-valued martingales

In this paper, the so-called(p, φ)-Carleson measure is introduced and the relationship between vector-valued martingales in the general Campanato spaces Lp,φ(X) and the(p, φ)-Carleson measures is investigated. Specifically, it is proved that for q ∈ [2, ∞), the measure dμ := ||dfk||~qdP ? dm is a(q, φ)-Carleson measure on ? × N for every f ∈ L_q,φ(X)if and only if X has an equivalent norm which is q-uniformly convex; while for p ∈(1, 2], the measure dμ :=||dfk||~pdP ? dm is a(p, φ)-Carleson measure on ? × N implies that f ∈ L_p,φ(X)if and only if X admits an equivalent norm which is p-uniformly smooth. This result extends an earlier result in the literature from BMO spaces to general Campanato spaces.     

A convergent two-time method for periodic differential equations

Two timing, an ad hoc method for studying periodic evolution equations, can be given a rigorous justification when the problem is in standard form, u = ?f(t, u). First solve $\text{dw}\text{dσ}\text{= ?(I ? M) f(σ, w)}\text{for}\text{w(σ, v)}$, where M is the mean value operator and v is any initial value. Then w(σ, v) is periodic in σ but does not satisfy the original equation. Now, force a solution u(t), using nonlinear variation of constants, in the form w(σ, v(τ)), where σ = t is the fast time and τ = ?t is the slow time. With the resulting differential equation for v, one reads off from its nonconstant solutions thè approximate transient behavior of u(t) for times of order ?^?1. On the other hand, the equilibrium points (constant solutions) v₀ correspond to steady state (periodic solutions) of the original system. Interesting applications, such as to one-dimensional wave equations with cubic damping, can be given.     

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.