On Σ1-definable Functions Provably Total in I ∏

We prove the following theorem: Let φ(x) be a formula in the language of the theory PA^? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ₀ and let fφ: ? → ? such that f_φ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < x^K). Here I ∏₁^? denotes the theory PA^? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ₀.     

Tangential Convergence of Temperatures and Harmonic Functions in Besov and in Triebel-Lizorkin Spaces

We study the maximal function Mf(x) = sup |f(x + y, t)| when Ω is a region in the (y,t) Ω upper half space R and f(x, t) is the harmonic extension to R₊^N+1 of a distribution in the Besov space B^α_p,q(R^N) or in the Triebel-Lizorkin space F^α_p,q(R^N). In particular, we prove that when Ω= {|_y|^{N/ (N-αp)} < t < 1} the operator M is bounded from F (R^N) into L^p (R^N). The admissible regions for the spaces B (R^N) with p < q are more complicated.     

Entropy Numbers in Weighted Function Spaces and Eigenvalue Distributions of Some Degenerate Pseudodifferential Operators II

This paper is the continuation of [17]. We investigate mapping and spectral properties of pseudodifferential operators of type Ψ with χ χ ? ? and 0 ≤ γ ≤ 1 in the weighted function spaces B (?ⁿ, w(x)) and F (?ⁿ, w(x)) treated in [17]. Furthermore, we study the distribution of eigenvalues and the behaviour of corresponding root spaces for degenerate pseudodifferential operators preferably of type b₂(x) b(x, D) b₁(x), where b₁(x) and b₂(x) are appropriate functions and b(x, D) ? Ψ. Finally, on the basis of the Birman-Schwinger principle, we deal with the “negative spectrum” (bound states) of related symmetric operators in L₂.     

Entropy Numbers in Weighted Function Spaces and Eigenvalue Distributions of Some Degenerate Pseudodifferential Operators I

In this paper we study weighted function spaces of type B(?ⁿ, Q(x)) and F(?ⁿ, Q(x)), where Q(x) is a weight function of at most polynomial growth. Of special interest are the weight functions Q(x) = (1 + |x|²)^α/2 with α ? ?. The main result deals with estimates for the entropy numbers of compact embeddings between spaces of this type.     

Inversion of the exponential X-ray transform. II: Numerics

The exponential X-ray transform arises in single photon emission computed tomography and is defined on functions on the plane by ??_μf(φ,x) = ∫f (x + tφ)e^μt where μ is a constant. In [MMAS(10), 561–574, 1988], we derived analytical formulae for filters K corresponding to a general point spread function E that can be used to invert the exponential X-ray transform via a filtered backprojection algorithm. Here, we use those formulae to derive expressions suitable for numerical computation of the filters corresponding to a specific family of bandlimited point spread functions and give the results of reconstructions of a mathematical phantom using these filters. Also included is an analogue of the Shepp–Logan ellipse theorem, [IEEE Trans. Nucl. Sci. (21), 21–43, 1974], for the exponential X-ray transform.     

Semilinear wave equation with time dependent potential

We consider the following semilinear wave equation: (1) for (t,x) ∈ ?_t × ?. We prove that if the potential V(t,x) is a measurable function that satisfies the following decay assumption: ∣V(t,x)∣?C(1+t)(1+∣x∣) for a.e. (t,x) ∈ ?_t × ? where C, σ₀>0 are real constants, then for any real number λ that satisfies there exists a real number ρ(f,g,λ)>0 such that the equation has a global solution provided that 0<ρ?ρ(f,g,λ). Copyright © 2004 John Wiley & Sons, Ltd.     

Regarding Some Problems of the Kutta — Joukovskii Condition in Lifting Surface Theory

We are interested in finding the velocity distribution at the wings of an aeroplane. Within the scope of a three — dimensional linear theory we analyse a model which is formulated as a mixed screen boundary value problem for the Helmholtz equation (Δ +k²)Φ = 0 in ?³\s where Φ denotes the perturbation velocity potential, induced by the presence of the wings and s :=L UW with the projection L of the wings onto the (x,y)- plane and the wake W. Not all Cauchy data are given explicitly on L, respectively W. These missing Cauchy data depend on the wing circulation Γ· Γ has to be fixed by the Kutta–Joukovskii condition: Λ Φ should be finite near the trailing edge x_t of L. To fulfil this condition in a way that all appearing terms can be defined mathematically exactly and belong to spaces which are physically meaningful, we propose to fix Γ by the condition of vanishing stress intensity factors of Φ near x_t up to a certain order such that ΛΦ|_xt ?W₂^?(x_t)? L₂(x_t),?>0. In the two–dimensional case, and if L is the left half–plane in ?², we have an explicit formula to calculate Γ and we can control the regularity of Γ and Φ.     

