On a nonlinear wave equation with boundary damping

This paper is concerned with the existence and decay of solutions of the mixed problem for the nonlinear wave equation with boundary conditions Here, Ω is an open bounded set of with boundary Γ of class C²; Γ is constituted of two disjoint closed parts Γ₀ and Γ₁ both with positive measure; the functions μ(t), f(s), g(s) satisfy the conditions μ(t) ≥ μ₀ > 0, f(s) ≥ 0, g(s) ≥ 0 for t ≥ 0, s ≥ 0 and h(x,s) is a real function where x ∈ Γ₁, ν(x) is the unit outward normal vector at x ∈ Γ₁ and α, β are non‐negative real constants. Assuming that h(x,s) is strongly monotone in s for each x ∈ Γ₁, it is proved the global existence of solutions for the previous mixed problem. For that, it is used in the Galerkin method with a special basis, the compactness approach, the Strauss approximation for real functions and the trace theorem for nonsmooth functions. The exponential decay of the energy is derived by two methods: by using a Lyapunov functional and by Nakao's method. Copyright © 2013 John Wiley & Sons, Ltd.     

Multiparameter acoustic imaging in the born approximation

Samples of biological tissue are modelled as inhomogeneous fluids with density ?(X) and sound speed c(x) at point x. The samples are contained in the sphere |x| ? δ and it is assumed that ?(x) ? ?₀ = 1 and c(x) ? c₀ = 1 for |x| ? δ, and |γ_n(x)| ? 1 and |?γ?(x)| ? 1 where γ?(x) = ?(x) ? 1 and γ_n(x) = c^?2(x) ? 1. The samples are insonified by plane pulses s(x · θ₀ – t) where x = |θ₀| = 1 and the scattered pulse is shown to have the form |x|^?1 e_s(|x| – t, θ, θ₀) in the far field, where x = |x| θ. The response e_s(τ, θ, θ₀) is measurable. The goal of the work is to construct the sample parameters γn and γ? from e_s(τ, θ, θ₀) for suitable choiches of s, θ and θ₀. In the limiting case of constant density: γ?(x)_? 0 it is shown that Where δ represents the Dirac δ and S² is the unit sphere |θ| = 1. Analogous formulas, based on two sets of measurements, are derived for the case of variable c(x) and ?(x).     

The girth of a thin distance-regular graph

Let Γ be a distance-regular graph of diameterd≥3. For each vertexx of Γ, letT(x) denote the Terwilliger algebra for Γ with respect tox. An irreducibleT(x)-moduleW is said to bethin if dimE _i ^* (x)W≤1 for 0≤i≤d, whereE _i ^* (x) is theith dual idempotent for Γ with respect tox. The graph Γ isthin if for each vertexx of Γ, every irreducibleT(x)-module is thin. Aregular generalized quadrangle is a bipartite distance-regular graph with girth 8 and diameter 4. Our main results are as follows: Theorem. Let Γ=(X,R) be a distance-regular graph with diameter d≥3 and valency k≥3. Then the following are equivalent:

1. Γis a regular generalized quadrangle.
2. Γis thin and c ₃=1.

Corollary. Let Γ=(X,R) be a thin distance-regular graph with diameter d≥3 and valency k≥3. Then Γ has girth 3, 4, 6, or 8. Then girth of Γ is 8 exactly when Γ is a regular generalized quadrangle.     

The elastic echo problem

We consider a homogeneous isotropic unbounded linear elastic medium Ω??³, having a free boundary Γ. A forcing f (t, x ) creates an incident displacement field u ₀(t, x ). This primary field is scattered by Γ giving rise to a secondary field or echo, for which we determine the asymptotic behaviour in time. These results are obtained via the use of an tension of the time‐dependent scattering theory of C. Wilcox. Copyright © 2003 John Wiley & Sons, Ltd.     

The scattering of sound waves by an obstacle

In this paper we study the scattering of acoustic waves by an obstacle ??. We establish the following relation between the scattering kernel S(s, θ, ω) and the support function h_?? of the obstacle: The right endpoint of the support of S(s, θ, ω) as function of s is h_??(θ-ω); h_?? is defined by For Dirichlet boundary condition the result is proved in full generality, for Neumann condition only for backscattering, i.e., for θ = -ω. Since the convex hull of ?? can be recovered from knowledge of h_??, the above result may be useful in reconstructing ?? from scattering data.     

Generalized Hopf Formulas for the Nonautonomous Hamilton–Jacobi Equation

