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

Large time behaviour of solutions of the porous media equation with absorption

We study the large time behaviour of nonnegative solutions of the Cauchy problemu _t=Δu ^m −u ^p,u(x, 0)=φ(x). Specifically we study the influence of the rate of decay ofφ(x) for large |x|, and the competition between the diffusion and the absorption term.     

On the 2<Emphasis Type="Italic">m</Emphasis>-th power mean of Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions with the weight of trigonometric sums

Let p be a prime, χ denote the Dirichlet character modulo p, f (x) = a ₀ + a ₁ x + ... + a _k x ^k is a k-degree polynomial with integral coefficients such that (p, a ₀, a ₁, ..., a _k ) = 1, for any integer m, we study the asymptotic property of

On a class of nonlinear problems involving a p(x)-Laplace type operator

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a smooth bounded domain in ℝ ^N . Our attention is focused on two cases when , where m(x) = max{p ₁(x), p ₂(x)} for any x ∈ or m(x) < q(x) < N · m(x)/(N − m(x)) for any x ∈ . In the former case we show the existence of infinitely many weak solutions for any λ > 0. In the latter we prove that if λ is large enough then there exists a nontrivial weak solution. Our approach relies on the variable exponent theory of generalized Lebesgue-Sobolev spaces, combined with a ℤ₂-symmetric version for even functionals of the Mountain Pass Theorem and some adequate variational methods.     

Existence of singular solutions of a degenerate equation in R 2

Let a₁,a₂, . . . ,a_m ∈ ℝ², 2≤f ∈ C([0,∞)), g_i ∈ C([0,∞)) be such that 0≤g_i(t)≤2 on [0,∞) ∀i=1, . . . ,m. For any p>1, we prove the existence and uniqueness of solutions of the equation u_t=Δ(logu), u>0, in satisfying and logu(x,t)/log|x|→−f(t) as |x|→∞, logu(x,t)/log|x−a_i|→−g_i(t) as |x−a_i|→0, uniformly on every compact subset of (0,T) for any i=1, . . . ,m under a mild assumption on u₀ where We also obtain similar existence and uniqueness of solutions of the above equation in bounded smooth convex domains of ℝ² with prescribed singularities at a finite number of points in the domain.     

Small solutions of the congruencea1x12 +a2x22 +a3x32 +a4x42 ≡c(modp)

For any integersa ₁,a ₂,a ₃,a ₄ andc witha ₁ a ₂ a ₃ a ₄≢0(modp), this paper shows that there exists a solutionX=(x ₁,x ₂,x ₃,x ₄) ∈Z ⁴ of the congruencea ₁ x ₁ ² +a ₂ x ₂ ² +a ₃ x ₃ ² +a ₄ x ₄ ² ≡c(modp) such that

On the approximate behavior of the posterior distribution for an extreme multivariate observation

The behavior of the posterior for a large observation is considered. Two basic situations are discussed; location vectors and natural parameters.Let X = (X₁, X₂, …, X_n) be an observation from a multivariate exponential distribution with that natural parameter Θ = (Θ₁, Θ₂, …, Θ_n). Let θ_x^* be the posterior mode. Sufficient conditions are presented for the distribution of Θ − θ_x^* given X = x to converge to a multivariate normal with mean vector 0 as |x| tends to infinity. These same conditions imply that E(Θ | X = x) − θ_x^* converges to the zero vector as |x| tends to infinity.The posterior for an observation X = (X₁, X₂, …, X_n is considered for a location vector Θ = (Θ₁, Θ₂, …, Θ_n) as x gets large along a path, γ, in Rⁿ. Sufficient conditions are given for the distribution of γ(t) − Θ given X = γ(t) to converge in law as t → ∞. Slightly stronger conditions ensure that γ(t) − E(Θ | X = γ(t)) converges to the mean of the limiting distribution.These basic results about the posterior mean are extended to cover other estimators. Loss functions which are convex functions of absolute error are considered. Let δ be a Bayes estimator for a loss function of this type. Generally, if the distribution of Θ − E(Θ | X = γ(t)) given X = γ(t) converges in law to a symmetric distribution as t → ∞, it is shown that δ(γ(t)) − E(Θ | X = γ(t)) → 0 as t → ∞.     

Stability of a conditional Cauchy equation

Let \mathbb R{\mathbb R} be the set of real numbers, f : \mathbb R ? \mathbb R{f : \mathbb {R} \to \mathbb {R}},  e 3 0{\epsilon \ge 0} and d > 0. We denote by {(x ₁, y ₁), (x ₂, y ₂), (x ₃, y ₃), . . .} a countable dense subset of \mathbb R²{\mathbb {R}^2} and let

The density of rational points on non-singular hypersurfaces

LetF(x) =F[x₁,…,x_n]∈ℤ[x₁,…,x_n] be a non-singular form of degree d≥2, and letN(F, X)=#{xεℤ ⁿ ;F(x)=0, |x|⩽X}, where . It was shown by Fujiwara [4] [Upper bounds for the number of lattice points on hypersurfaces,Number theory and combinatorics, Japan, 1984, (World Scientific Publishing Co., Singapore, 1985)] thatN(F, X)≪X ^n−2+2/n for any fixed formF. It is shown here that the exponent may be reduced ton - 2 + 2/(n + 1), forn ≥ 4, and ton - 3 + 15/(n + 5) forn ≥ 8 andd ≥ 3. It is conjectured that the exponentn - 2 + ε is admissable as soon asn ≥ 3. Thus the conjecture is established forn ≥ 10. The proof uses Deligne’s bounds for exponential sums and for the number of points on hypersurfaces over finite fields. However a composite modulus is used so that one can apply the ‘q-analogue’ of van der Corput’s AB process. Dedicated to the memory of Professor K G Ramanathan     

Existence of solutions with turning points for nonlinear singularly perturbed boundary-value problems

We consider the following singularly perturbed boundary-value problem:

Asymptotic property of approximation to x αsgn x by Newman Type Operators

Approximation to the function ｜x｜ plays an important role in approximation theory. This paper studies the approximation to the function xαsgn x, which equals ｜x｜ if α = 1. We construct a Newman Type Operator rn（x） and prove max ｜x｜≤1｜xαsgn x-rn（x）｜～Cn1/4e-π1/2（1/2）αn.     

Continuous spectrum for a class of nonhomogeneous differential operators

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in with smooth boundary, λ is a positive real number, and the continuous functions p ₁, p ₂, and q satisfy 1 < p ₂(x) < q(x) < p ₁(x) < N and for any . The main result of this paper establishes the existence of two positive constants λ₀ and λ₁ with λ₀ ≤ λ₁ such that any is an eigenvalue, while any is not an eigenvalue of the above problem.     

On the number of positive solutions of elliptic systems

The paper deals with the existence, multiplicity and nonexistence of positive radial solutions for the elliptic system div(|?|^{p –2}?) + λk_i (|x |) fⁱ (u₁, …,u_n) = 0, p > 1, R₁ < |x | < R₂, u_i (x) = 0, on |x | = R₁ and R₂, i = 1, …, n, x ∈ ?^N , where k_i and fⁱ, i = 1, …, n, are continuous and nonnegative functions. Let u = (u₁, …, u_n), φ (t) = |t |^{p –2}t, fⁱ₀ = lim_{‖ u ‖→0}((fⁱ ( u ))/(φ (‖ u ‖))), fⁱ_∞= lim_{‖ u ‖→∞}((fⁱ ( u ))/(φ (‖ u ‖))), i = 1, …, n, f = (f¹, …, fⁿ), f ₀ = ∑ⁿ _{i =1} fⁱ ₀ and f _∞ = ∑ⁿ _{i =1} fⁱ _∞. We prove that either f ₀ = 0 and f _∞ = ∞ (superlinear), or f ₀ = ∞and f _∞ = 0 (sublinear), guarantee existence for all λ > 0. In addition, if fⁱ ( u ) > 0 for ‖ u ‖ > 0, i = 1, …, n, then either f ₀ = f _∞ = 0, or f ₀ = f _∞ = ∞, guarantee multiplicity for sufficiently large, or small λ, respectively. On the other hand, either f₀ and f_∞ > 0, or f₀ and f_∞ < ∞ imply nonexistence for sufficiently large, or small λ, respectively. Furthermore, all the results are valid for Dirichlet/Neumann boundary conditions. We shall use fixed point theorems in a cone. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Induced matching extendable graphs

We say that a simple graph G is induced matching extendable, shortly IM-extendable, if every induced matching of G is included in a perfect matching of G. The main results of this paper are as follows: (1) For every connected IM-extendable graph G with |V(G)| ≥ 4, the girth g(G) ≤ 4. (2) If G is a connected IM-extendable graph, then |E(G)| ≥ ${3\over 2}|V(G)| - 2$; the equality holds if and only if G ≅ T × K₂, where T is a tree. (3) The only 3-regular connected IM-extendable graphs are C_n × K₂, for n ≥ 3, and C_2n(1, n), for n ≥ 2, where C_2n(1, n) is the graph with 2n vertices x₀, x₁, …, x_2n−1, such that x_ix_j is an edge of C_2n(1, n) if either |i − j| ≡ 1 (mod 2n) or |i − j| ≡ n (mod 2n). © 1998 John Wiley & Sons, Inc. J. Graph Theory 28: 203–213, 1998     

On critical Fujita exponents for heat equations with nonlinear flux conditions on the boundary

We consider nonnegative solutions of initial-boundary value problems for parabolic equationsu _t=u_xx, u_t=(u^m)_xxand (m>1) forx>0,t>0 with nonlinear boundary conditions−u _x=u^p,−(u ^m)_x=u^pand forx=0,t>0, wherep>0. The initial function is assumed to be bounded, smooth and to have, in the latter two cases, compact support. We prove that for each problem there exist positive critical valuesp ₀,p_c(withp ₀<p_c)such that forp∃(0,p ₀],all solutions are global while forp∃(p₀,p_c] any solutionu≢0 blows up in a finite time and forp>p _csmall data solutions exist globally in time while large data solutions are nonglobal. We havep _c=2,p _c=m+1 andp _c=2m for each problem, whilep ₀=1,p ₀=1/2(m+1) andp ₀=2m/(m+1) respectively. This work was done during visits of the first author to Iowa State University and the Institute for Mathematics and its Applications at the University of Minnesota. The second author was supported in part by NSF Grant DMS-9102210.     

On a class of systems of rational second-order difference equations solvable in closed form

We show that the following nonlinear system of difference equations where parameters a,b,c,d and initial values x₋₁,x₀,y₋₁,y₀ are real numbers, is solvable in closed form, considerably generalizing some recent results. To do this, we use the method of transformation along with several tricks, transforming the system to some known solvable difference equations, by use of which we obtain some closed-form formulas for general solution to the system. The following five cases are considered separately: (1) c=0; (2) d=0; (3) a=0; (4) b=0; and (5) abcd≠0.     

On nonexistence of Baras-Goldstein type without positivity assumptions for singular linear and nonlinear parabolic equations

The celebrated result by Baras and Goldstein (1984) established that the heat equation with the inverse square potential in the unit ball B ₁ ⊂ ℝ ^N , N ≥ 3, u _t = Δ _u + in B ₁ × (0,T), u|∂B ₁ = 0, in the supercritical range c > c _Hardy = does not have a solution for any nontrivial L ¹ initial data u ₀(x) ≥ 0 in B ₁ (or for a positive measure u ₀). More precisely, it was proved that a regular approximation of a possible solution by a sequence {u _n (x,t)} of classical solutions corresponding to truncated bounded potentials given by V(x) = ↦ V _n (x) = min{, n} (n ≥ 1) diverges; i.e., as n → ∞, u _n (x,t) → + ∞ in B ₁ × (0, T). Similar features of “nonexistence via approximation” for semilinear heat PDEs were inherent in related results by Brezis-Friedman (1983) and Baras-Cohen (1987). The main goal of this paper is to justify that this nonexistence result has wider nature and remains true without the positivity assumption on data u ₀(x) that are assumed to be regular and positive at x = 0. Moreover, nonexistence as the impossibility of regular approximations of solutions is true for a wide class of singular nonlinear parabolic problems as well as for higher order PDEs including, e.g., u _t = , and , N > 4. Dedicated to Professor S.I. Pohozaev on the occasion of his 70th birthday     

On the product of the distances of a point from the vertices of a polytope

Letx ₁,...,x _m be points in the solid unit sphere ofE _n and letx belong to the convex hull ofx ₁,...,x _m. Then . This implies that all such products are bounded by (2/m) ^m (m −1) ^m−1. Bounds are also given for other normed linear spaces. As an application a bound is obtained for |p(z ₀)| where andp′(z ₀)=0.     

Extinction of solutions of semilinear higher order parabolic equations with degenerate absorption potential

We study the first vanishing time for solutions of the Cauchy–Dirichlet problem for the 2m-order (m ≥ 1) semilinear parabolic equation ${u_t + Lu + a(x) |u|^{q-1}u=0,\,0 < q < 1}We study the first vanishing time for solutions of the Cauchy–Dirichlet problem for the 2m-order (m ≥ 1) semilinear parabolic equation u_t + Lu + a(x) |u|^q-1u=0, 0 < q < 1{u_t + Lu + a(x) |u|^{q-1}u=0,\,0 < q < 1} with a(x) ≥ 0 bounded in the bounded domain W ì \mathbb R^N{\Omega \subset \mathbb R^N}. We prove that if N 1 2m{N \ne 2m} and ò₀¹ s^-1 (meas\nolimits {x ? W: |a(x)| ￡ s })^q ds < ￥, q = min(\frac2mN,1){\int_0^1 s^{-1} (\mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \})^\theta {\rm d}s < \infty,\ \theta=\min\left(\frac{2m}N,1\right)}, then the solution u vanishes in a finite time. When N = 2m, the same property holds if ${\int_0^1 s^{-1} \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) \ln \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) {\rm d}s > - \infty}${\int_0^1 s^{-1} \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) \ln \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) {\rm d}s > - \infty}.     

Multiple solutions of a quasilinear elliptic problem involving nonlinear boundary condition on exterior domain

In this paper, we study the multiplicity of non‐negative solutions for the quasilinear p‐Laplacian equation with the nonlinear boundary condition (1) where Δ_p denotes the p‐Laplacian operator, defined by △ _pu = div( | ? u | ^{p ? 2} ? u),1 < p < N, Ω is a smooth exterior domain in . is the outward normal derivative, . The parameters p,q,r are either or . The weight functions a(x),h(x),g(x) satisfy some suitable conditions. Using the decomposition of the Nehari manifold and the variational methods, we prove that problem (1) has at least two positive solutions provided 0 < | λ | < λ₁ for some λ₁. Copyright © 2012 John Wiley & Sons, Ltd.