Long‐time dynamics of KdV solitary waves over a variable bottom

We study the variable‐bottom, generalized Korteweg—de Vries (bKdV) equation ?_tu = ??_x(?u + f(u) ? b(t,x)u), where f is a nonlinearity and b is a small, bounded, and slowly varying function related to the varying depth of a channel of water. Many variable‐coefficient KdV‐type equations, including the variable‐coefficient, variable‐bottom KdV equation, can be rescaled into the bKdV. We study the long‐time behavior of solutions with initial conditions close to a stable, b = 0 solitary wave. We prove that for long time intervals, such solutions have the form of the solitary wave whose center and scale evolve according to a certain dynamical law involving the function b(t,x) plus an H¹(?)‐small fluctuation. © 2005 Wiley Periodicals, Inc.     

Boundary-value problems for the wave equation with Lévy Laplacian in the Gâteaux class

We present the solutions of the initial-value problem in the entire space and the solutions of the boundary-value and initial-boundary-value problems for the wave equation

Nonstationary Stokes system in weighted Sobolev spaces

We consider an initial‐boundary value problem for nonstationary Stokes system in a bounded domain Omega??³ with slip boundary conditions. We assume that Ω is crossed by an axis L. Let us introduce the following weighted Sobolev spaces with finite norms: and where ?(x) = dist{x, L}. We proved the result. Given the external force f∈L_{2, ?µ}(Ω^T), initial velocity v₀∈H(Ω), µ∈?₊\? there exist velocity v∈H(Ω^T) and the pressure p, ?p∈L_{2, ?µ}(Ω^T) and a constant c, independent of v, p, f, such that As we consider the Stokes system in weighted Sobolev spaces the following two things must be used:

• 1. the slip boundary condition and
• 2. the Helmholtz–Weyl decomposition.

Copyright © 2010 John Wiley & Sons, Ltd.     

Iteratively reweighted least squares minimization for sparse recovery

Under certain conditions (known as the restricted isometry property, or RIP) on the m × N matrix Φ (where m < N), vectors x ∈ ?^N that are sparse (i.e., have most of their entries equal to 0) can be recovered exactly from y := Φx even though Φ^?1(y) is typically an (N ? m)—dimensional hyperplane; in addition, x is then equal to the element in Φ^?1(y) of minimal ??₁‐norm. This minimal element can be identified via linear programming algorithms. We study an alternative method of determining x, as the limit of an iteratively reweighted least squares (IRLS) algorithm. The main step of this IRLS finds, for a given weight vector w, the element in Φ^?1(y) with smallest ??₂(w)‐norm. If x⁽ⁿ⁾ is the solution at iteration step n, then the new weight w⁽ⁿ⁾ is defined by w := [|x|² + ε]^?1/2, i = 1, …, N, for a decreasing sequence of adaptively defined ε_n; this updated weight is then used to obtain x^{(n + 1)} and the process is repeated. We prove that when Φ satisfies the RIP conditions, the sequence x⁽ⁿ⁾ converges for all y, regardless of whether Φ^?1(y) contains a sparse vector. If there is a sparse vector in Φ^?1(y), then the limit is this sparse vector, and when x⁽ⁿ⁾ is sufficiently close to the limit, the remaining steps of the algorithm converge exponentially fast (linear convergence in the terminology of numerical optimization). The same algorithm with the “heavier” weight w = [|x|² + ε]^?1+τ/2, i = 1, …, N, where 0 < τ < 1, can recover sparse solutions as well; more importantly, we show its local convergence is superlinear and approaches a quadratic rate for τ approaching 0. © 2009 Wiley Periodicals, Inc.     

Longtime behavior for a nonlinear wave equation arising in elasto‐plastic flow

The paper studies the longtime behavior of solutions to the initial boundary value problem (IBVP) for a nonlinear wave equation arising in elasto‐plastic flow u_tt?div{|?u|^m?1?u}?λΔu_t+Δ²u+g(u)=f(x). It proves that under rather mild conditions, the dynamical system associated with above‐mentioned IBVP possesses a global attractor, which is connected and has finite Hausdorff and fractal dimension in the phase spaces X₁=H(Ω) × L²(Ω) and X=(H³(Ω)∩H(Ω)) × H(Ω), respectively. Copyright © 2008 John Wiley & Sons, Ltd.     