Generalized Hopf formulas are provided for minimax (viscosity) solutions of Hamilton–Jacobi equations of the form V _t + H(t, D _x V) = 0 and V _t + H(t, V, D _x V) = 0 with the boundary condition V(T, x) = (x), where is a convex function. The bounds within which these formulas apply are elucidated.     

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.     

Identification of a source factor in a control problem for the heat equation with a boundary memory term

We consider a material with thermal memory occupying a bounded region Ω with boundary Γ. The evolution of the temperature u(t,x) is described by an integrodifferential parabolic equation containing a heat source of the form f(t)z₀(x). We formulate an initial and boundary value control problem based on a feedback device located on Γ and prescribed by means of a quite general memory operator. Assuming both u and the source factor f are unknown, we study the corresponding inverse and control problem on account of an additional information. We prove a result of existence and uniqueness of the solution (u,f). Copyright © 2015 John Wiley & Sons, Ltd.     

On uniqueness of Neumann-Tricomi problem in R2

We consider the equation of mixed type (k(y) ? 0 whenever y ? 0) in a region G which is bounded by the curves: A piecewise smooth curve Γ lying in the half-plane y > 0 which intersects the line y = 0 at the points A(-1, 0) and B(0, 0). For y < 0 by a piecewise smooth curve Γ through A which meets the characteristic of (1) issued from B at the point P and the curve Γ which consists of the portion PB of the characteristic through B. We obtain sufficient conditions for the uniqueness of the solution of the problem L[u] = f, d_nu: = k(y)u_xdy – u_ydx|γ0 = = Ψ(s) for a “general” function k(y), when r(x, y) is not necessarily zero and Γ₁ is of a more general form then in the papers of V. P. Egorov [6], [7].     

Regarding Some Problems of the Kutta — Joukovskii Condition in Lifting Surface Theory

We are interested in finding the velocity distribution at the wings of an aeroplane. Within the scope of a three — dimensional linear theory we analyse a model which is formulated as a mixed screen boundary value problem for the Helmholtz equation (Δ +k²)Φ = 0 in ?³\s where Φ denotes the perturbation velocity potential, induced by the presence of the wings and s :=L UW with the projection L of the wings onto the (x,y)- plane and the wake W. Not all Cauchy data are given explicitly on L, respectively W. These missing Cauchy data depend on the wing circulation Γ· Γ has to be fixed by the Kutta–Joukovskii condition: Λ Φ should be finite near the trailing edge x_t of L. To fulfil this condition in a way that all appearing terms can be defined mathematically exactly and belong to spaces which are physically meaningful, we propose to fix Γ by the condition of vanishing stress intensity factors of Φ near x_t up to a certain order such that ΛΦ|_xt ?W₂^?(x_t)? L₂(x_t),?>0. In the two–dimensional case, and if L is the left half–plane in ?², we have an explicit formula to calculate Γ and we can control the regularity of Γ and Φ.     

On an Embedding Theorem

We prove a theorem giving conditions under which a discrete-time dynamical system as (x _t ,y _t ) = (f;(x _{t – 1}, y _{t – 1}), g(x _{t – 1}, y _{t – 1})) can be reconstructed from a scalar valued time series ( _t ) _t , which depends only on x _t where _t = (x _t ). This theorem allows us to use the delay-coordinate method in this setting.     

Semilinear wave equation with time dependent potential

We consider the following semilinear wave equation: (1) for (t,x) ∈ ?_t × ?. We prove that if the potential V(t,x) is a measurable function that satisfies the following decay assumption: ∣V(t,x)∣?C(1+t)(1+∣x∣) for a.e. (t,x) ∈ ?_t × ? where C, σ₀>0 are real constants, then for any real number λ that satisfies there exists a real number ρ(f,g,λ)>0 such that the equation has a global solution provided that 0<ρ?ρ(f,g,λ). Copyright © 2004 John Wiley & Sons, Ltd.     

Peano's theorem in an infinite-dimensional Hilbert space is false even in a weakened formulation

We formulate a continuous function FR×HH, where H is a separable Hilbert space such that the Cauchy problem. x(t)=F(t, x(t)), x(t₀)=x₀ has no solution in any neighborhood of the point t₀, no matter what t₀ R and x₀ H are considered.Translated from Matematicheskie Zametki, Vol. 15, No. 3, pp. 467–477, March, 1974.In conclusion, the author thanks O. G. Smolyanov and V. I. Averbukh for their constant interest and for a number of useful remarks.     

Polar boundary sets for superdiffusions and removable lateral singularities for nonlinear parabolic PDEs

