A theory for optimal regularization in the finite dimensional case

Consider the matrix problem $\text{Ax = y + ε =}\text{y}\text{?}$ in the case where A is known precisely, the problem is ill conditioned, and ε is a random noise vector. Compute regularized “ridge” estimates,$\text{x}\text{?}{}_{\mathrm{\lambda }}\text{= (A}{}^1\text{A + λI)}{}^{-1}\text{A}{}^1\text{y}\text{?}$,where ¹ denotes matrix transpose. Of great concern is the determination of the value of λ for which x?_λ “best” approximates $\text{x}{}_{\mathrm{<mtext>0</mtext>}}\text{= A}{}^{\mathrm{+}}\text{y}$. Let $\text{Q = 6}\text{x}\text{?}{}_{\mathrm{\lambda }}\text{? x}{}_{\mathrm{<mtext>0</mtext>}}\text{6}{}^2$,and define λ₀ to be the value of λ for which Q is a minimum. We look for λ₀ among solutions of dQ/dλ = 0. Though Q is not computable (since ε is unknown), we can use this approach to study the behavior of λ₀ as a function of y and ε. Theorems involving “noise to signal ratios” determine when λ₀ exists and define the cases λ₀ > 0 and λ₀ = ∞. Estimates for λ₀ and the minimum square error Q₀ = Q(λ₀) are derived.     

The existence of traveling wave front solutions of a model of the Belousov-Zhabotinskii chemical reaction

The boundary value problem $\text{?u}\text{?t′}\text{= u(1 ? u ? rv) +}\text{?}{}^2\text{u}\text{?x′}{}^2$$\text{?v}\text{?t′}\text{= ? buv +}\text{?}{}^2\text{y}\text{?x′}{}^2$ where u(? ∞, t′) = v(∞, t′) = 0 andv(? ∞, t′) = u(∞, t′) = 1 for each t′ > 0 has been proposed by Murray as a model for the Belousov-Zhabotinskii chemical reaction. Here u and v are proportional to the concentrations of bromous acid and bromide ion, respectively. We prove that there is a range of values for b and r over which the boundary value problem has traveling wave front solutions.     

Compositions of singular integral operators

The composition of two Calderón-Zygmund singular integral operators is given explicitly in terms of the kernels of the operators. For φ?L¹(Rⁿ) and ε = 0 or 1 and ∝ φ = 0 if ε = 0, let Ker(φ) be the unique function on R^{n + 1} homogeneous of degree ?n ? 1 of parity ε that equals φ on the hypersurface x₀ = 1. Let Sing(φ, ε) denote the singular integral operator , which exists under suitable growth conditions on ? and φ. Then Sing(φ, ε₁) Sing(ψ, ε₂)f = ?2π²(∝ φ)(∝ ψ)f + Sing(A, ε₁, + ε₂)f, where

(with notation $\text{¦t¦}{}_0{}^{\mathrm{a}}\text{= ¦t¦}{}^{\mathrm{a}}\text{and}\text{¦t¦}{}_1{}^{\mathrm{a}}\text{= ¦t¦}{}^{\mathrm{a}}\text{sgn}\text{t}$). This result is used to show that the mapping ψ → A is a classical pseudo-differential operator of order zero if φ is smooth, with top-order symbol

$\text{ω}{}_0\text{(x,?)=?πiθ(?)∫θ(x?y)}\text{sgn}\text{y·?dy}\text{if}\text{?}{}_1\text{=1}$

,

$\text{=?2θ(?)∫θ(x?y)}\text{log}\text{|y·?|dy}\text{if}\text{?}{}_1\text{=0}$

where θ(ξ) is a cut-off function. These results are generalized to singular integrals with mixed homogeneity.     

Coding theory in white Gaussian channel with feedback

