The Tjon-Wu equation in Banach space settings

The authors investigate the Tjon-Wu (TW) equation: (TW)

$\text{?u}\text{?t}\text{(t, x) + u(t, x) = ∫}{}_{\mathrm{x}}{}^{\mathrm{\infty }}\text{dy}\text{y}\text{∫}{}_0{}^{\mathrm{y}}\text{u(t, y ? z) u(t, z)dz, u(0, x) = u}{}_0\text{(x)}$

, which has been obtained from a classical Boltzmann equation by applying the Abel transform. (TW) is considered as an ordinary differential equation first in the space L²={u:[0,∞)→R|∫_x^∞|u(x)|²e^xdx < + ∞}The authors establish existence and uniqueness of solutions in disks of codimension 2 around 0 and around e^?x. Asymptotic stability of these latter functions is also established. The basic tool is an unusual eigenvalue property of the nonlinear right-hand side of (TW) which leads to a reformulation of (TW) as a differential equation in l². Similar results are established in L¹ working with (TW) directly.     

Superexponential decay of solutions of a semilinear wave equation

Consider a smooth solution of $\text{u}{}_{\mathrm{tt}}\text{? Δu + q(x) ¦ u ¦}{}^{\mathrm{p?1}}\text{u = 0 x ? R}{}^3\text{, q ? 0}$ and is C¹, and 1 < p < 5. Assume that the initial data decay sufficiently rapidly at infinity, $\text{q(x) ? a}\text{exp}\text{(?b ¦ x ¦}{}^{\mathrm{c}}\text{), a, b > 0, c > 1}$, and for simplicity, q_r ? 0. Then the local energy decays faster than exponentially.     

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

Uniform estimates for solutions of nonlinear Klein-Gordon equations

Uniform estimates in $\text{H}{}_0{}^1\text{(Ω)}$ of global solutions to nonlinear Klein-Gordon equations of the form $\text{u}{}_{\mathrm{tt}}\text{? Δu + mu = g(u)}\text{in}\text{Ω, u = 0}\text{in}\text{?Ω}$, where Ω is an open subset of $\text{R}$^N, m > 0, and g satisfies some growth conditions are established.     

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.     

On Lp estimates for the wave equation

New and more elementary proofs are given of two results due to W. Littman: (1) Let $\text{n ? 2, p ?}\text{2n}\text{(n ? 1)}$. The estimate $\text{∫∫ (¦▽u¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{¦}{}^{\mathrm{p}}\text{) dx dt ? C ∫∫ ¦□u¦}{}^{\mathrm{p}}\text{dx dt}$ cannot hold for all u?C₀^∞(Q), Q a cube in $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}\text{× R}$, some constant C. (2) Let n ? 2, p ≠ 2. The estimate $\text{∫ (¦▽(t)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(t)¦}{}^{\mathrm{p}}\text{) dx ? C(t) ∫ (¦▽u(0)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(0)¦}{}^{\mathrm{p}}\text{) dx}$ cannot hold for all C^∞ solutions of the wave equation □u = 0 in $\text{R}{}^{\mathrm{n}}\text{x R}$; all t ?$\text{R}$; some function C: $\text{R}$ → $\text{R}$.     

A comparison of different compactness notions in fuzzy topological spaces

Starting from a defining differential equation $\text{(}\text{?}\text{?t}\text{) W(λ, t, u) = (}\text{λ(u ? t)}\text{p(t)}\text{) W(λ, t, u)}$ of the kernel of an exponential operator $\text{S}{}_{\mathrm{\lambda }}\text{(?, t) = ∫}{}_{\mathrm{?\infty }}{}^{\mathrm{\infty }}\text{W(λ, t, u)?(u) du}$ with normalization ∫_?∞^∞W(λ, t, u) du = 1, we determine S_λ for various p(t) including; for example, p(t) a quadratic polynomial, all the known exponential operators are recovered and some new ones are constructed. It is shown that all the exponential operators are approximation operators. Further approximation properties of these operators are discussed. For example, functions satisfying $\text{∥ S}{}_{\mathrm{\lambda }}\text{(?, t) ? ?(t)∥ = O(λ}{}^{\mathrm{?\alpha }}\text{)}$ are characterized. Several results of C. P. May are also improved.     