Suppose L is a second-order elliptic differential operator in ℝ^d and D is a bounded, smooth domain in ℝ^d. Let 1 < α ≤ 2 and let Γ be a closed subset of ∂D. It is known [13] that the following three properties are equivalent: (α) Γ is ∂-polar; that is, Γ is not hit by the range of the corresponding (L, α)-superdiffusion in D; (β) the Poisson capacity of Γ is equal to 0; that is, the integral is equal to 0 or ∞ for every measure ν, where ρ(x) is the distance to the boundary and k(x, y) is the corresponding Poisson kernel; and (γ) Γ is a removable boundary singularity for the equation Lu = u^α in D; that is, if u ≥ 0 and Lu = u^α in D and if u = 0 on ∂D \ Γ, then u = 0. We investigate a similar problem for a parabolic operator in a smooth cylinder 𝒬 = ℝ₊ × D. Let Γ be a compact set on the lateral boundary of 𝒬. We show that the following three properties are equivalent: (a) Γ is 𝒢-polar; that is, Γ is not hit by the graph of the corresponding (L, α)-superdiffusion in 𝒬; (b) the Poisson capacity of Γ is equal to 0; that is, the integral is equal to 0 or ∞ for every measure ν, where k(r, x; t, y) is the corresponding (parabolic) Poisson kernel; and (c) Γ is a removable lateral singularity for the equation u˙ + Lu = u^α in 𝒬; that is, if u ≥ 0 and u˙ + Lu = u^α in 𝒬 and if u = 0 on ∂𝒬 \ Γ and on {∞} × D, then u = 0. © 1998 John Wiley & Sons, Inc.     

Existence,uniqueness, stochastic persistence and global stability of positive solutions of the logistic equation with random perturbation

This paper discusses a randomized logistic equation (1) with initial value x(0)=x₀>0, where B(t) is a standard one‐dimension Brownian motion, and θ∈(0, 0.5). We show that the positive solution of the stochastic differential equation does not explode at any finite time under certain conditions. In addition, we study the existence, uniqueness, boundedness, stochastic persistence and global stability of the positive solution. Copyright © 2006 John Wiley & Sons, Ltd.     

Determining the image of some singular function

The problem is as follows: How to describe graphically the set T(1)(Γ) where $T(1)(z) = \int_\Gamma {\tfrac{{d\mu (\zeta )}} {{\zeta - z}}} $ and Γ = Γ_θ is the Von Koch curve, θ ∈ (0, π/4)? In this paper we give some expression permitting us to compute T _θ(1)(z) for each z ∈ Γ to within an arbitrary ? > 0. Also we provide an estimate for the error.     

Constant‐sign solutions for singular systems of Fredholm integral equations

We consider the system of Fredholm integral equations where T>0 is fixed and the nonlinearities H_i(t, u₁, u₂, …, u_n) can be singular at t=0 and u_j=0 where j∈{1, 2, …, n}. Criteria are offered for the existence of constant‐sign solutions, i.e. θ_iu_i(t)≥0 for t∈[0, 1] and 1≤i≤n, where θ_i∈{1,?1} is fixed. We also include an example to illustrate the usefulness of the results obtained. Copyright © 2010 John Wiley & Sons, Ltd.     

Non-local Dirichlet forms generated by pseudodifferential operators on compact abelian groups

Let G_i, 1 ≤ i ≤ n, be compact abelian groups and let Γ_i , 1 ≤ i ≤ n, be countable dual groups. We consider G = G₁ ⊕ G₂ ⊕ … ⊕ G_n and Γ = Γ₁ ⊕ Γ₂ ⊕ … ⊕ Γ_n . For 1 ≤ j ≤ n, let a_j be a negative definite function on Γ_j and a (γ) = . For φ ∈ S (G), the set of all generalized trigonometrical polynomials on G, we define , where (γ) = a_j (γ_j) (γ), 1 ≤ j ≤ n. Then is a Dirichlet form with the domain on L² (G). (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

An automatic integration procedure for infinite range integrals involving oscillatory kernels

Let the real functionsK(x) andL(x) be such thatM(x)=K(x)+iL(x)=e^ix g(x), whereg(x) is infinitely differentiable for all largex and is non-oscillatory at infinity. We develop an efficient automatic quadrature procedure for numerically computing the integrals _a K(t)f(t) and _a L(t)f(t)dt, where the functionf(t) is smooth and nonoscillatory at infinity. One such example for which we also provide numerical results is that for whichK(x)=J (x) andL(x)=Y (x), whereJ (x) andY (x) are the Bessel functions of order . The procedure involves the use of an automatic scheme for Fourier integrals and the modified W-transformation which is used for computing oscillatory infinite integrals.