The message m = {m(t)} is a Gaussian process that is to be transmitted through the white Gaussian channel with feedback: $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{F(s, Y}{}_0{}^{\mathrm{s}}\text{, m)ds + W(t)}$. Under the average power constraint, $\text{E[F}{}^2\text{(s, Y}{}_0{}^{\mathrm{s}}\text{, m)] ≤ P}{}_0$, we construct causally the optimal coding, in the sense that the mutual information I_t(m, Y) between the message m and the channel output Y (up to t) is maximized. The optimal coding is presented by $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{A(s)[m(s) ?}\text{m}\text{?}\text{(s)] ds + W(t)}$, where $\text{m}\text{?}\text{(s) = E[m(s) ¦ Y(u), 0 ≤ u ≤ s]}$ and A(s) is a positive function such that $\text{A}{}^2\text{(s) E |m(s) ?}\text{m}\text{?}\text{(s)|}{}^2\text{= P}{}_0$.     

An abstract nonlinear Volterra integrodifferential equation

We study the nonlinear Volterra equation $\text{u′(t) + Bu(t) + ∫}{}_0{}^{\mathrm{t}}\text{a(t ? s) Au(s) ds ? F(t) (0 < t < ∞) (′ =}\text{d}\text{dt}\text{), u(0) = u}{}_0$, (¹) as well as the corresponding problem with infinite delay $\text{u′(t) + Bu(t) + ∫}{}_{\mathrm{?\infty }}{}^{\mathrm{t}}\text{a(t ? s) Au(s) ds ? ?(t) (0 < t < ∞), u(t) = h(t) (?∞ < t ? 0)}$. (⁷) Under various assumptions on the nonlinear operators A, B and on the given functions a, F, f, h existence theorems are obtained for (¹) and (⁷, followed by results concerning boundedness and asymptotic behaviour of solutions on (0 ? < ∞); two applications of the theory to problems of nonlinear heat flow with “infinite memory” are also discussed.     

A regularity result for singular nonlinear elliptic systems in inverse-power weighted Sobolev spaces

The compactness method to weighted spaces is extended to prove the following theorem:Let H_2,s¹(B₁) be the weighted Sobolev space on the unit ball in Rⁿ with norm

$\text{6ν6}{}^1{}_{\mathrm{2,s}}\text{=}\text{∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|ν|}{}^2\text{dx + ∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|Dν|}{}^2\text{dx.}$

Let n ? 2 ? s < n. Let u? [H_2,s¹(B₁) ∩ L^∞(B₁)]^N be a solution of the nonlinear elliptic system

$\text{∫}{}_{\mathrm{B1}}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{i,j=1}\text{n}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{(x,u) D}{}^{\mathrm{i}}\text{u}{}_{\mathrm{h}}\text{D}{}^{\mathrm{j\psi }}{}_{\mathrm{K}}\text{dx=0}$

, $\text{∨}\text{ψ}\text{?}\text{¦C}{}_0{}^1\text{(B}{}_1\text{)¦}{}^{\mathrm{N}}\text{,}\text{where}\text{¦A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}\text{¦ ? L, A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}$ are uniformly continuous functions of their arguments and satisfy:

$\text{|η|}{}^2\text{=}\text{∑}\text{i=1}\text{n}\text{,}\text{∑}\text{j=1}\text{N}\text{|η}{}^{\mathrm{i}}{}_{\mathrm{j}}\text{|}{}^2\text{?}\text{∑}\text{i,j=1}\text{n}\text{,}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{h}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{k}}\text{,}\text{?η?R}{}^{\mathrm{Nn}}$

. Then there exists an R₁, 0 < R₁ < 1, and an α, 0 < α < 1, along with a set $\text{Ω ? B}{}_1$ such that (1) $\text{H}{}_{\mathrm{n\; ?\; 2}}\text{(Ω) = 0}$, (2) Ω does not contain the origin; Ω does not contain B_R1, (3) $\text{B}{}_1\text{? Ω}$ is open, (4) u is $\text{Lip}{}_{\mathrm{\alpha }}\text{(B}{}_1\text{? Ω)}$; u is Lip_αB_R1.     

The existence,uniqueness, and instability of spherically symmetric solutions of a system of reaction—Diffusion equations

