Existence of Gevrey approximate solutions for certain systems of linear vector fields applied to involutive systems of first-order nonlinear pdes

Given a Gs-involutive structure, (M,V), a Gevrey submanifold X⊂M which is maximally real and a Gevrey function u₀ on X we construct a Gevrey function u which extends u₀ and is a Gevrey approximate solution for V. We then use our construction to study Gevrey micro-local regularity of solutions, u∈C²(RN), of a system of nonlinear pdes of the form

     

On the existence of positive solutions and their continuous dependence on functional parameters for some class of elliptic problems

We discuss the existence and the dependence on functional parameters of solutions of the Dirichlet problem for a kind of the generalization of the balance of a membrane equation. Since we shall propose an approach based on variational methods, we treat our equation as the Euler-Lagrange equation for a certain integral functional J. We will not impose either convexity or coercivity of the functional. We develop a duality theory which relates the infimum on a special set X of the energy functional associated with the problem, to the infimum of the dual functional on a corresponding set X^d. The links between minimizers of both functionals give a variational principle and, in consequence, their relation to our boundary value problem. We also present the numerical version of the variational principle. It enables the numerical characterization of approximate solutions and gives a measure of a duality gap between primal and dual functional for approximate solutions of our problem.     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

An intersection theorem for set-valued mappings

Given a nonempty convex set X in a locally convex Hausdorff topological vector space, a nonempty set Y and two set-valued mappings T: X ? X, S: Y ? X we prove that under suitable conditions one can find an x ∈ X which is simultaneously a fixed point for T and a common point for the family of values of S. Applying our intersection theorem, we establish a common fixed point theorem, a saddle point theorem, as well as existence results for the solutions of some equilibrium and complementarity problems.     

The retraction relation for biracks

In [9] Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,\sigma ,\tau )$ of the Yang–Baxter equation, the equivalence relation ～ defined on the set X and they considered a new non-degenerate involutive induced retraction solution defined on the quotient set $X^{～}$. It is well known that translating set-theoretical non-degenerate solutions of the Yang–Baxter equation into the universal algebra language we obtain an algebra called a birack. In the paper we introduce the generalized retraction relation ≈ on a birack, which is equal to ～ in an involutive case. We present a complete algebraic proof that the relation ≈ is a congruence of the birack. Thus we show that the retraction of a set-theoretical non-degenerate solution is well defined not only in the involutive case but also in the case of all non-involutive solutions.     

The prescribed mean curvature equation for nonparametric surfaces

We study the prescribed mean curvature equation for nonparametric surfaces, obtaining existence and uniqueness results in the Sobolev space W^2,p. We also prove that under appropriate conditions the set of surfaces of mean curvature H is a connected subset of W^2,p. Moreover, we obtain existence results for a boundary value problem which generalizes the one-dimensional periodic problem for the mean curvature equation.     

Inverse problems and index formulae for Dirac operators

We consider a Dirac-type operator DP on a vector bundle V over a compact Riemannian manifold (M,g) with a non-empty boundary. The operator DP is specified by a boundary condition P(u_|∂M)=0 where P is a projector which may be a non-local, i.e., a pseudodifferential operator. We assume the existence of a chirality operator which decomposes L²(M,V) into two orthogonal subspaces X₊⊕X₋. Under certain conditions, the operator DP restricted to X₊ and X₋ defines a pair of Fredholm operators which maps X₊→X₋ and X₋→X₊ correspondingly, giving rise to a superstructure on V. In this paper we consider the questions of determining the index of DP and the reconstruction of and DP from the boundary data on ∂M. The data used is either the Cauchy data, i.e., the restrictions to ∂M×R₊ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e., the set of the eigenvalues and the boundary values of the eigenfunctions of DP. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in M×C⁴, M⊂R³.     

Moves for standard skeleta of 3-manifolds with marked boundary

A 3-manifold with marked boundary is a pair (M, X), where M is a compact 3-manifold whose (possibly empty) boundary is made up of tori and Klein bottles, and X is a trivalent graph that is a spine of ?M. A standard skeleton of a 3-manifold with marked boundary (M, X) is a standard sub-polyhedron P of M such that P ?? ?M coincides with X and with ?P, and such that ${P \cup \partial M}$ is a spine of ${M\setminus B}$ (where B is a ball). In this paper, we will prove that the classical set of moves for standard spines of 3-manifolds (i.e. the MP-move and the V-move) does not suffice to relate to each other any two standard skeleta of a 3-manifold with marked boundary. We will also describe a condition on the 3-manifold with marked boundary that allows to establish whether the generalised set of moves, made up of the MP-move and the L-move, suffices to relate to each other any two standard skeleta of the 3-manifold with marked boundary. For the 3-manifolds with marked boundary that do not fulfil this condition, we give three other moves: the CR-move, the T₁-move and the T₂-move. The first one is local and, with the MP-move and the L-move, suffices to relate to each other any two standard skeleta of a 3-manifold with marked boundary fulfilling another condition. For the universal case, we will prove that the non-local T₁-move and T₂-move, with the MP-move and the L-move, suffice to relate to each other any two standard skeleta of a generic 3-manifold with marked boundary. As a corollary, we will get that disc-replacements suffice to relate to each other any two standard skeleta of a 3-manifold with marked boundary.     

Initial-boundary problem for the 1-D Euler-Boltzmann equations in radiation hydrodynamics

We study the initial-boundary value problem for the one dimensional EulerBoltzmann equation with reflection boundary condition. For initial data with small total variation, we use a modified Glimm scheme to construct the global approximate solutions(U_(△t,d), I_(△t,d)) and prove that there is a subsequence of the approximate solutions which is convergent to the global solution.     