Stability of Cahn‐Hilliard fronts

We prove stability of the kink solution of the Cahn‐Hilliard equation ∂_tu = ∂( ∂u − u/2 + u³/2), x ∈ ℝ. The proof is based on an inductive renormalization group method, and we obtain detailed asymptotics of the solution as t → ∞. We prove stability of the kink solution of the Cahn‐Hilliard equation ∂_tu = ∂( ∂u − u/2 + u³/2), x ∈ ℝ. The proof is based on an inductive renormalization group method, and we obtain detailed asymptotics of the solution as t → ∞. © 1999 John Wiley & Sons, Inc.     

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

An artificial boundary condition for an advection–diffusion equation

Consider the advection–diffusion equation: u₁ + au_x1 ? vδu = 0 in ?ⁿ × ?⁺ with initial data u⁰; the Support of u⁰ is contained in ?(x₁ < 0) and a: ?ⁿ → ? is positive. In order to approximate the full space solution by the solution of a problem in ? × ?⁺, we propose the artificial boundary condition: u₁ + au_x1 = 0 on ∑. We study this by means of a transmission problem: the error is an O(v²) for small values of the viscosity v.     

Boundary-value problems for a nonlinear parabolic equation with Lévy Laplacian resolved with respect to the derivative

We present the solutions of boundary-value and initial boundary-value problems for a nonlinear parabolic equation with Lévy Laplacian ∆ _L resolved with respect to the derivative

Beyond quenching for singular reaction-diffusion problems

Let f(u) be twice continuously differentiable on [0, c]) for some constant c such that f(0) > 0,f′ ? 0,f″ ? 0, and lim_u→cf(u) = ∞. Also, let χ(S) be the characteristic function of the set S. This article studies all solutions u with non-negative u_t, in the region where u < c and with continuous u_x for the problem: u_xx – u_t = ? f(u)χ({u < c}), 0 < x < a, 0 < t < ∞, subject to zero initial and first boundary conditions. For any length a larger than the critical length, it is shown that if ∫f(u) du < ∞, then as t tends to infinity, all solutions tend to the unique steady-state profile U(x), which can be computed by a derived formula; furthermore, increasing the length a increases the interval where U(x) ? c by the same amount. For illustration, examples are given.     

Non-linear parabolic problem associated with the penetration of a magnetic field into a substance

We study the following initial and boundary value problem: In section 1, with u₀ in L²(Ω), f continuous such that f(u) + ? non-decreasing for ? positive, we prove the existence of a unique solution on (0,T), for each T > 0. In section 2 it is proved that the unique soluition u belongs to L²(0, T; H ∩ H²) ∩ L^∞(0, T; H) if we assume u₀ in H and f in C¹(?,?). Numerical results are given for these two cases.     

Velocity averaging,kinetic formulations,and regularizing effects in quasi‐linear PDEs

We prove in this paper new velocity‐averaging results for second‐order multidimensional equations of the general form ??(?_x, v)f(x, v) = g(x, v) where ??(?_x, v) := a (v) · ?_x ? ? ${}_{\text{x}}^{\text{?}}$ · b (v)?_x. These results quantify the Sobolev regularity of the averages, ∫_v f(x, v)?(v)dv, in terms of the nondegeneracy of the set {v: |??(iξ, v)| ≤ δ} and the mere integrability of the data, (f, g) ∈ (L, L). Velocity averaging is then used to study the regularizing effect in quasi‐linear second‐order equations, ??(?_x, ρ)ρ = S(ρ), which use their underlying kinetic formulations, ??(?_{x, v})χ_ρ = g_S. In particular, we improve previous regularity statements for nonlinear conservation laws, and we derive completely new regularity results for convection‐diffusion and elliptic equations driven by degenerate, nonisotropic diffusion. © 2007 Wiley Periodicals, Inc.     

RELATIVE INJECTIVITY OF MODULES AND EXCELLENT EXTENSIONS

Abstract

Yesl Any equation of conservation of the form ?_x{P(?_xφ, ?_tφ) = ?_t{Q(?_xφ, ?_tφ) is shown to admit an infinite-dimensional, Abellan group of symmetries that is not a prolongation symmetry group. Explicit equations are given for the determination of the generators of the Lle algebra of this Abellan symmetry group, and for the generators of Its underlying Poisson algebra.