The system $\text{?x}\text{?t}\text{= Δx + F(x,y),}\text{?y}\text{?t}\text{= G(x,y)}$ is investigated, where x and y are scalar functions of time (t ? 0), and n space variables $\text{(ξ}{}_1\text{,…, ξ}{}_{\mathrm{n}}\text{), Δx ≡ ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{x}\text{?ξ}{}_{\mathrm{i}}{}^2$, and F and G are nonlinear functions. Under certain hypotheses on F and G it is proved that there exists a unique spherically symmetric solution $\text{(x(r),y(r)),}\text{where}\text{r = (ξ}{}_1{}^2\text{+ … + ξ}{}_{\mathrm{n}}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, which is bounded for r ? 0 and satisfies x(0) >x₀, y(0) > y₀, x′(0) = 0, y′(0) = 0, and x′ < 0, y′ > 0, ?r > 0. Thus, (x(r), y(r)) represents a time independent equilibrium solution of the system. Further, the linearization of the system restricted to spherically symmetric solutions, around (x(r), y(r)), has a unique positive eigenvalue. This is in contrast to the case n = 1 (i.e., one space dimension) in which zero is an eigenvalue. The uniqueness of the positive eigenvalue is used in the proof that the spherically symmetric solution described is unique.     

Abstract Cauchy problems that involve a product of two Euler-Poisson-Darboux operators

Let X be a Banach space, let B be the generator of a continuous group in X, and let A = B². Assume that D(A^r) is dense in X for r an arbitrarily large positive integer and that a and b are non-negative reals. Solution representations are developed for the abstract differential equation

$\text{(D}{}^2{}_{\mathrm{t}}\text{+}\text{b}\text{t}\text{D}{}_{\mathrm{t}}\text{? A) · (D}{}^2{}_{\mathrm{t}}\text{+}\text{a}\text{t}\text{D}{}_{\mathrm{t}}\text{? A) u(t) = 0, t > 0}$

corresponding to initial conditions of the form: (i) u(0+) = φ, u^(j)(0+) = 0, j = 1, 2, 3 and (ii) u²(0+) = φ, u^j(0+) = 0, j = 0, 1, 3 (with φ∈D(A^r)) for all choices of a and b.     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

Series inversion of some convolution transforms

We study degeneration for ? → + 0 of the two-point boundary value problems

$\text{τ?}{}^{\mathrm{\pm }}\text{u := ?((au′)′ + bu′ + cu) ± xu′ ? κu = h, u(±1) = A ± B}$

, and convergence of the operators T_?⁺ and T_?^? on $\text{L}$²(?1, 1) connected with them, T_?^±u := τ_?^±u for all

$\text{u?D(T}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{, D(T}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{) := {u ? L}{}^2\text{(?1, 1) ∣ u″ ? L}{}^2\text{(?1, 1) \&; u(?1) = u(1) = O}, T}{}_0{}^{\mathrm{+}}\text{u: = xu′}$

for all

$\text{u?D(T}{}_{\mathrm{O}}{}^{\mathrm{+}}\text{), D(T}{}_{\mathrm{O}}{}^{\mathrm{+}}\text{) := {u ? L}{}^2\text{(?1, 1) ∣ xu′ ? L}{}^2\text{(?1, 1) \&; u(?1) = u(1) = O}}$

. Here ? is a small positive parameter, λ a complex “spectral” parameter; a, b and c are real $\text{b}$^∞-functions, a(x) ? γ > 0 for all x? [?1, 1] and h is a sufficiently smooth complex function. We prove that the limits of the eigenvalues of T_?⁺ and of T_?^? are the negative and nonpositive integers respectively by comparison of the general case to the special case in which a  1 and b  c  0 and in which we can compute the limits exactly. We show that (T_?⁺ ? λ)^?1 converges for ? → +0 strongly to (T₀⁺ ? λ)^?1 if $\text{R e λ > ?}\text{1}\text{2}$. In an analogous way, we define the operator T_?⁺, n (n ? $\text{N}$ in the Sobolev space H₀^?n(? 1, 1) as a restriction of τ_?⁺ and prove strong convergence of (T⁺_?,n ? λ)^?1 for ? → +0 in this space of distributions if $\text{R e λ > ?n ?}\text{1}\text{2}$. With aid of the maximum principle we infer from this that, if h?$\text{C}$¹, the solution of τ_?⁺u ? λu = h, u(±1) = A ± B converges for ? → +0 uniformly on [?1, ? ?] ∪ [?, 1] to the solution of xu′ ? λu = h, u(±1) = A ± B for each p > 0 and for each λ ? $\text{C}$ if ? ?$\text{N}$.Finally we prove by duality that the solution of τ_?^?u ? λu = h converges to a definite solution of the reduced equation uniformly on each compact subset of (?1, 0) ∪ (0, 1) if h is sufficiently smooth and if 1 ? ?$\text{N}$.     

A Feynman-Kac gauge for solvability of the Schrödinger equation

Let {X_t, t ≥ 0} be Brownian motion in $\text{R}$^d (d ≥ 1). Let D be a bounded domain in $\text{R}$^d with C² boundary, ?D, and let q be a continuous (if d = 1), Hölder continuous (if d ≥ 2) function in D?. If the Feynman-Kac “gauge” E_x{exp(∝₀^τ_Dq(X_t)dt)1_A(X_τD)}, where τ_D is the first exit time from D, is finite for some non-empty open set A on ?D and some x?D, then for any $\text{? ? C}{}^0\text{(?D}$), is the unique solution in $\text{C}{}^2\text{(D) ∩ C}{}^0\text{(}\text{D}\text{?}\text{)}$ of the Schrödinger boundary value problem $\text{(}\text{1}\text{2}\text{Δ}\text{+ q)φ = 0}\text{in}\text{D, φ = ?}\text{on}\text{?D}$.     

Brownian motion,Lp properties of Schrödinger operators and the localization of binding

We use Brownian motion ideas to study Schrödinger operators $\text{H =}\text{built?1}\text{2}\text{Δ + V}\text{on}\text{L}{}^{\mathrm{p}}\text{(R}{}^{\mathrm{v}}\text{)}$. In particular: (a) We prove that lim_t→∞t^?1In ∥ e^?tH ∥_p,p is p-independent for a very large class of V's where ∥ A ∥_p,p = norm of A as an operator from L^pto L^p. (b) For v ? 3 and $\text{V ? L}{}^{\mathrm{<mtext>v</mtext><mtext>2\; ?\; ?</mtext>}}\text{∩ L}{}^{\mathrm{<mtext>v</mtext><mtext>2\; +\; ?</mtext>}}$, we show that sup ∥ e^?tH ∥_∞,∞ < ∞ if and only if H has no negative eigenvalues or zero energy resonances. (c) We relate the “localization of binding” recently noted by Sigal to Brownian hitting probabilities.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

Limit behavior of solutions of singular difference equations

Necessary and sufficient conditions for a solution {z_k} of the difference equation $\text{A}\text{z}{}_{\mathrm{k+1}}\text{+}\text{B}\text{z}{}_{\mathrm{k}}\text{= b, k ?0}$, with $\text{A}$ singular, to be a convergent sequence of vectors are given under a variety of assumptions. Theoretical results on iterative schemes for solving Ax = b by singular splittings, $\text{A =}\text{A}\text{+}\text{B}$, are given first. In particular, the case when $\text{A = A}{}^1$ and $\text{A}$ is positive semi-definite is considered. Then applications to discrete control problems and backwards population projection are discussed.     

Point processes of exits by bivariate Gaussian processes and extremal theory for the χ2-process and its concomitants

Let ζ(t), η(t) be continuously differentiable Gaussian processes with mean zero, unit variance, and common covariance function r(t), and such that ζ(t) and η(t) are independent for all t, and consider the movements of a particle with time-varying coordinates (ζ(t), η(t)). The time and location of the exists of the particle across a circle with radius u defines a point process in R³ with its points located on the cylinder {(t, u cos θ, u sin θ); t ≥ 0, 0 ≤ θ < 2π}. It is shown that if r(t) log t → 0 as t → ∞, the time and space-normalized point process of exits converges in distribution to a Poisson process on the unit cylinder. As a consequence one obtains the asymptotic distribution of the maximum of a χ²-process, χ²(t) = ζ²(t) + η²(t), P{sup_0≤t≤Tχ²(t) ≤ u²} → e^?τ if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u ×}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞. Furthermore, it is shown that the points in R³ generated by the local ?-maxima of χ²(t) converges to a Poisson process in R³ with intensity measure (in cylindrical polar coordinates) (2πr²)^?1dtdθdr. As a consequence one obtains the asymptotic extremal distribution for any function g(ζ(t), η(t)) which is “almost quadratic” in the sense that $\text{g}{}^1\text{(r}\text{cos}\text{θ, r}\text{sin}\text{θ) =}\text{1}\text{2}\text{(r}{}^2\text{? g(r}\text{cos}\text{θ, r}\text{sin}\text{θ))}$ has a limit $\text{g}{}^1\text{(θ)}$ as r → ∞. Then if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞.     

The resolvent of a singularly perturbed elliptic operator

Let A and B be uniformly elliptic operators of orders 2m and 2n, respectively, m > n. We consider the Dirichlet problems for the equations (?^{2(m ? n)}A + B + λ²ⁿI)u_? = f and (B + λ²ⁿI)u = f in a bounded domain Ω in R^k with a smooth boundary ?Ω. The estimate is derived. This result extends the results of [7, 9, 10, 12, 14, 15, 18]by giving estimates up to the boundary, improving the rate of convergence in ?, using lower norms, and considering operators of higher order with variable coefficients. An application to a parabolic boundary value problem is given.     

Barriers for uniformly elliptic equations and the exterior cone condition

We consider the mixed boundary value problem $\text{Au = f}\text{in}\text{Ω, B}{}_0\text{u = g}{}_0\text{in}\text{Γ}{}^{\mathrm{?}}\text{, B}{}_1\text{u = g}{}_1\text{in}\text{Γ}{}^{\mathrm{+}}$, where Ω is a bounded open subset of $\text{R}$ⁿ whose boundary Γ is divided into disjoint open subsets Γ⁺ and Γ^? by an (n ? 2)-dimensional manifold ω in Γ. We assume A is a properly elliptic second order partial differential operator on $\text{Ω}$ and B_j, for j = 0, 1, is a normal jth order boundary operator satisfying the complementing condition with respect to A on $\text{Γ}{}^{\mathrm{+}}$. The coefficients of the operators and Γ⁺, Γ^? and ω are all assumed arbitrarily smooth. As announced in [Bull. Amer. Math. Soc.83 (1977), 391–393] we obtain necessary and sufficient conditions in terms of the coefficients of the operators for the mixed boundary value problem to be well posed in Sobolev spaces. In fact, we construct an open subset $\text{T}$ of the reals such that, if $\text{D}{}^{\mathrm{s}}\text{= {u ? H}{}^{\mathrm{s}}\text{(Ω): Au = 0}}$ then for $\text{s ? =}\text{1}\text{2}\text{(}\text{mod}\text{1), (B}{}_0\text{,B}{}_1\text{): D}{}^{\mathrm{s}}\text{→ H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>1</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{?}}\text{) × H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>3</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{+}}\text{)}$ is a Fredholm operator if and only if s ∈$\text{T}$ . Moreover, $\text{T}$ = ?_xew$\text{T}$_x, where the sets $\text{T}$_x are determined algebraically by the coefficients of the operators at x. If n = 2, $\text{T}$_x is the set of all reals not congruent (modulo 1) to some exceptional value; if n = 3, $\text{T}$_x is either an open interval of length 1 or is empty; and finally, if n ? 4, $\text{T}$_x is an open interval of length 1.     

The asymptotic behavior of solutions of a system of reaction-diffusion equations which models the Belousov-Zhabotinskii chemical reaction

We investigate the boundary value problem $\text{?u}\text{?t}\text{=}\text{?}{}^2\text{u}\text{?x}{}^2\text{+ u(1 ? u ? rv)}$, $\text{?v}\text{?t}\text{=}\text{?}{}^2\text{v}\text{?x}{}^2\text{? buv}$, u(?∞, t) = v(∞, t) = 0, u(∞, t) = 1, and v(?∞, t) = γ ?t > 0 where r > 0, b > 0, γ > 0 and x?R. This system has been proposed by Murray as a model for the propagation of wave fronts of chemical activity in the Belousov-Zhabotinskii chemical reaction. Here u and v are proportional to the concentrations of bromous acid and bromide ion, respectively. We determine the global stability of the constant solution (u, v) ≡ (1,0). Furthermore we introduce a moving coordinate and for each fixed x?R we investigate the asymptotic behavior of u(x + ct, t) and v(x + ct, t) as t → ∞ for both large and small values of the wave speed c ? 0.