Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Logarithmic Bounds on Sobolev Norms for Time Dependent Linear Schrödinger Equations

We consider the Aharonov–Bohm effect for the Schrödinger operator H = (?i? _x  ? A(x))² + V(x) and the related inverse problem in an exterior domain Ω in R ² with Dirichlet boundary condition. We study the structure and asymptotics of generalized eigenfunctions and show that the scattering operator determines the domain Ω and H up to gauge equivalence under the equal flux condition. We also show that the flux is determined by the scattering operator if the obstacle Ω ^c is convex.     

The Ambrosetti–Prodi Problem for the p-Laplace Operator

In this work we study the existence of a solution for the problem ? Δ _p u = f(u) + tΦ(x) + h(x), with homogeneous Dirichlet boundary conditions. Here the nonlinear term f(u) is a so-called jumping nonlinearity. In the proofs we use topological arguments and the sub-supersolutions method, together with comparison principles for the p-Laplacian.     

Pseudodifferential Boundary Value Problems with Non-Smooth Coefficients

ABSTRACT

In this contribution, we establish a calculus of pseudodifferential boundary value problems with Hölder continuous coefficients. It is a generalization of the calculus of pseudodifferential boundary value problems introduced by Boutet de Monvel. We discuss their mapping properties in Bessel potential and certain Besov spaces. Although having non-smooth coefficients and the operator classes being not closed under composition, we will prove that the composition of Green operators a ₁(x, D _x )a ₂(x, D _x ) coincides with a Green operator a(x, D _x ) up to order m ₁ + m ₂ ? Θ, where Θ ∈ (0, τ₂) is arbitrary, a _j (x, ξ) is in C ^{τ _j} (? ⁿ ) w.r.t. x, and m _j is the order of a _j (x, D _x ), j = 1, 2. Moreover, a(x, D _x ) is obtained by the asymptotic expansion formula of the smooth coefficient case leaving out all terms of order less than m ₁ + m ₂ ? Θ. This result is used to construct a parametrix of a uniformly elliptic Green operator a(x, D _x ).     

Nested Log-Concavity

We give conditions on the coefficients of a polynomial p(x) so that p(x + t) be log-concave or strictly log-concave. Several applications are given: if p(x) is a polynomial with nonnegative and nondecreasing coefficients, then p(x + t) is strictly log-concave for all t ≥ 1; for any polynomial p(x) with positive leading coefficient, there is t ₀ ≥ 0 such that for any t ≥ t ₀ it holds that the coefficients of p(x + t) are positive, strictly decreasing, and strictly log-concave; if p(x) is a log-concave polynomial with nonnegative coefficients and no internal zeros, then p(x + t) is strictly log-concave for all t > 0; Betti numbers of lexsegment monomial ideals are strictly log-concave.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Absolutely Continuous Spectrum of a Polyharmonic Operator with a Limit Periodic Potential in Dimension Two

We consider a polyharmonic operator H = (?Δ) ^l  + V(x) in dimension two with l ≥ 6, l being an integer, and a limit-periodic potential V(x). We prove that the spectrum contains a semiaxis of absolutely continuous spectrum.     

Parabolic Schemes for Quasi-Linear Parabolic and Hyperbolic PDEs via Stochastic Calculus

We consider two quasi-linear initial-value Cauchy problems on ? ^d : a parabolic system and an hyperbolic one. They both have a first order non-linearity of the form φ(t, x, u)·?u, a forcing term h(t, x, u) and an initial condition u ₀ ∈ L ^∞(? ^d ) ∩ C ^∞(? ^d ), where φ (resp. h) is smooth and locally (resp. globally) Lipschitz in u uniformly in (t, x). We prove the existence of a unique global strong solution for the parabolic system. We show the existence of a unique local strong solution for the hyperbolic one and we give a lower bound regarding its blow up time. In both cases, we do not use weak solution theory but a direct construction based on parabolic schemes studied via a stochastic approach and a regularity result for sequences of parabolic operators. The result on the hyperbolic problem is performed by means of a non-classical vanishing viscosity method.     

Unboundedness of the large solutions of some asymmetric oscillators at resonance

In this paper, we consider the unboundedness of solutions of the following differential equation (φ_p(x′))′ + (p ? 1)[αφ_p(x⁺) ? βφ_p(x^?)] = f(x)x′ + g(x) + h(x) + e(t) where φ_p(u) = |u|^{p? 2} u, p > 1, x^± = max {±x, 0}, α and β are positive constants satisfying with m, n ∈ N and (m, n) = 1, f and g are continuous and bounded functions such that lim_x→±∞g(x) ? g(±∞) exists and h has a sublinear primitive, e(t) is 2π_p‐periodic and continuous. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Weak Solutions to Stochastic Wave Equations with Values in Riemannian Manifolds

Let M be a compact Riemannian manifold. We prove existence of a global weak solution of the stochastic wave equation D _t u _t  = D _x u _x  + (X _u  + λ₀(u)u _t  + λ₁(u)u _x )[Wdot] where X is a continuous vector field on M, λ₀ and λ₁ are continuous vector bundles homomorphisms from TM to TM, and W is a spatially homogeneous Wiener process on ? with finite spectral measure. We use recently introduced general method of constructing weak solutions of SPDEs that does not rely on any martingale representation theorem.     

Modified Dyadic Integral and Fractional Derivative on ℝ+

