On the asymptotic behavior of the solutions of semilinear nonautonomous equations

We consider nonautonomous semilinear evolution equations of the form $$\frac{dx}{dt}= A(t)x+f(t,x) . $$ Here A(t) is a (possibly unbounded) linear operator acting on a real or complex Banach space $\mathbb{X}$ and $f: \mathbb{R}\times\mathbb {X}\to\mathbb{X}$ is a (possibly nonlinear) continuous function. We assume that the linear equation (1) is well-posed (i.e. there exists a continuous linear evolution family {U(t,s)}_(t,s)∈Δ such that for every s∈?₊ and x∈D(A(s)), the function x(t)=U(t,s)x is the uniquely determined solution of Eq. (1) satisfying x(s)=x). Then we can consider the mild solution of the semilinear equation (2) (defined on some interval [s,s+δ),δ>0) as being the solution of the integral equation $$x(t) = U(t, s)x + \int_s^t U(t, \tau)f\bigl(\tau, x(\tau)\bigr) d\tau,\quad t\geq s . $$ Furthermore, if we assume also that the nonlinear function f(t,x) is jointly continuous with respect to t and x and Lipschitz continuous with respect to x (uniformly in t∈?₊, and f(t,0)=0 for all t∈?₊) we can generate a (nonlinear) evolution family {X(t,s)}_(t,s)∈Δ , in the sense that the map $t\mapsto X(t,s)x:[s,\infty)\to\mathbb{X}$ is the unique solution of Eq. (4), for every $x\in\mathbb{X}$ and s∈?₊. Considering the Green’s operator $(\mathbb{G}{f})(t)=\int_{0}^{t} X(t,s)f(s)ds$ we prove that if the following conditions hold

• the map $\mathbb{G}{f}$ lies in $L^{q}(\mathbb{R}_{+},\mathbb{X})$ for all $f\in L^{p}(\mathbb{R}_{+},\mathbb{X})$ , and
• $\mathbb{G}:L^{p}(\mathbb{R}_{+},\mathbb{X})\to L^{q}(\mathbb {R}_{+},\mathbb{X})$ is Lipschitz continuous, i.e. there exists K>0 such that $$\|\mathbb{G} {f}-\mathbb{G} {g}\|_{q} \leq K\|f-g\|_{p} , \quad\mbox{for all}\ f,g\in L^p(\mathbb{R}_+,\mathbb{X}) , $$

then the above mild solution will have an exponential decay.     

Numerical Techniques in Lévy Fluctuation Theory

This paper presents a framework for numerical computations in fluctuation theory for Lévy processes. More specifically, with $\bar X_t:= \sup_{0\le s\le t} X_s$ denoting the running maximum of the Lévy process X _t , the aim is to evaluate ${\mathbb P}(\bar X_t \le x)$ for t,x?>?0. We do so by approximating the Lévy process under consideration by another Lévy process for which the double transform ${\mathbb E} e^{-\alpha \bar X_{\tau(q)}}$ is known, with τ(q) an exponentially distributed random variable with mean 1/q; then we use a fast and highly accurate Laplace inversion technique (of almost machine precision) to obtain the distribution of $\bar X_t$ . A broad range of examples illustrates the attractive features of our approach.     

On multiplicative (generalized)-derivations in prime and semiprime rings

Let R be a ring. A map ${F : R \rightarrow R}$ F : R → R is called a multiplicative (generalized)-derivation if F(xy) = F(x)y + xg(y) is fulfilled for all ${x, y \in R}$ x , y ∈ R where ${g : R \rightarrow R}$ g : R → R is any map (not necessarily derivation). The main objective of the present paper is to study the following situations: (i) ${F(xy) \pm xy \in Z}$ F ( xy ) ± xy ∈ Z , (ii) ${F(xy) \pm yx \in Z}$ F ( xy ) ± yx ∈ Z , (iii) ${F(x)F(y) \pm xy \in Z}$ F ( x ) F ( y ) ± xy ∈ Z and (iv) ${F(x)F(y) \pm yx \in Z}$ F ( x ) F ( y ) ± yx ∈ Z for all x, y in some appropriate subset of R. Moreover, some examples are also given.     

