A local compactness theorem for Maxwell's equations

The paper gives a proof, valid for a large class of bounded domains, of the following compactness statements: Let G be a bounded domain, β be a tensor-valued function on G satisfying certain restrictions, and let {_n} be a sequence of vector-valued functions on G where the L₂-norms of {_n}, {curl _n}, and {div(β _n)} are bounded, and where all _n either satisfy x _n = 0 or (β F_n) = 0 at the boundary ?G of G ( = normal to ?G): then {_n} has a L₂-convergent subsequence. The first boundary condition is satisfied by electric fields, the second one by magnetic fields at a perfectly conducting boundary ?G if β is interpreted as electric dielectricity ? or as magnetic permeability μ, respectively. These compactness statements are essential for the application of abstract scattering theory to the boundary value problem for Maxwell's equations.     

A note on backward errors for structured linear systems

Let x? be a computed solution to a linear system Ax=b with , where is a proper subclass of matrices in . A structured backward error (SBE) of x? is defined by a measure of the minimal perturbations and such that (1) and that the SBE can be used to distinguish the structured backward stability of the computed solution x?. For simplicity, we may define a partial SBE of x? by a measure of the minimal perturbation such that (2) Can one use the partial SBE to distinguish the structured backward stability of x?? In this note we show that the partial SBE may be much larger than the SBE for certain structured linear systems such as symmetric Toeplitz systems, KKT systems, and dual Vandermonde systems. Besides, certain backward errors for linear least squares are discussed. Copyright © 2004 John Wiley & Sons, Ltd.     

Resonance phenomena for a class of partial differential equations of higher order in cylindrical waveguides

We consider a domain Ω in ?ⁿ of the form Ω = ?^l × Ω′ with bounded Ω′ ? ?^n?l. In Ω we study the Dirichlet initial and boundary value problem for the equation ? u + [(? ? ?… ? ?)^m + (? ? ?… ? ?)^m]u = fe^?iωt. We show that resonances can occur if 2m ≥ l. In particular, the amplitude of u may increase like t^α (α rational, 0<α<1) or like in t as t∞∞. Furthermore, we prove that the limiting amplitude principle holds in the remaining cases.     

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.     

Uniqueness theorems for a nonlinear Tricomi problem and the related evolution problem

We consider an initial-boundary value problem for the non-linear evolution equation in a cylinder Q_t = Ω × (0, t), where T[u] = yu_xx + u_yy is the Tricomi operator and l(u) a special differential operator of first order. In [10] we proved the existence of a generalized solution of problem (1) and the existence of a generalized solution of the corresponding stationary boundary value problem (non-linear Tricomi problem) In this paper we give sufficient conditions for the uniqueness of these solutions.     

Die Lösung der Prae-Maxwellschen Gleichungen mit Hilfe vollständiger Lösungssysteme

This paper deals with the Neumann problem of the pre-Maxwell partial differential equations for a vector field v defined in a region G ? R ³. We approximate its uniquely determined solution (integrability conditions assumed) uniformly on G by explicitly computable particular integrals and linear combinations of vector fields with a “fundamental” sequence of points .     

The Blow-up Rate for a System of Heat Equations with Non-trivial Coupling at the Boundary

We study the blow-up rate of positive radial solutions of a system of two heat equations, (u₁)_t=Δu₁(u₂)_t=Δu₂, in the ball B(0, 1), with boundary conditions Under some natural hypothesis on the matrix P=(p_ij) that guarrantee the blow-up of the solution at time T, and some assumptions of the initial data u_0i, we find that if ∥x₀∥=1 then u_i(x₀, t) goestoinfinitylike(T−t), where the α_i<0 are the solutions of (P−Id)(α₁,α₂)^t=(−1,−1)^t. As a corollary of the blow-up rate we obtain the loclaization of the blow-up set at the boundary of the domain. © 1997 by B.G. Teubner Stuttgart-John Wiley & Sons, Ltd.     

On a free boundary problem in electrostatics

