Asymptotic stability for a free boundary problem arising in a tumor model

We consider a tumor model in which all cells are proliferating at a rate μ and their density is proportional to the nutrient concentration. The model consists of a coupled system of an elliptic equation and a parabolic equation, with the tumor boundary as a free boundary. It is known that for an appropriate choice of parameters, there exists a unique spherically symmetric stationary solution with radius RS which is independent of μ. It was recently proved that there is a function μ_∗(RS) such that the spherical stationary solution is linearly stable if μ<μ_∗(RS) and linearly unstable if μ>μ_∗(RS). In this paper we prove that the spherical stationary solution is nonlinearly stable (or, asymptotically stable) if μ<μ_∗(RS).     

Heteroclinic solutions for a class of the second order Hamiltonian systems

We shall be concerned with the existence of heteroclinic orbits for the second order Hamiltonian system , where q∈Rn and V∈C¹(R×Rn,R), V?0. We will assume that V and a certain subset M⊂Rn satisfy the following conditions. M is a set of isolated points and #M?2. For every sufficiently small ε>0 there exists δ>0 such that for all (t,z)∈R×Rn, if d(z,M)?ε then −V(t,z)?δ. The integrals , z∈M, are equi-bounded and −V(t,z)→∞, as |t|→∞, uniformly on compact subsets of Rn?M. Our result states that each point in M is joined to another point in M by a solution of our system.     

New oscillation criteria for linear matrix Hamiltonian systems

Some new oscillation criteria are established for the matrix linear Hamiltonian system X′=A(t)X+B(t)Y, Y′=C(t)X−A∗(t)Y under the hypothesis: A(t), B(t)=B∗(t)>0, and C(t)=C∗(t) are n×n real continuous matrix functions on the interval [t₀,∞), (−∞<t₀). These results are sharper than some previous results even for self-adjoint second order matrix differential systems.     

Spectral radius and infinity norm of matrices

Let Mn(R) be the linear space of all n×n matrices over the real field R. For any A∈Mn(R), let ρ(A) and ‖A_‖∞ denote the spectral radius and the infinity norm of A, respectively. By introducing a class of transformations φa on Mn(R), we show that, for any A∈Mn(R), ρ(A)<‖A_‖∞ if . If A∈Mn(R) is nonnegative, we prove that ρ(A)<‖A_‖∞ if and only if , and ρ(A)=‖A_‖∞ if and only if the transformation φ‖A_‖∞ preserves the spectral radius and the infinity norm of A. As an application, we investigate a class of linear discrete dynamic systems in the form of X(k+1)=AX(k). The asymptotical stability of the zero solution of the system is established by a simple algebraic method.     

A note on ball-covering property of Banach spaces

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere SX of X; and X is said to have the ball-covering property (BCP) provided it admits a ball-covering by countably many balls. In this note we give a natural example showing that the ball-covering property of a Banach space is not inherited by its subspaces; and we present a sharp quantitative version of the recent Fonf and Zanco renorming result saying that if the dual X^∗ of X is w^∗ separable, then for every ε>0 there exist a (1+ε)-equivalent norm on X, and an R>0 such that in this new norm SX admits a ball-covering by countably many balls of radius R. Namely, we show that R=R(ε) can be taken arbitrarily close to (1+ε)/ε, and that for X=?₁[0,1] the corresponding R cannot be equal to 1/ε. This gives the sharp order of magnitude for R(ε) as ε→0.     

Approximation by light maps and parametric Lelek maps

The class of metrizable spaces M with the following approximation property is introduced and investigated: M∈AP(n,0) if for every ε>0 and a map g:In→M there exists a 0-dimensional map g^′:In→M which is ε-homotopic to g. It is shown that this class has very nice properties. For example, if Mi∈AP(ni,0), i=1,2, then M₁×M₂∈AP(n₁+n₂,0). Moreover, M∈AP(n,0) if and only if each point of M has a local base of neighborhoods U with U∈AP(n,0). Using the properties of AP(n,0)-spaces, we generalize some results of Levin and Kato-Matsuhashi concerning the existence of residual sets of n-dimensional Lelek maps.     

Lie algebras generated by bounded linear operators on Hilbert spaces

It is proved that the operator Lie algebra ε(T,T^∗) generated by a bounded linear operator T on Hilbert space H is finite-dimensional if and only if T=N+Q, N is a normal operator, [N,Q]=0, and dimA(Q,Q^∗)<+∞, where ε(T,T^∗) denotes the smallest Lie algebra containing T,T^∗, and A(Q,Q^∗) denotes the associative subalgebra of B(H) generated by Q,Q^∗. Moreover, we also give a sufficient and necessary condition for operators to generate finite-dimensional semi-simple Lie algebras. Finally, we prove that if ε(T,T^∗) is an ad-compact E-solvable Lie algebra, then T is a normal operator.     