Almost orthogonal operators on the bitorus II

We prove that the operator ${Tf(x,y)=\int^\pi_{-\pi}\int_{|x^{\prime}|<|y^{\prime}|} \frac{e^{iN(x,y) x^{\prime}}}{x^{\prime}}\frac{e^{iN(x,y) y^{\prime}}}{y^{\prime}}f(x-x^{\prime}, y-y^{\prime}) dx^{\prime} dy^{\prime}}$ , with ${x,y \in[0,2\pi]}$ and where the cut off ${|x^{\prime}|<|y^{\prime}|}$ is performed in a smooth and dyadic way, is bounded from L ² to weak- ${L^{2-\epsilon}}$ , any ${\epsilon > 0 }$ , under the basic assumption that the real-valued measurable function N(x, y) is “mainly” a function of y and the additional assumption that N(x, y) is non-decreasing in x, for every y fixed. This is an extension to 2D of C. Fefferman’s proof of a.e. convergence of Fourier series of L ² functions.     

On restricting Cauchy–Pexider functional equations to submanifolds

Sufficient geometric conditions are given which determine when the Cauchy–Pexider functional equation f(x)g(y) = h(x + y) restricted to x, y lying on a hypersurface in ${\mathbb{R}^d}$ has only solutions which extend uniquely to exponential affine functions ${\mathbb{R}^d \to \mathbb{C}}$ (when f, g, h are assumed to be measurable and non-trivial). The Cauchy–Pexider-type functional equations ${\prod_{j=0}^df_j(x_j)=F(\sum_{j=0}^dx_j)}$ for ${x_0, \ldots,x_d}$ lying on a curve and ${f_1(x_1)f_2(x_2)f_3(x_3)=F(x_1+x_2+x_3)}$ for x ₁, x ₂, x ₃ lying on a hypersurface are also considered.     

Positive solutions to the Laplace equation with nonlinear boundary conditions on the half space

We consider positive solutions of $\varDelta u=0$ in $\mathbf{R}_+^n$ , $\partial _{\nu }u=u^q$ on $\partial \mathbf{R}_+^n$ , where $n\ge 3$ and $q>n/(n-2)$ . We investigate the qualitative property of positive $x_n$ -axial symmetric solutions. In particular, we are concerned with the asymptotic expansion and the intersection property of positive $x_n$ -axial symmetric solutions.     

Liouville theorems for stable solutions of biharmonic problem

We prove some Liouville type results for stable solutions to the biharmonic problem $\Delta ^2 u= u^q, \,u>0$ in $\mathbb{R }^n$ where $1 < q < \infty $ . For example, for $n \ge 5$ , we show that there are no stable classical solution in $\mathbb{R }^n$ when $\frac{n+4}{n-4} < q \le \left(\frac{n-8}{n}\right)_+^{-1}$ .     

Central Limit Theorems for Super Ornstein-Uhlenbeck Processes

