Reconstruction of two time independent coefficients in an inverse problem for a phase field system

In this paper we present stability results concerning the inverse problem of determining two time independent coefficients for a phase field system in a bounded domain Ω⊂Rⁿ for the dimension n≤3 with a single observation on a subdomain ω?Ω and the Sobolev norm of certain partial derivatives of the solutions at a fixed positive time θ∈(0,T) over the whole spatial domain. The proof of these results relies on an appropriate Carleman estimate for the phase field system.     

Kernel estimates for perturbations of positive semigroups

Given a positive C⁰-semigroup T⁰ on L₂(Ω, m) with a kernel k⁰, where (Ω, m) is a σ-finite measure space, we study a suitably perturbed semigroup T and prove existence of a kernel k for T and an estimate of the k in terms of k⁰. In this way we extend a heat kernel estimate proven by Barlow, Grigor’yan and Kumagai [4] for Dirichlet forms perturbed by jump processes. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Well‐posedness for the incompressible magneto‐hydrodynamic system

This paper is concerned with well‐posedness of the incompressible magneto‐hydrodynamics (MHD) system. In particular, we prove the existence of a global mild solution in BMO^?1 for small data which is also unique in the space C([0, ∞); BMO^?1). We also establish the existence of a local mild solution in bmo^?1 for small data and its uniqueness in C([0, T); bmo^?1). In establishing our results an important role is played by the continuity of the bilinear form which was proved previously by Kock and Tataru. In this paper, we give a new proof of this result by using the weighted L^p‐boundedness of the maximal function. Copyright © 2006 John Wiley & Sons, Ltd.     

Small Stochastic Perturbations of Random Maps with Position Dependent Probabilities

Abstract

A position dependent random map is a dynamical system consisting of a collection of maps such that, at each iteration, a selection of a map is made randomly by means of probabilities which are functions of position. Let f* be an invariant density of the position dependent random map T. We consider a model of small random perturbations 𝔗_? of the random map T. For each ? > 0, 𝔗_? has an invariant density function f ^?. We prove that f ^? → f* as ? → 0.     

Localization on the Boundary of Blow-up for Reaction–Diffusion Equations with Nonlinear Boundary Conditions

Abstract

In this work we analyze the existence of solutions that blow-up in finite time for a reaction–diffusion equation u _t  ? Δu = f(x, u) in a smooth domain Ω with nonlinear boundary conditions ?u/?n = g(x, u). We show that, if locally around some point of the boundary, we have f(x, u) = ?βu ^p , β ≥ 0, and g(x, u) = u ^q then, blow-up in finite time occurs if 2q > p + 1 or if 2q = p + 1 and β < q. Moreover, if we denote by T _b the blow-up time, we show that a proper continuation of the blowing up solutions are pinned to the value infinity for some time interval [T, τ] with T _b  ≤ T < τ. On the other hand, for the case f(x, u) = ?βu ^p , for all x and u, with β > 0 and p > 1, we show that blow-up occurs only on the boundary.     

On elliptic modular foliations

In this article we consider the three parameter family of elliptic curves E^t: y² − 4(x − t₁ )³ + t² (x − t₁) + t₃ = 0, t ∈ ?³, and study the modular holomorphic foliation ?ω, in ?³ whose leaves are constant locus of the integration of a l-form ω over topological cycles of E_t. Using the Gauss—Manin connection of the family E^t, we show that ?ω is an algebraic foliation. In the case , we prove that a transcendent leaf of ?ω contains at most one point with algebraic coordinates and the leaves of ?ω corresponding to the zeros of integrals, never cross such a point. Using the generalized period map associated to the family E^t, we find a uniformization of ?ω in T, where T ⊂ ?³ is the locus of parameters t for which E_t is smooth. We find also a real first integral of ?ω. restricted to T and show that ?ω is given by the Ramanujan relations between the Eisenstein series.     

Emission spectrum of bromine excited in the presence of argon

The wavelengths and wavenumbers of the band heads of the system 2660-2590 Å as obtained from the plates taken on the first order 21-feet grating spectrograph are given along with its vibrational analysis. This system is shown as the transition from an upper state at T _e =56776 cm.^?1 withω _e = 108·0 cm.^?1 to the³ Π _u (O _u ⁺) state at T _e =15918 cm.^?1 The lower state is the same as that of the two systems in the regions 2950-2670 Å and 3150-2970 Å reported earlier.     