Let Ω_i ? ?^N, i = 0, 1, be two bounded separately star-shaped domains such that $ \Omega _0 \supset \bar \Omega _1 $. We consider the electrostatic potential u defined in $ \Omega : = \Omega _0 \backslash \bar \Omega _1 $: The geometry of the two boundary components Γ₀ and Γ₁ is not given, but instead the electrostatic potential u is supposed to satisfy the further boundary conditions Using a best possible maximum principle, we show that this free boundary problem has a unique solution which is radially symmetric.     

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.     

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.     

The Helmholtz–Weyl decomposition in weighted Sobolev spaces

Let f∈L_{2, ? µ}(?³), where where x = (x₁, x₂, x₃) is the Cartesian system in ?³, x′ = (x₁, x₂), , µ∈?₊\?. We prove the decomposition f = ? ?u + g, with g divergence free and u is a solution to the problem in ?³ Given f∈L_{2, ? µ}(?³) we show the existence of u∈H(?³) such that where Since f, u, g are defined in ?³ we need a sufficiently fast decay of these functions as |x|→∞. Copyright © 2010 John Wiley & Sons, Ltd.     

Generalized herglotz domains

Let F(θ k, α) be the far field pattern arising from the scattering of a time harmonic plane acoustic wave of wave number k and direction a by a sound-soft cylinder of cross section D. Suppose F has the Fourier expansion where a_n = a_n(k, . Then if ?² is a Dirichlet eigenvalue for D, sufficient conditions are given on D for the existence of a nontrivial sequence |b_n| where the b_n are independent of such that for all directions Domains for which this is true are called generalized Herglotz domains. The conditions for a domain to be a generalized Herglotz domain are given either in terms of the Schwarz function for the analytic boundary ?D or in terms of the Rayleigh hypothesis in acoustic scattering theory and examples are given showing the applicability of these conditions.     

Bifurcation results for a class of periodic quasi-linear parabolic equations

We consider the problem where a and f are 1-periodic in t, a is positive, f satisfies appropriate decreasing conditions; smoothness of a, f, ?Ω is also assumed. Denote by λ₀ the principal eigenvalue of Δ with zero Dirichlet boundary conditions, and define . We prove: (a) if ε ≤ 0, then no non-negative periodic solution exists but zero, and any solution with continuous non-negative initial datum converges to zero uniformly as t → ∞; (b) if ε > 0, then a unique non trivial non-negative 1-periodic solution u* exists, and any solution with continuous, non-negative not identically zero initial datum approaches uniformly u* as t → ∞.     

Existence results for non-autonomous multiple-fragmentation models

We investigate an initial-value problem modelling fragmentation processes where particles split into two or more pieces at a rate, γ, that not only depends on the sizes of the particles involved but also on time. The existence of non-negative, mass-conserving solutions is established by considering a truncated version of an associated non-autonomous abstract Cauchy problem. The latter has solutions of the form u(t)=U_n(t,t₀)f, t⩾t₀, where f is the known data at some fixed time t₀⩾0 and {U_n(t,s)} is a uniformly continuous evolution system. A limit evolution system {U(t,s)} is shown to exist. Depending on the form of the known data f at time t₀, the scalar-valued function u, obtained from the limit evolution system via u(x, t)=[U(t, t₀)f](x) for a.e. x>0, t⩾t₀, is a solution of either the original initial-value problem or an integral version of this problem. © 1997 B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Hamilton decompositions of complete multipartite graphs with any 2-factor leave

For m ≥ 1 and p ≥ 2, given a set of integers s₁,…,s_q with for and , necessary and sufficient conditions are found for the existence of a hamilton decomposition of the complete p-partite graph , where U is a 2-factor of consisting of q cycles, the jth cycle having length s_j. This result is then used to completely solve the problem when p = 3, removing the condition that . © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 208–214, 2003     

A uniqueness condition for the polyharmonic equation in free space

Consider the polyharmonic wave equation ?u + (? Δ)^mu = f in ?ⁿ × (0, ∞) with time-independent right-hand side. We study the asymptotic behaviour of u ( x , t) as t → ∞ and show that u( x , t) either converges or increases with order t^α or In t as t → ∞. In the first case we study the limit $ u_0 \left({\bf x} \right) \colone \mathop {\lim }\limits_{t \to \infty } \,u\left({{\bf x},t} \right) $ and give a uniqueness condition that characterizes u₀ among the solutions of the polyharmonic equation ( ? Δ)^mu = f in ?ⁿ. Furthermore we prove in the case 2m ? n that the polyharmonic equation has a solution satisfying the uniqueness condition if and only if f is orthogonal to certain solutions of the homogeneous polyharmonic equation.     

Homogenization of elliptic equations with principal part not in divergence form and hamiltonian with quadratic growth

In this paper, we consider the following problem: Here the coefficients a_ij and b_i are smooth, periodic with respect to the second variable, and the matrix (a_ij)_ij is uniformly elliptic. The Hamiltonian H is locally Lipschitz continuous with respect to u^? and Du^?, and has quadratic growth with respect to Du^?. The Hamilton-Jacobi-Beliman equations of some stochastic control problems are of this type. Our aim is to pass to the limit in (0_?) as ? tends to zero. We assume the coefficients b_i to be centered with respect to the invariant measure of the problem (see the main assumption (3.13)). Then we derive L^∞, H and W, p₀ > 2, estimates for the solutions of (0_?). We also prove the following corrector's result: This allows us to pass to the limit in (0_?) and to obtain This problem is of the same type as the initial one. When (0_?) is the Hamilton-Jacobi-Bellman equation of a stochastic control problem, then (0₀) is also a Hamilton-Jacobi-Bellman equation but one corresponding to a modified set of controls.     

Strengths and Weaknesses of LH Arithmetic

In this paper we provide a new arithmetic characterization of the levels of the og‐time hierarchy (LH). We define arithmetic classes and that correspond to ‐LOGTIME and ‐LOGTIME, respectively. We break and into natural hierarchies of subclasses and . We then define bounded arithmetic deduction systems ′ whose ‐definable functions are precisely B( ‐LOGTIME). We show these theories are quite strong in that (1) LIOpen proves for any fixed m that , (2) TAC, a theory that is slightly stronger than ′ whose (LH)‐definable functions are LH, proves LH is not equal to ‐TIME(s) for any m> 0, where 2^s ∈L, s(n) ∈ ω(log n), and (3) TAC proves LH ≠ for all k and m. We then show that the theory TAC cannot prove the collapse of the polynomial hierarchy. Thus any such proof, if it exists, must be argued in a stronger systems than ours.     

Global solutions in a fully parabolic chemotaxis system with singular sensitivity

The Neumann boundary value problem for the chemotaxis system is considered in a smooth bounded domain Ω??ⁿ, n?2, with initial data and v₀∈W^{1, ∞}(Ω) satisfying u₀?0 and v₀>0 in . It is shown that if then for any such data there exists a global‐in‐time classical solution, generalizing a previous result which asserts the same for n=2 only. Furthermore, it is seen that the range of admissible χ can be enlarged upon relaxing the solution concept. More precisely, global existence of weak solutions is established whenever . Copyright © 2010 John Wiley & Sons, Ltd.     

Asymptotic characterization of standing waves and of the static limit for a class of wave equations of higher order with a variable coefficient and time-independent incitation

We consider the equation (?1)^m?^m (p?^mu) + ?u = ? in ?ⁿ × (0, ∞) for arbitrary positive integers m and n and under the assumptions p ? 1, ? ? C(?ⁿ) and p > 0. Even if the differential operator (?1)^m?^m (p?^mu) has no eigenvalues, the solution u(x,t) may increase as t → ∞ for 2m ≥ n. For this case, we derive necessary and sufficient conditions for the convergence of u(x,t) as t → ∞. Furthermore, we characterize the functions occurring in these conditions as solutions of the homogeneous static equation (?1)^m?^m (p?^mu) = 0, which satisfy appropriate asymptotic conditions at infinity. We also give an asymptotic characterization of the static limit.