Oscillation criteria related to integral averaging technique for linear matrix Hamiltonian systems

By employing a generalized Riccati technique and an integral averaging technique, new oscillation criteria are established for the linear matrix Hamiltonian system U′=A(x)U+B(x)V, V′=C(x)U−A∗(x)V under the assumption that all A(x), B(x)=B∗(x)>0, and C(x)=C∗(x) are n×n matrices of real-valued continuous functions on the interval I=[x₀,∞) (−∞<x₀). These criteria extend, improve, and unify a number of existing results and also handle cases not covered by known criteria. Several interesting examples that illustrate the importance of our results are included.     

Ergodic Theory and Maximal Abelian Subalgebras of the Hyperfinite Factor

Let T be a free ergodic measure-preserving action of an abelian group G on (X,μ). The crossed product algebra R_T=L^∞(X,μ)? G has two distinguished masas, the image C_T of L^∞(X,μ) and the algebra S_T generated by the image of G. We conjecture that conjugacy of the singular masas S_T⁽¹⁾ and S_T⁽²⁾ for weakly mixing actions T⁽¹⁾ and T⁽²⁾ of different groups implies that the groups are isomorphic and the actions are conjugate with respect to this isomorphism. Our main result supporting this conjecture is that the conclusion is true under the additional assumption that the isomorphism γ : R_T⁽¹⁾→R_T⁽²⁾ such that γ(S_T⁽¹⁾)=S_T⁽²⁾ has the property that the Cartan subalgebras γ(C_T⁽¹⁾) and C_T⁽²⁾ of R_T⁽²⁾ are inner conjugate. We discuss a stronger conjecture about the structure of the automorphism group Aut(R_T,S_T), and a weaker one about entropy as a conjugacy invariant. We study also the Pukanszky and some related invariants of S_T, and show that they have a simple interpretation in terms of the spectral theory of the action T. It follows that essentially all values of the Pukanszky invariant are realized by the masas S_T, and there exist non-conjugate singular masas with the same Pukanszky invariant.     

Multiple positive solutions of nonhomogeneous elliptic systems with strongly indefinite structure and critical Sobolev exponents

In this paper, we study the existence of multiple positive solutions to some Hamiltonian elliptic systems −Δv=λu+u^p+εf(x), −Δu=μv+v^q+δg(x) in Ω;u,v>0 in Ω; u=v=0 on ∂Ω, where Ω is a bounded domain in R^N (N?3); 0?f, g∈L∞(Ω); 1/(p+1)+1/(q+1)=(N−2)/N, p,q>1; λ,μ>0. Using sub- and supersolution method and based on an adaptation of the dual variational approach, we prove the existence of at least two nontrivial positive solutions for all λ,μ∈(0,λ₁) and ε,δ∈(0,δ₀), where λ₁ is the first eigenvalue of the Laplace operator −Δ with zero Dirichlet boundary conditions and δ₀ is a positive number.     

Reynolds operator on functors

Let be an affine R-monoid scheme. We prove that the category of dual functors (over the category of commutative R-algebras) of G-modules is equivalent to the category of dual functors of A^∗-modules. We prove that G is invariant exact if and only if A^∗=R×B^∗ as R-algebras and the first projection A^∗→R is the unit of A. If M is a dual functor of G-modules and w_G?(1,0)∈R×B^∗=A^∗, we prove that M^G=w_G⋅M and M=w_G⋅M⊕(1−w_G)⋅M; hence, the Reynolds operator can be defined on M.     

Classification of type I and type II behaviors for a supercritical nonlinear heat equation

We study blow-up of radially symmetric solutions of the nonlinear heat equation ut=Δu+|u|^p−1u either on RN or on a finite ball under the Dirichlet boundary conditions. We assume and that the initial data is bounded, possibly sign-changing. Our first goal is to establish various characterizations of type I and type II blow-ups. Among many other things we show that the following conditions are equivalent: (a) the blow-up is of type II; (b) the rescaled solution w(y,s) converges to either φ^∗(y) or −φ^∗(y) as s→∞, where φ^∗ denotes the singular stationary solution; (c) u(x,T)/φ^∗(x) tends to ±1 as x→0, where T is the blow-up time.Our second goal is to study continuation beyond blow-up. Among other things we show that if a blow-up is of type I and incomplete, then its limit L¹ continuation becomes smooth immediately after blow-up, and that type I blow-up implies “type I regularization,” that is, (t−T)^1/(p−1)‖u(⋅,t)L^∞_‖ is bounded as t↘T. We also give various criteria for complete and incomplete blow-ups.     

Universal self-similarity of porous media equation with absorption: the critical exponent case