Suppose that X={X _t :t≥0} is a supercritical super Ornstein-Uhlenbeck process, that is, a superprocess with an Ornstein-Uhlenbeck process on $\mathbb{R}^{d}$ corresponding to $L=\frac{1}{2}\sigma^{2}\Delta-b x\cdot\nabla$ as its underlying spatial motion and with branching mechanism ψ(λ)=?αλ+βλ ²+∫_(0,+∞)(e ^?λx ?1+λx)n(dx), where α=?ψ′(0+)>0, β≥0, and n is a measure on (0,∞) such that ∫_(0,+∞) x ² n(dx)<+∞. Let $\mathbb{P} _{\mu}$ be the law of X with initial measure μ. Then the process W _t =e ^?αt ∥X _t ∥ is a positive $\mathbb{P} _{\mu}$ -martingale. Therefore there is W _∞ such that W _t →W _∞, $\mathbb{P} _{\mu}$ -a.s. as t→∞. In this paper we establish some spatial central limit theorems for X. Let $\mathcal{P}$ denote the function class $$ \mathcal{P}:=\bigl\{f\in C\bigl(\mathbb{R}^d\bigr): \mbox{there exists } k\in\mathbb{N} \mbox{ such that }|f(x)|/\|x\|^k\to 0 \mbox{ as }\|x\|\to\infty \bigr\}. $$ For each $f\in\mathcal{P}$ we define an integer γ(f) in term of the spectral decomposition of f. In the small branching rate case α<2γ(f)b, we prove that there is constant $\sigma_{f}^{2}\in (0,\infty)$ such that, conditioned on no-extinction, $$\begin{aligned} \biggl(e^{-\alpha t}\|X_t\|, ~\frac{\langle f , X_t\rangle}{\sqrt{\|X_t\|}} \biggr) \stackrel{d}{\rightarrow}\bigl(W^*,~G_1(f)\bigr), \quad t\to\infty, \end{aligned}$$ where W ^? has the same distribution as W _∞ conditioned on no-extinction and $G_{1}(f)\sim \mathcal{N}(0,\sigma_{f}^{2})$ . Moreover, W ^? and G ₁(f) are independent. In the critical rate case α=2γ(f)b, we prove that there is constant $\rho_{f}^{2}\in (0,\infty)$ such that, conditioned on no-extinction, $$\begin{aligned} \biggl(e^{-\alpha t}\|X_t\|, ~\frac{\langle f , X_t\rangle}{t^{1/2}\sqrt{\|X_t\|}} \biggr) \stackrel{d}{\rightarrow}\bigl(W^*,~G_2(f)\bigr), \quad t\to\infty, \end{aligned}$$ where W ^? has the same distribution as W _∞ conditioned on no-extinction and $G_{2}(f)\sim \mathcal{N}(0, \rho_{f}^{2})$ . Moreover W ^? and G ₂(f) are independent. We also establish two central limit theorems in the large branching rate case α>2γ(f)b. Our central limit theorems in the small and critical branching rate cases sharpen the corresponding results in the recent preprint of Mi?o? in that our limit normal random variables are non-degenerate. Our central limit theorems in the large branching rate case have no counterparts in the recent preprint of Mi?o?. The main ideas for proving the central limit theorems are inspired by the arguments in K. Athreya’s 3 papers on central limit theorems for continuous time multi-type branching processes published in the late 1960’s and early 1970’s.     

On one sided ideals of a semiprime ring with generalized derivations

Let R be a ring with center Z(R). An additive mapping ${F : R \longrightarrow R}$ is said to be a generalized derivation on R if there exists a derivation ${d : R \longrightarrow R}$ such that F(xy) = F(x)y + xd(y), for all ${x, y \in R}$ (the map d is called the derivation associated with F). Let R be a semiprime ring and U be a nonzero left ideal of R. In the present note we prove that if R admits a generalized derivation F, d is the derivation associated with F such that d(U) ≠ (0) then R contains some nonzero central ideal, if one of the following conditions holds: (1) R is 2-torsion free and ${F(xy) \in Z(R)}$ , for all ${x, y \in U}$ , unless F(U)U = UF(U) = Ud(U) = (0); (2) ${F(xy) \mp yx \in Z(R)}$ , for all ${x,y \in U}$ ; (3) ${F(xy) \mp [x,y] \in Z(R)}$ , for all ${x,y \in U}$ ; (4) F ≠ 0 and F([x,y]) = 0, for all ${x, y \in U}$ , unless Ud(U) = (0); (5) F ≠ 0 and ${F([x, y]) \in Z(R)}$ , for all ${x, y \in U}$ , unless either d(Z(R))U = (0) or Ud(U) = (0)n.     

On the Equality Problem of Conjugate Means