Some asymptotic boundary behavior of solutions of non-linear parabolic initial-boundary value problems

For parabolic initial boundary value problems various results such as $\text{lim}{}_{\mathrm{t\; \downarrow \; 0}}\text{{}\text{(}\text{?u}\text{t6x}\text{)(0, t)}\text{(}\text{?u}{}_{\mathrm{\alpha }}\text{?x}\text{)(0, t)}}\text{= 1}$, where u satisfies $\text{?u}\text{?t}\text{= a(u)(}\text{?}{}^2\text{u}\text{?x}{}^2\text{), 0 < x < 1, 0 < t ? T, u(x, 0) = 0, u(0, t) = |}{}_1\text{(t), 0 < t ? T, u(1, t) = |}{}_2\text{(t), 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{satisfies}\text{(}\text{?u}{}_{\mathrm{\alpha }}\text{?t}\text{) = α(}\text{?}{}^2\text{u}{}_{\mathrm{\alpha }}\text{?x}{}^2\text{), 0 < x < 1, 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{(x, 0) = 0, u}{}_{\mathrm{\alpha }}\text{(0, t) = |}{}_1\text{(t), 0 < t ? T, u}{}_{\mathrm{\alpha }}\text{(1, t) = |}{}_2\text{(t), 0 < t ? T,}\text{and}\text{α = a(0)}$, are demonstrated via the maximum principle and potential theoretic estimates.     

Numerical solution of a nonlinear integro-differential equation

Galerkin's method with appropriate discretization in time is considered for approximating the solution of the nonlinear integro-differential equation $\text{u}{}_{\mathrm{t}}\text{(x, t) = ∝}{}_0{}^{\mathrm{t}}\text{a(t ? τ)}\text{?}\text{?x}\text{σ(u}{}_{\mathrm{x}}\text{(x, τ)) dτ + f(x, t)}$, 0 < x < 1, 0 < t < T.An error estimate in a suitable norm will be derived for the difference u ? u^h between the exact solution u and the approximant u^h. It turns out that the rate of convergence of u^h to u as h → 0 is optimal. This result was confirmed by the numerical experiments.     

Uniqueness of solutions of nonlinear Dirichlet problems

In this paper, we consider the uniqueness of radial solutions of the nonlinear Dirichlet problem $\text{Δu + ?(u) = 0}\text{in}\text{Ω}\text{with}\text{u = 0}\text{on}\text{?Ω,}\text{where}\text{Δ = ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{?x}{}_{\mathrm{i}}{}^2\text{,?}$ satisfies some appropriate conditions and Ω is a bounded smooth domain in $\text{R}$ⁿ which possesses radial symmetry. Our uniqueness results apply to, for instance, $\text{?(u) = u}{}^{\mathrm{p}}\text{, p > 1}$, or more generally λu + ∑_{i = 1}^ka_iu^pi, λ ? 0, a_i > 0 and p_i > 1 with appropriate upper bounds, and Ω a ball or an annulus.     

Character formulas and spectra of compact nilmanifolds

The authors give a new method for calculating the spectrum and multiplicities of the irreducible unitary representations appearing in the quasi-regular representation U: N × L²(ΓβN) → L²(ΓβN) on a compact nilmanifold ΓβN. They proceed by decomposing the trace of U into traces of irreducible representations. The basic calculations in the paper deal with lattice subgroups (Λ = log Γ an additive lattice in the Lie algebra $\text{N}$), essentially using the Poisson summation formula. Let Ad′ be the contragredient adjoint action of N on $\text{N}$¹. If ?₀ ? $\text{N}$¹, the multiplicity of π(?₀) in U is zero unless the Ad′(N) orbit of ?₀ meets $\text{Λ}{}^{\mathrm{\perp }}\text{= {h ? N}{}^1\text{: <h, Λ> ?}\text{Z}\text{}}$. If ?₀ ? Λ^⊥, then the multiplicity is a sum over representatives of certain Ad′(Γ)-orbits in,

$\text{m(π(?}{}_0\text{),U) =}\text{∑}\text{Ad′(N)?}{}_0\text{∩Λ}{}^{\mathrm{\perp }}\text{Ad′(Γ)}\text{k(?)}$

.The constants $\text{k(?)}$ are given both algebraic and geometric interpretations that lead to simple and effective calculations. Similar formulas hold if Γ is not a lattice subgroup.     

Convergence of the Kato approximants for evolution equations involving functional perturbations

The existence of a unique strong solution of the nonlinear abstract functional differential equation $\text{u′(t) + A(t)u(t) = F(t,u}{}_{\mathrm{t}}\text{), u}{}_0\text{= φεC}{}^1\text{(¦?r,0¦,X),tε¦0, T¦}$, (E) is established. X is a Banach space with uniformly convex dual space and, for $\text{t? ¦0, T¦, A(t)}$ is m-accretive and satisfies a time dependence condition suitable for applications to partial differential equations. The function F satisfies a Lipschitz condition. The novelty of the paper is that the solution u(t) of (E) is shown to be the uniform limit (as n → ∞) of the sequence u_n(t), where the functions u_n(t) are continuously differentiate solutions of approximating equations involving the Yosida approximants. Thus, a straightforward approximation scheme is now available for such equations, in parallel with the approach involving the use of nonlinear evolution operator theory.     

On asymptotic solutions of the renewal equation

Consider the renewal equation in the form (¹) $\text{u(t) = g(t) + ∝}{}_{\mathrm{o}}{}^{\mathrm{t}}\text{u(t ? τ) ?(τ) dτ}$, where $\text{?(t)}$ is a probability density on [0, ∞) and lim_{t → ∞}g(t) = g₀. Asymptotic solutions of (¹) are given in the case when f(t) has no expectation, i.e., $\text{∝}{}_0{}^{\mathrm{\infty }}\text{t?(t)dt = ∞}$. These results complement the classical theorem of Feller under the assumption that f(t) possesses finite expectation.     

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.     

On the nonexistence of global solutions to a nonlinear Euler-Poisson-Darboux equation

In this paper, we show that the initial boundary value problem for the (singular) nonlinear EPD (Euler-Poisson-Darboux) equation

does not possess global solutions for arbitrary choices of $\text{u(x, 0). (x ? Ω ? R}{}^{\mathrm{n}}\text{, Ω}\text{bounded}\text{, Δ}{}_{\mathrm{n}}\text{= n}\text{dimensional Laplacian}$) when 0 < k ? 1 for a wide class of nonlinearities $\text{T}$, which includes all the even powers of u and the functions u^{2n + 1}, n = 1, 2,…. The solutions are assumed to vanish on the “walls” of the spacetime cylinder and satisfy $\text{?u}\text{?t(x, 0)}\text{= 0, x ? Ω}$. The result is independent of the space dimension.     

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.     

On an estimate for Bloch and Doob norm and covering problem in Doob's class

For any fixed 0 < π ? 2π, let D(π) be the family of all holomorphic functions in the unit disk Δ which satisfy (i)f(0) = 0 and (ii) $\text{lim inf}{}_{\mathrm{z\; \to \; \pi ¦f(z)¦\; ?\; 1}}$, for all π lying on some arc A_f ? ?Δ with arclength $\text{¦A}{}_{\mathrm{f}}\text{¦ ? π}$. We show that for each 0 < ε < 1, there is a π₀ > 0 such that for any f?D(π) with π < π₀, the Bloch and Doob norm respectively satisfy

$\text{6f6}{}_{\mathrm{B}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|}{}^2\text{) > 2(1 ? ε)}\text{log}\text{1+}\text{cos}\text{(}\text{p}\text{2}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

$\text{6f6}{}_{\mathrm{D}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|) > (1 ? ε)}\text{log}\text{1}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

These two estimates do not hold with ε = 0.