Periodic solutions of symmetric autonomous Newtonian systems

In this paper we show the existence and bifurcation of T-periodic solutions of a special form for an autonomous Newtonian system with symmetry. If the phase-space R2n is equipped with the structure of an orthogonal representation (W,ρW) and the potential is invariant, then for every such a solution the set of indices of nonvanishing Fourier coefficients is finite and depends on W only. If the potential V depends on the squares of complex coordinates, then for every such a solution T is the minimal period.     

A note on abundance of certain semigroups of transformations with restricted range

Given a set X and a nonempty Y?X, we denote by T(X,Y) the subsemigroup of the full transformation semigroup on X consisting of all transformations whose range is contained in Y. We show that the semigroup T(X,Y) is right abundant but not left abundant whenever Y is a proper non-singleton subset of X.     

Global Hölder estimates for optimal transportation

We generalize the well-known result due to Caffarelli concerning Lipschitz estimates for the optimal transportation T of logarithmically concave probability measures. Suppose that T: ? ^d → ? ^d is the optimal transportation mapping µ = e ^?V dx to ν = e ^?W dx. Suppose that the second difference-differential V is estimated from above by a power function and that the modulus of convexity W is estimated from below by the function A _q |x|^1+q , q ≥ 1. We prove that, under these assumptions, the mapping T is globally Hölder with the Hölder constant independent of the dimension. In addition, we study the optimal mapping T of a measure µ to Lebesgue measure on a convex bounded set K ? ? ^d . We obtain estimates of the Lipschitz constant of the mapping T in terms of d, diam(K), and DV, D ² V.     

On weaker forms of the chain (F) condition and metacompactness-like covering properties in the product spaces

We introduce the concept of a family of sets generating another family. Then we prove that if X is a topological space and X has W = {W(x): x ∈ X} which is finitely generated by a countable family satisfying (F) which consists of families each Noetherian of ω-rank, then X is metaLindelöf as well as a countable product of them. We also prove that if W satisfies ω-rank (F) and, for every x ∈ X, W(x) is of the form W ₀(x) ∪ W ₁(x), where W ₀(x) is Noetherian and W ₁(x) consists of neighbourhoods of x, then X is metacompact.     

Optimal boundary control by a displacement in <Emphasis Type="Italic">W</Emphasis>′<Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> of a string with free end

We consider an optimal boundary control of a string with free end by a displacement of the other end in W′ _p (Q, T). For p ≠ 2, we prove that the optimal control depends on the initial and terminal conditions nonlinearly.     

On the Fell topology

Let 2 ^X denote the closed subsets of a Hausdorff topological space <X, {gt}>. The Fell topology τ_F on 2 ^X has as a subbase all sets of the form {A ∈ 2 ^X :A ∩V ≠ 0}, whereV is an open subset ofX, plus all sets of the form {A ∈ 2 ^X :A ?W}, whereW has compact complement. The purpose of this article is two-fold. First, we characterize first and second countability for τ_F in terms of topological properties for τ. Second, we show that convergence of nets of closed sets with respect to the Fell topology parallels Attouch-Wets convergence for nets of closed subsets in a metric space. This approach to set convergence is highly tractable and is well-suited for applications. In particular, we characterize Fell convergence of nets of lower semicontinuous functions as identified with their epigraphs in terms of the convergence of sublevel sets.     

Stabilizing Heegaard splittings of toroidal 3-manifolds

Let T be a separating incompressible torus in a 3-manifold M. Assuming that a genus g Heegaard splitting VS_∪W can be positioned nicely with respect to T (e.g., VS_∪W is strongly irreducible), we obtain an upper bound on the number of stabi-lizations required for VS_∪W to become isotopic to a Heegaard splitting which is an amalgamation along T. In particular, if T is a canonical torus in the JSJ decomposition of M, then the number of necessary stabilizations is at most 4g−4. As a corollary, this establishes an upper bound on the number of stabilizations required for VS_∪W and any Heegaard splitting obtained by a Dehn twist of VS_∪W along T to become isotopic.     

The PRV-formula for tensor product decompositions and its applications

Let G be a semisimple algebraic group, V a simple finite-dimensional self-dual G-module, and W an arbitrary simple finite-dimensional G-module. Using the triple multiplicity formula due to Parthasarathy, Ranga Rao, and Varadarajan, we describe the multiplicities of W in the symmetric and exterior squares of V in terms of the action of a maximum-length element of the Weyl group on some subspace in V ^T , where T ? G is a maximal torus. By way of application, we consider the cases in which V is the adjoint, little adjoint, or, more generally, a small G-module. We also obtain a general upper bound for triple multiplicities in terms of Kostant’s partition function.     

A numerical comparison of Chebyshev methods for solving fourth order semilinear initial boundary value problems

In solving semilinear initial boundary value problems with prescribed non-periodic boundary conditions using implicit-explicit and implicit time stepping schemes, both the function and derivatives of the function may need to be computed accurately at each time step. To determine the best Chebyshev collocation method to do this, the accuracy of the real space Chebyshev differentiation, spectral space preconditioned Chebyshev tau, real space Chebyshev integration and spectral space Chebyshev integration methods are compared in the L² and W^2,2 norms when solving linear fourth order boundary value problems; and in the L^∞([0,T];L²) and L^∞([0,T];W^2,2) norms when solving initial boundary value problems. We find that the best Chebyshev method to use for high resolution computations of solutions to initial boundary value problems is the spectral space Chebyshev integration method which uses sparse matrix operations and has a computational cost comparable to Fourier spectral discretization.