Let ${I\subset\mathbb{R}}$ be a nonvoid open interval and let L : I ²→ I be a fixed strict mean. A function M : I ²→ I is said to be an L-conjugate mean on I if there exist ${p,q\in\,]0,1]}$ and ${\varphi\in CM(I)}$ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q) \varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) : = A _χ(x, y) ${(x,y\in I)}$ is a fixed quasi-arithmetic mean with the fixed generating function ${\chi\in CM(I)}$ . We examine the following question: which L-conjugate means are weighted quasi-arithmetic means with weight ${r\in\, ]0,1[}$ at the same time? This question is a functional equation problem: Characterize the functions ${\varphi,\psi\in CM(I)}$ and the parameters ${p,q\in\,]0,1]}$ , ${r\in\,]0,1[}$ for which the equation $$L_\varphi^{(p,q)}(x,y)=L_\psi^{(r,1-r)}(x,y)$$ holds for all ${x,y\in I}$ .     

Some necessary and sufficient conditions for existence of positive solutions for third order singular super-linear multi-point boundary value problems

We mainly study the existence of positive solutions for the following third order singular super-linear multi-point boundary value problem $$ \left \{ \begin{array}{l} x^{(3)}(t)+ f(t, x(t), x'(t))=0,\quad0 where \(0\leq\alpha_{i}\leq\sum_{i=1}^{m_{1}}\alpha_{i}<1\) , i=1,2,…,m ₁, \(0<\xi_{1}< \xi_{2}< \cdots<\xi_{m_{1}}<1\) , \(0\leq\beta_{j}\leq\sum_{i=1}^{m_{2}}\beta_{i}<1\) , j=1,2,…,m ₂, \(0<\eta_{1}< \eta_{2}< \cdots<\eta_{m_{2}}<1\) . And we obtain some necessary and sufficient conditions for the existence of C ¹[0,1] and C ²[0,1] positive solutions by means of the fixed point theorems on a special cone. Our nonlinearity f(t,x,y) may be singular at t=0 and t=1.     

A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions

Fried and MacRae (Math. Ann. 180, 220?C226 (1969)) proved that for univariate polynomials ${p,q, f, g \in \mathbb{K}[t]}$ ( ${\mathbb{K}}$ a field) with p, q nonconstant, p(x) ? q(y) divides f(x) ? g(y) in ${\mathbb{K}[x,y]}$ if and only if there is ${h \in \mathbb{K}[t]}$ such that f?=?h(p(t)) and g?=?h(q(t)). Schicho (Arch. Math. 65, 239?C243 (1995)) proved this theorem from the viewpoint of category theory, thereby providing several generalizations to multivariate polynomials. In the present note, we give a new proof of one of these generalizations. The theorem by Fried and MacRae yields a way to prove the following fact for nonconstant functions f, g from ${\mathbb{C}}$ to ${\mathbb{C}}$ : if both the composition ${f \circ g}$ and g are polynomial functions, then f has to be a polynomial function as well. We give an algebraic proof of this fact and present a generalization to multivariate polynomials over algebraically closed fields. This provides a way to prove a generalization of a result by Carlitz (Acta Sci. Math. (Szeged) 24, 196?C203 (1963)) that describes those univariate polynomials over finite fields that induce bijective functions on all of their finite extensions.     

Toughness and Matching Extension in {\mathcal{P}_3}-Dominated Graphs

Let G be a connected graph. For ${x,y\in V(G)}$ with d(x, y) = 2, we define ${J(x,y)= \{u \in N(x)\cap N(y)\mid N[u] \subseteq N[x] \,{\cup}\,N[y] \}}$ and ${J'(x,y)= \{u \in N(x) \cap N(y)\,{\mid}\,{\rm if}\ v \in N(u){\setminus}(N[x] \,{\cup}\, N[y])\ {\rm then}\ N[x] \,{\cup}\, N[y]\,{\cup}\,N[u]{\setminus}\{x,y\}\subseteq N[v]\}}$ . A graph G is quasi-claw-free if ${J(x,y) \not= \emptyset}$ for each pair (x, y) of vertices at distance 2 in G. Broersma and Vumar (in Math Meth Oper Res. doi:10.1007/s00186-008-0260-7) introduced ${\mathcal{P}_{3}}$ -dominated graphs defined as ${J(x,y)\,{\cup}\, J'(x,y)\not= \emptyset}$ for each ${x,y \in V(G)}$ with d(x, y) = 2. This class properly contains that of quasi-claw-free graphs, and hence that of claw-free graphs. In this note, we prove that a 2-connected ${\mathcal{P}_3}$ -dominated graph is 1-tough, with two exceptions: K _2,3 and K _1,1,3, and prove that every even connected ${\mathcal{P}_3}$ -dominated graph ${G\ncong K_{1,3}}$ has a perfect matching. Moreover, we show that every even (2p + 1)-connected ${\mathcal{P}_3}$ -dominated graph is p-extendable. This result follows from a stronger result concerning factor-criticality of ${\mathcal{P}_3}$ -dominated graphs.     

Quenched to annealed transition in the parabolic Anderson problem

We study limit behavior for sums of the form $\frac{1}{|\Lambda_{L|}}\sum_{x\in \Lambda_{L}}u(t,x),$ where the field $\Lambda_L=\left\{x\in {\bf{Z^d}}:|x|\le L\right\}$ is composed of solutions of the parabolic Anderson equation $$u(t,x) = 1 + \kappa \mathop{\int}_{0}^{t} \Delta u(s,x){\rm d}s + \mathop{\int}_{0}^{t}u(s,x)\partial B_{x}(s). $$ The index set is a box in Z ^d , namely $\Lambda_{L} = \left\{x\in {\bf Z}^{\bf d} : |x| \leq L\right\}$ and L = L(t) is a nondecreasing function $L : [0,\infty)\rightarrow {\bf R}^{+}. $ We identify two critical parameters $\eta(1) < \eta(2)$ such that for $\gamma > \eta(1)$ and L(t) = e^{γ t} , the sums $\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)$ satisfy a law of large numbers, or put another way, they exhibit annealed behavior. For $\gamma > \eta(2)$ and L(t) = e^{γ t} , one has $\sum_{x\in \Lambda_L}u(t,x)$ when properly normalized and centered satisfies a central limit theorem. For subexponential scales, that is when $\lim_{t \rightarrow \infty} \frac{1}{t}\ln L(t) = 0,$ quenched asymptotics occur. That means $\lim_{t\rightarrow \infty}\frac{1}{t}\ln\left (\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)\right) = \gamma(\kappa),$ where $\gamma(\kappa)$ is the almost sure Lyapunov exponent, i.e. $\lim_{t\rightarrow \infty}\frac{1}{t}\ln u(t,x)= \gamma(\kappa).$ We also examine the behavior of $\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)$ for L = e ^{γ t} with γ in the transition range $(0,\eta(1))$      