Definitive Conditions on Maxwell's Tangential E or H for Solutions to His Equations Inside a Bounded Region

Let U be a connected, closed, bounded region in ℝ³ with smooth boundary 𝛛U. Consider Maxwell's equations on U for smooth fields and smooth sources, which are time harmonic, i.e., the fields E,B,H,D and the current density J and charge density ρ on U temporally varying as e^−iωt. We assume ω ≠ 0; when it is real, ω is the frequency of the pure oscillation; when ω is not real, one has exponentially decreasing or increasing oscillatory fields. We treat very general electric permittivity ɛ_ω and magnetic permeability μ_ω, which may both depend upon ω. Both can be arbitrary, time-independent, smoothly varying with position and described by complex Hermitian tensors subject only to weak positivity conditions specified below at each point of U. In this paper necessary and sufficient conditions are found for the tangential components, E_T or H_T on 𝛛U, to be realized by solutions of Maxwell's equations on all of U with these given sources J, ρ in the time-harmonic realm with ω ≠ 0. Also, all solutions E,H on U with specified E_T, H_T, respectively, satisfying the necessary finite-dimensional conditions are derived by an effective natural algorithm. In the electric E_T case, the positivity condition is this: the complex Hermitian matrix μ_ω(p) is to be positive definite while only the real part of ɛ_ω(p), i.e., Re(ɛ_ω(p)), necessarily real symmetric, need be positive definite. In the magnetic-type H_T case, the two roles are reversed. These positivity conditions are more general than those commonly considered. In the final section Maxwell's equations and all the present results are reformulated yet more generally in a context of compact, smooth, Riemannian manifolds with boundary. Sample examples include periodic lattices and wave guides. © 2019 Wiley Periodicals, Inc.     

Existence of a weak solution to the Navier–Stokes equation in a general time‐varying domain by the Rothe method

We assume that Ω^t is a domain in ?³, arbitrarily (but continuously) varying for 0?t?T. We impose no conditions on smoothness or shape of Ω^t. We prove the global in time existence of a weak solution of the Navier–Stokes equation with Dirichlet's homogeneous or inhomogeneous boundary condition in Q_{[0, T)} := {( x , t);0?t?T, x ∈Ω^t}. The solution satisfies the energy‐type inequality and is weakly continuous in dependence of time in a certain sense. As particular examples, we consider flows around rotating bodies and around a body striking a rigid wall. Copyright © 2008 John Wiley & Sons, Ltd.     

Smoothness of spectral subbundles and reducibility of quasi-periodic linear differential systems

In this paper we study linear differential systems (1) $\text{x′ =}\text{A}\text{?}\text{(θ + ωt)x,}\text{where}\text{A}\text{?}\text{(θ)}\text{is an}\text{(n × n)}$ matrix-valued function defined on the k-torus T^k and (θ, t) → θ + ωt is a given irrational twist flow on T^k. First, we show that if A ? C^N(T^k), where N ? {0, 1, 2,…; ∞; ω}, then the spectral subbundles are of class C^N on T^k. Next we assume that à is sufficiently smooth on T^k and ω satisfies a suitable “small divisors” inequality. We show that if (1) satisfies the “full spectrum” assumption, then there is a quasi-periodic linear change of variables x = P(t)y that transforms (1) to a constant coefficient system y′ =By. Finally, we study the case where the matrix $\text{A}\text{?}\text{(θ + ωt)}$ in (1) is the Jacobian matrix of a nonlinear vector field $\text{?(x)}$ evaluated along a quasi-periodic solution x = φ(t) of (2) $\text{x′ = ?(x)}$. We give sufficient conditions in terms of smoothness and small divisors inequalities in order that there is a coordinate system (z, ?) defined in the vicinity of $\text{Ω = H(φ)}$, the hull of φ, so that the linearized system (1) can be represented in the form z′ = Dz, ?′ = ω, where D is a constant matrix. Our results represent substantial improvements over known methods because we do not require that à be “close to” a constant coefficient system.     

The Semilinear Wave Equation on Asymptotically Euclidean Manifolds

We consider the quadratically semilinear wave equation on (? ^d , 𝔤), d ≥ 3. The metric 𝔤 is non-trapping and approaches the Euclidean metric like ?x?^?ρ. Using Mourre estimates and the Kato theory of smoothness, we obtain, for ρ > 0, a Keel–Smith–Sogge type inequality for the linear equation. Thanks to this estimate, we prove long time existence for the nonlinear problem with small initial data for ρ ≥ 1. Long time existence means that, for all n > 0, the life time of the solution is a least δ^?n , where δ is the size of the initial data in some appropriate Sobolev space. Moreover, for d ≥ 4 and ρ > 1, we obtain global existence for small data.     

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.     

Approximations of spectra of Schrödinger operators with complex potentials on ℝd

We study spectral approximations of Schrödinger operators T = ?Δ+Q with complex potentials on Ω = ?^d, or exterior domains Ω??^d, by domain truncation. Our weak assumptions cover wide classes of potentials Q for which T has discrete spectrum, of approximating domains Ω_n, and of boundary conditions on ?Ω_n such as mixed Dirichlet/Robin type. In particular, Re Q need not be bounded from below and Q may be singular. We prove generalized norm resolvent convergence and spectral exactness, i.e. approximation of all eigenvalues of T by those of the truncated operators T_n without spectral pollution. Moreover, we estimate the eigenvalue convergence rate and prove convergence of pseudospectra. Numerical computations for several examples, such as complex harmonic and cubic oscillators for d = 1,2,3, illustrate our results.     

The kernel of the neumann operator for a strictly diffractive analytic problem

We consider p a partial differential operator of order 2 and Rⁿ= ω⁺ ∪ ?ω ∪ ω^? a partition of Rⁿ , such that (p, ω⁺) admits a strictly diffractive point (in the sense of Friedlander and Melrose). We compute the trace and the trace of the normal derivative on ?ω of the solution u of the diffraction problem pu= 0 in ω⁺ u satisfying a mixed boundary condition on ?ω, ?ω analytic. That is done using the construction by Lebeau of a Gevrey 3 parametrix in the neighborhood of the strictly diffractive point.

This result generalizes, for a mixed boundary condition, the Gevrey 3 propogation result of Lebeau. We use this result to compute the leading term in the shadow region of the diffracted wave outside a strictly convex analytical obstacle with a mixed boundary condition and a given incoming wave.     

Substandard models of finite set theory

A survey of the isomorphic submodels of V_ω, the set of hereditarily finite sets. In the usual language of set theory, V_ω has 2^?0 isomorphic submodels. But other set‐theoretic languages give different systems of submodels. For example, the language of adjunction allows only countably many isomorphic submodels of V_ω (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

ω‐saturated quasi‐minimal models of Th(ℚω, +, σ, 0)

We show that (ℚ^ω, +, σ, 0) is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Bang-bang principle of time optimal controls and null controllability of fractional order parabolic equations

In this paper, we establish a bang-bang principle of time optimal controls for a controlled parabolic equation of fractional order evolved in a bounded domain Ω of R^n, with a controller w to be any given nonempty open subset of Ω. The problem is reduced to a new controllability property for this equation, i.e. the null controllability of the system at any given time T 〉 0 when the control is restricted to be active in ω× E, where E is any given subset of [0, T] with positive （Legesgue） measure. The desired controllability result is established by means of a sharp observability estimate on the eigenfunctions of the Dirichlet Laplacian due to Lebeau and Robbiano, and a delicate result in the measure theory due to Lions.     

The Reconstruction of the Attracting Potential in the Sturm-Liouville Equation through Characteristics of Negative Discrete Spectrum

Let us consider the Sturm-Liouville equation on the positive half-axis with negative potential of the form q(x) = ω²Q(x)+Q₀(x), where functions Q and Q₀ are integrable together with derivatives of the order m + 1 and have polynomial decreasing at infinity. In the development of the Lax-Levermore result we show that the function Q(x) + ω^?2Q₀(x) can be reconstructed with accuracy O(ω^?m)( only through characteristics of discrete negative spectrum of the Dirichlet problem for(*). As an application we prove that it is possible to reconstruct with prescribed accuracy a density and a compressibility of the horizontal homogeneous liquid half-space through wavenumbers and amplitudes of surface waves excited by monochromatic source with sufficiently large but fixed frequencies ω₁ and ω₂.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.