For functions from the Lebesgue space L(?₊), we introduce the modified strong dyadic integral J _α and the fractional derivative D ^(α) of order α > 0. We establish criteria for their existence for a given function f ∈ L(?₊). We find a countable set of eigenfunctions of the operators D ^(α) and J _α, α > 0. We also prove the relations D ^(α)(J _α(f)) = f and J _α(D ^(α)(f)) = f under the condition that $\smallint _{\mathbb{R}_ + } f(x)dx = 0$ . We show the unboundedness of the linear operator $J_\alpha :L_{J_{_\alpha } } \to L(\mathbb{R}_ + )$ , where L _{J α} is its natural domain of definition. A similar assertion is proved for the operator $D^{(\alpha )} :L_{D^{(\alpha )} } \to L(\mathbb{R}_ + )$ . Moreover, for a function f ∈ L(?₊) and a given point x ∈ ?₊, we introduce the modified dyadic derivative d ^(α)(f)(x) and the modified dyadic integral j _α(f)(x). We prove the relations d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) at each dyadic Lebesgue point of the function f.     

Outer Γ-Convexity in Vector Spaces

A subset S of some vector space X is said to be outer Γ-convex w.r.t. some given balanced subset Γ ? X if for all x ₀, x ₁ ? S there exists a closed subset Λ ? [0,1] such that {x _λ | λ ? Λ} ? S and [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ, where x _λ: = (1 ? λ)x ₀ + λ x ₁. A real-valued function f:D → ? defined on some convex D ? X is called outer Γ-convex if for all x ₀, x ₁ ? D there exists a closed subset Λ ? [0,1] such that [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ and f(x _λ) ≤ (1 ? λ)f(x ₀) + λ f(x ₁) holds for all λ ? Λ. Outer Γ-convex functions possess some similar optimization properties as these of convex functions, e.g., lower level sets of outer Γ-convex functions are outer Γ-convex and Γ-local minimizers are global minimizers. Some properties of outer Γ-convex sets and functions are presented, among others a simplex property of outer Γ-convex sets, which is applied for establishing a separation theorem and for proving the existence of modified subgradients of outer Γ-convex functions.     

On the Invariant Fields and Rings of Some Groups of Polynomial Automorphisms

Abstract

We consider the group G of C-automorphisms of C(x, y) (resp. C[x, y]) generated by s, t such that t(x) = y, t(y) = x and s(x) = x, s(y) = ? y + u(x) where u ∈ C[x] is of degree k ≥ 2. Using Galois's theory, we show that the invariant field and the invariant algebra of G are equal to C.     

Dispersive Estimates of Solutions to the Wave Equation with a Potential in Dimensions n ≥ 4

We prove dispersive estimates for solutions to the wave equation with a real-valued potential V ∈ L ^∞(R ⁿ ), n ≥ 4, satisfying V(x) = O(?x?^?(n+1)/2?ε), ε > 0.     

On the Hamilton-Jacobi equation and infimal convolution in the framework of Sobolev-functions

We study the regularity properties of the Hamilton-Jacobi flow equation and infimal convolution in the case where the initial datum function is continuous and lies in a given Sobolev-space W ^1,p (? ⁿ ). We prove that under suitable assumptions it holds for solutions w(x, t) that D _x w(·, t) → Du(·) in L ^p (? ⁿ ) as t → 0. Moreover, we construct examples showing that our results are essentially optimal.     

A Time-Independent Approach for the Study of the Spectral Shift Function and an Application to Stark Hamiltonians

In this paper we develop a time-independent approach for the study of the spectral shift function (SSF for short). We apply this method for the perturbed Stark Hamiltonian. We obtain a weak and a Weyl-type asymptotics with optimal remainder estimate of the SSF of the operator pair (P = P₀ + V(x), P₀ = ? h²Δ +x₁), x = (x₁,…, x_n) where V(x) ∈ 𝒞^∞(?ⁿ, ?) decays sufficiently fast at infinity, and h is a small positive parameter. Near a non-trapping energy λ, we give a pointwise asymptotic expansions in powers of h of the derivative of the SSF, and we compute explicitly the two leading terms.     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Numerical Semigroup Rings and Almost Prüfer v-Multiplication Domains

Let D be an integral domain with quotient field K, X be an indeterminate over D, Γ be a numerical semigroup with Γ ? ?₀, D[Γ] be the semigroup ring of Γ over D (and hence D ? D[Γ] ? D[X]), and D + X ⁿ K[X] = {a + X ⁿ g∣a ∈ D and g ∈ K[X]}. We show that there exists an order-preserving bijection between Spec(D[X]) and Spec(D[Γ]), which also preserves t-ideals. We also prove that D[Γ] is an APvMD (resp., AGCD-domain) if and only if D[X] is an APvMD (resp., AGCD-domain) and char(D) ≠ 0. We show that if n ≥ 2, then D is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain) and char(D) ≠ 0 if and only if D + X ⁿ K[X] is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain). Finally, we give some examples of APvMDs which are not AGCD-domains by using the constructions D[Γ] and D + X ⁿ K[X].     

Boundedness properties of the difference equation x n+1=(α+βx n +δx n−2)/(x n−1)

Consider the third-order difference equation x _n+1 = (α+βx _n +δx _n ? 2)/(x _n ? 1) with α ∈ [0,∞) and β,δ ∈ (0,∞). It is shown that this difference equation has unbounded solutions if and only if δ>β.