p-Harmonic functions in the Heisenberg group: boundary behaviour in domains well-approximated by non-characteristic hyperplanes

In this paper we study, for given $p,~1<p<\infty $ , the boundary behaviour of non-negative $p$ -harmonic functions in the Heisenberg group $\mathbb{H }^n$ , i.e., we consider weak solutions to the non-linear and potentially degenerate partial differential equation $$\begin{aligned} \sum _{i=1}^{2n}X_i(|Xu|^{p-2}\,X_i u)=0 \end{aligned}$$ where the vector fields $X_1,\ldots ,X_{2n}$ form a basis for the space of left-invariant vector fields on $\mathbb{H }^n$ . In particular, we introduce a set of domains $\Omega \subset \mathbb{H }^n$ which we refer to as domains well-approximated by non-characteristic hyperplanes and in $\Omega $ we prove, for $2\le p<\infty $ , the boundary Harnack inequality as well as the Hölder continuity for ratios of positive $p$ -harmonic functions vanishing on a portion of $\partial \Omega $ .     

A monotonicity result for discrete fractional difference operators

In this note we demonstrate that if y(t) ≥ 0, for each t in the domain of ${t \mapsto y(t)}$ , and if, in addition, ${\Delta_0^{\nu}y(t) \geq 0}$ , for each t in the domain of ${t \mapsto \Delta_0^{\nu}y(t)}$ , with 1 < ν < 2, then it holds that y is an increasing function of t. This demonstrates that, in some sense, the positivity of the νth order fractional difference has a strong connection to the monotonicity of y. Furthermore, we provide a dual result in case ${\Delta_0^{\nu}y(t) \leq 0}$ and y is nonpositive on its domain. We conclude the note by mentioning some implications of these results.     

Saddle solutions for bistable symmetric semilinear elliptic equations

This paper concerns the existence and asymptotic characterization of saddle solutions in ${\mathbb {R}^{3}}$ for semilinear elliptic equations of the form $$-\Delta u + W'(u) = 0,\quad (x, y, z) \in {\mathbb {R}^{3}} \qquad\qquad\qquad (0.1)$$ where ${W \in \mathcal{C}^{3}(\mathbb {R})}$ is a double well symmetric potential, i.e. it satisfies W(?s) =  W(s) for ${s \in \mathbb {R},W(s) > 0}$ for ${s \in (-1,1)}$ , ${W(\pm 1) = 0}$ and ${W''(\pm 1) > 0}$ . Denoted with ${\theta_{2}}$ the saddle planar solution of (0.1), we show the existence of a unique solution ${\theta_{3} \in {\mathcal{C}^{2}}(\mathbb {R}^{3})}$ which is odd with respect to each variable, symmetric with respect to the diagonal planes, verifies ${0 < \theta_{3}(x,y,z) < 1}$ for x, y, z >  0 and ${\theta_{3}(x, y, z) \to_{z \to + \infty} \theta_{2}(x, y)}$ uniformly with respect to ${(x, y) \in \mathbb {R}^{2}}$ .     

Existence of semiclassical states for a quasilinear Schrödinger equation with critical exponent in {\mathbb{R}^N}

We consider the following perturbed version of quasilinear Schrödinger equation $$\begin{array}{lll}-\varepsilon^2\Delta u +V(x)u-\varepsilon^2\Delta (u^2)u=h(x,u)u+K(x)|u|^{22^*-2}u\end{array}$$ in ${\mathbb{R}^N}$ , where N ≥ 3, 22* = 4N/(N ? 2), V(x) is a nonnegative potential, and K(x) is a bounded positive function. Using minimax methods, we show that this equation has at least one positive solution provided that ${\varepsilon \leq \mathcal{E}}$ ; for any ${m\in\mathbb{N}}$ , it has m pairs of solutions if ${\varepsilon \leq \mathcal{E}_m}$ , where ${\mathcal{E}}$ and ${\mathcal{E}_m}$ are sufficiently small positive numbers. Moreover, these solutions ${u_\varepsilon \to 0}$ in ${H^1(\mathbb{R}^N)}$ as ${\varepsilon \to 0}$ .     

The equality problem in the class of conjugate means

Let ${I\subset\mathbb{R}}$ be a nonempty open interval and let ${L:I^2\to I}$ be a fixed strict mean. A function ${M:I^2\to I}$ is said to be an L-conjugate mean on I if there exist ${p,q\in{]}0,1]}$ and a strictly monotone and continuous function φ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q)\varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) is a fixed quasi-arithmetic mean. We will solve the equality problem in this class of means.     

Maxima for the Expectation of the Lifetime of a Brownian Motion in the Ball

Let G _B (x, y) be the Green’s function of the unit ball B in ${\mathbb{R}^n, n \ge 3,}$ and ${\Gamma_B (x,y)=\int_BG_B(x, z)G_B(z, y)dz}$ the iterated Green’s function. The function $$E_x^y(\tau_B) = \frac{\Gamma_B(x, y)}{G_B(x, y)}$$ is the expectation of the lifetime of a Brownian motion starting at ${x \in \overline{B}}$ , killed on exiting B and conditioned to converge to and to be stopped at ${y \in \overline{B}}$ . The aim of the paper is to prove that $$\sup_{x \in \partial B,y \in B} E_x^y(\tau_B) = \sup_{x,y \in \partial B} E_x^y(\tau_B) = E_{x_0}^{-x_0}(\tau_B), x_0 \in\partial B$$ and that the maximum value of ${E_x^y(\tau_B)}$ occurs if and only if x, y are diametrically opposite points on the boundary of B.