In this paper we study the large time behavior of non-negative solutions to the Cauchy problem of u_t=Δu^m−u^q in R^N×(0,∞), where m>1 and q=q_c≡m+2/N is a critical exponent. For non-negative initial value u(x,0)=u₀(x)∈L¹(R^N), we show that the solution converges, if u₀(x)(1+|x|)^k is bounded for some k>N, to a unique fundamental solution of u_t=Δu^m, independent of the initial value, with additional logarithmic anomalous decay exponent in time as t→∞.     

Annihilator-preserving maps, multipliers, and derivations

For a commutative subspace lattice L in a von Neumann algebra N and a bounded linear map f:N∩algL→B(H), we show that if Af(B)C=0 for all A,B,C∈N∩algL satisfying AB=BC=0, then f is a generalized derivation. For a unital C^∗-algebra A, a unital Banach A-bimodule M, and a bounded linear map f:A→M, we prove that if f(A)B=0 for all A,B∈A with AB=0, then f is a left multiplier; as a consequence, every bounded local derivation from a C^∗-algebra to a Banach A-bimodule is a derivation. We also show that every local derivation on a semisimple free semigroupoid algebra is a derivation and every local multiplier on a free semigroupoid algebra is a multiplier.     

A generalization of the Strassen converse

This note is devoted to a generalization of the Strassen converse. Let gn:R^∞→[0,∞], n?1 be a sequence of measurable functions such that, for every n?1, and for all x,y∈R^∞, where 0<C<∞ is a constant which is independent of n. Let be a sequence of i.i.d. random variables. Assume that there exist r?1 and a function ?:[0,∞)→[0,∞) with limt→∞?(t)=∞, depending only on the sequence such that lim supn→∞gn(X₁,X₂,…)=?(Er|X|) a.s. whenever Er|X|<∞ and EX=0. We prove the converse result, namely that lim supn→∞gn(X₁,X₂,…)<∞ a.s. implies Er|X|<∞ (and EX=0 if, in addition, lim supn→∞gn(c,c,…)=∞ for all c≠0). Some applications are provided to illustrate this result.     

Some properties of rapidly varying sequences

We investigate the class R∞,s of rapidly varying sequences from different points of view. It is shown: (1) a sequence (cn)_n∈N of positive real numbers is rapidly varying if and only if the corresponding function x→c[x], x?1, is rapidly varying; (2) the class R∞,s satisfies some selection properties, as well as game-theoretical and Ramsey-theoretical conditions.     

Convergence and the length spectrum

The author defines and analyzes the 1/k length spectra, L1/k(M), whose union, over all k∈N is the classical length spectrum. These new length spectra are shown to converge in the sense that limk→∞K1/k(Mi)⊂L1/k(M)∪{0} as Mi→M in the Gromov-Hausdorff sense. Energy methods are introduced to estimate the shortest element of L1/k, as well as a concept called the minimizing index which may be used to estimate the length of the shortest closed geodesic of a simply connected manifold in any dimension. A number of gap theorems are proven, including one for manifolds, Mn, with Ricci?(n−1) and volume close to Vol(Sn). Many results in this paper hold on compact length spaces in addition to Riemannian manifolds.     

Identity theorem for bounded p-adic meromorphic functions

Let K be a complete ultrametric algebraically closed field. We investigate several properties of sequences (an)_n∈N in a disk d(0,R⁻) with regards to bounded analytic functions in that disk: sequences of uniqueness (when f(an)=0∀n∈N implies f=0), identity sequences (when limn→+∞f(an)=0 implies f=0) and analytic boundaries (when lim supn→∞|f(an)|=‖f‖). Particularly, we show that identity sequences and analytic boundary sequences are two equivalent properties. For certain sequences, sequences of uniqueness and identity sequences are two equivalent properties. A connection with Blaschke sequences is made. Most of the properties shown on analytic functions have continuation to meromorphic functions.     

Multiresolution expansion, approximation order and quasiasymptotic behavior of tempered distributions

Multiresolution analysis of tempered distributions is studied through multiresolution analysis on the corresponding test function spaces Sr(R), r∈N₀. For a function h, which is smooth enough and of appropriate decay, it is shown that the derivatives of its projections to the corresponding spaces Vj, j∈Z, in a regular multiresolution analysis of L²(R), denoted by hj, multiplied by a polynomial weight converge in sup norm, i.e., hj→h in Sr(R) as j→∞. Analogous result for tempered distributions is obtained by duality arguments. The analysis of the approximation order of the projection operator within the framework of the theory of shift-invariant spaces gives a further refinement of the results. The order of approximation is measured with respect to the corresponding space of test functions. As an application, we give Abelian and Tauberian type theorems concerning the quasiasymptotic behavior of a tempered distribution at infinity.     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms: