An approximation method for strictly pseudocontractive mappings

Let K$K$ be a closed convex subset of a q$q$-uniformly smooth separable Banach space, T:K→K$T:K\to K$ a strictly pseudocontractive mapping, and f:K→K$f:K\to K$ an L$L$-Lispschitzian strongly pseudocontractive mapping. For any t∈(0,1)$t\in (0,1)$, let _xt$x_t$ be the unique fixed point of tf+(1-t)T$\mathit{tf}+(1-t)T$. We prove that if T$T$ has a fixed point, then {_xt}$\{x_t\}$ converges to a fixed point of T$T$ as t$t$ approaches to 0.     

Frobenius groups and retract rationality

Let k$k$ be any field, G$G$ be a finite group acting on the rational function field k(_xg:g∈G)$k(x_g:g\in G)$ by h⋅_xg=_xhg$h\cdot x_g=x_{hg}$ for any h,g∈G$h,g\in G$. Define k(G)=k(_xg:g∈G)^G$k\left(G\right)=k{(x_g:g\in G)}^G$. Noether’s problem asks whether k(G)$k\left(G\right)$ is rational (= purely transcendental) over k$k$. A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether’s problem. We prove that, if G$G$ is a Frobenius group with abelian Frobenius kernel, then k(G)$k\left(G\right)$ is retract k$k$-rational for any field k$k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field k$k$, for any Frobenius group G$G$ with Frobenius complement isomorphic to S_L2(_F5)$S{L}_2\left({\mathbb{F}}_5\right)$, there is a Galois extension field K$K$ over k$k$ whose Galois group is isomorphic to G$G$, i.e. the inverse Galois problem is valid for the pair (G,k)$(G,k)$. The same result is true for any non-solvable Frobenius group if k(_ζ8)$k\left({\zeta }_8\right)$ is a cyclic extension of k$k$.     

The regularity of generalized solutions for the n-dimensional quasi-linear parabolic diffraction problems

In this paper, we study the regularity of generalized solutions u(x,t)$u(x,t)$ for the n  -dimensional quasi-linear parabolic diffraction problem. By using various estimates and Steklov average methods, we prove that (1): for almost all t$t$ the first derivatives _ux(x,t)$u_x(x,t)$ are Hölder continuous with respect to x$x$ up to the inner boundary, on which the coefficients of the equation are allowed to be discontinuous; and (2): the first derivative _ut(x,t)$u_t(x,t)$ is Hölder continuous with respect to (x,t)$(x,t)$ across the inner boundary.     

Nonautonomous equations with arbitrary growth rates: A Perron-type theorem

For a linear equation x^′=A(t)x$x^{\prime }=A\left(t\right)x$, we show that the asymptotic behavior of its solutions is reproduced by the solutions of the nonlinear equation x^′=A(t)x+f(t,x)$x^{\prime }=A\left(t\right)x+f(t,x)$ for any sufficiently small perturbation f$f$. More precisely, we show that if the Lyapunov exponents of the linear equation are limits, even for general exponential rates e^cρ(t)$e^{c\rho \left(t\right)}$ for an arbitrary function ρ$\rho$, then the same happens with the Lyapunov exponents of the solutions of the nonlinear equations, without introducing new values. Our approach is based on Lyapunov’s theory of regularity.     

Modules satisfying the weak Nakayama property

Let R$R$ be a commutative ring with identity. We will say that an R$R$-module M$M$ satisfies the weak Nakayama property, if IM=M$IM=M$, where I$I$ is an ideal of R$R$, implies that for any x∈M$x\in M$ there exists a∈I$a\in I$ such that (a−1)x=0$(a-1)x=0$. In this paper, we will study modules satisfying the weak Nakayama property. It is proved that if R$R$ is a local ring, then R$R$ is a Max ring if and only if J(R)$J\left(R\right)$, the Jacobson radical of R$R$, is T$T$-nilpotent if and only if every R$R$-module satisfies the weak Nakayama property.     

Differential inequalities and equations in Banach spaces with a cone

A class of second-order abstract dissipative evolution differential operators D$D$ with 0∈kerD$0\in kerD$ is shown for which the fact that a non-zero t?u(t)$t?u\left(t\right)$ belongs to a cone and −Du$-Du$ to a dual cone may hold only on time intervals whose length is less than or equal to a defined number. Then oscillatory functions are dealt with in the framework of Banach spaces with a cone and conditions for the existence of a uniform oscillatory time for solutions of the equation Du=0$Du=0$ are given.     

On a time-depending Monge–Ampère type equation

In this paper, we prove a comparison result between a solution u(x,t)$u(x,t)$, x∈Ω⊂R²$x\in \Omega \subset {\mathbb{R}}^2$, t∈(0,T)$t\in (0,T)$, of a time depending equation involving the Monge–Ampère operator in the plane and the solution of a conveniently symmetrized parabolic equation. To this aim, we prove a derivation formula for the integral of a smooth function g(x,t)$g(x,t)$ over sublevel sets of u$u$, {x∈Ω:u(x,t)<?}$\{x\in \Omega :u(x,t)<?\}$, ?∈R$?\in \mathbb{R}$, having the same perimeter in R²${\mathbb{R}}^2$.     

Existence of non-spurious solutions to discrete Dirichlet problems with lower and upper solutions

This paper investigates the solvability of discrete Dirichlet boundary value problems by the lower and upper solution method. Here, the second-order difference equation with a nonlinear right hand side f$f$ is studied and f(t,u,v)$f(t,u,v)$ can have a superlinear growth both in u$u$ and in v$v$. Moreover, the growth conditions on f$f$ are one-sided. We compute a priori bounds on solutions to the discrete problem and then obtain the existence of at least one solution. It is shown that solutions of the discrete problem will converge to solutions of ordinary differential equations.     

Large deviations of infinite intersections of events in Gaussian processes

Consider events of the form {_Zs≥ζ(s),s∈S}$\{Z_s\ge \zeta \left(s\right),s\in S\}$, where Z$Z$ is a continuous Gaussian process with stationary increments, ζ$\zeta$ is a function that belongs to the reproducing kernel Hilbert space R$R$ of process Z$Z$, and S⊂R$S\subset \mathbb{R}$ is compact. The main problem considered in this paper is identifying the function β^∗∈R${\beta }^{\ast }\in R$ satisfying β^∗(s)≥ζ(s)${\beta }^{\ast }\left(s\right)\ge \zeta \left(s\right)$ on S$S$ and having minimal R$R$-norm. The smoothness (mean square differentiability) of Z$Z$ turns out to have a crucial impact on the structure of the solution. As examples, we obtain the explicit solutions when ζ(s)=s$\zeta \left(s\right)=s$ for s∈[0,1]$s\in [0,1]$ and Z$Z$ is either a fractional Brownian motion or an integrated Ornstein–Uhlenbeck process.     

Existence and nonexistence of solutions of second-order nonlinear boundary value problems

We study the nonlinear boundary value problem consisting of the equation −y^″+q(t)y=w(t)f(y) on [a,b]$-y^{″}+q\left(t\right)y=w\left(t\right)f\left(y\right)\text{ on }[a,b]$ and a general separated homogeneous linear boundary condition. By comparing this problem with a corresponding linear Sturm–Liouville problem we obtain conditions for the existence and nonexistence of solutions of this problem. More specifically, let _λn,n=0,1,2,…${\lambda }_n,n=0,1,2,\dots$, be the n$n$-th eigenvalues of the corresponding linear Sturm–Liouville problem. Then under certain assumptions, the boundary value problem has a solution with exactly n$n$ zeros in (a,b)$(a,b)$ if _λn${\lambda }_n$ is in the interior of the range of f(y)/y,y∈(0,∞)$f\left(y\right)/y,y\in (0,\infty )$; and does not have any solution with exactly n$n$ zeros in (a,b)$(a,b)$ if _λn${\lambda }_n$ is outside of the range of f(y)/y,y∈(0,∞)$f\left(y\right)/y,y\in (0,\infty )$. These conditions become necessary and sufficient when f(y)/y$f\left(y\right)/y$ is monotone. The existences of multiple and even an infinite number of solutions are derived as consequences. We also discuss the changes of the number and the types of nontrivial solutions as the interval [a,b]$[a,b]$ shrinks, as q$q$ increases in a given direction, and as the boundary condition changes.     

The Deodhar decomposition of the Grassmannian and the regularity of KP solitons

Given a point A$A$ in the real Grassmannian, it is well-known that one can construct a soliton solution _uA(x,y,t)$u_A(x,y,t)$ to the KP equation. The contour plot   of such a solution provides a tropical approximation to the solution when the variables x$x$, y$y$, and t$t$ are considered on a large scale and the time t$t$ is fixed. In this paper we use several decompositions of the Grassmannian in order to gain an understanding of the contour plots of the corresponding soliton solutions. First we use the positroid stratification   of the real Grassmannian in order to characterize the unbounded line-solitons in the contour plots at y?0$y?0$ and y?0$y?0$. Next we use the Deodhar decomposition   of the Grassmannian–a refinement of the positroid stratification–to study contour plots at t?0$t?0$. More specifically, we index the components of the Deodhar decomposition of the Grassmannian by certain tableaux which we call Go-diagrams  , and then use these Go-diagrams to characterize the contour plots of solitons solutions when t?0$t?0$. Finally we use these results to show that a soliton solution _uA(x,y,t)$u_A(x,y,t)$ is regular for all times t$t$ if and only if A$A$ comes from the totally non-negative part of the Grassmannian.     

Monotonicity of the reflected Bessel transition density on the diagonal

For α∈R$\alpha \in \mathbb{R}$, let p^R(t,x,x)$p^R(t,x,x)$ denote the diagonal of the transition density of the α$\alpha$-Bessel process in (0,1]$(0,1]$, killed at 0 and reflected at 1. As a function of x$x$, if either α≥3$\alpha \ge 3$ or α=1$\alpha =1$, then for t>0$t>0$, the diagonal is nondecreasing. This monotonicity property fails if 1≠α<3$1\ne \alpha <3$.     

Asymptotic approximations to the Hardy–Littlewood function

The function Q(x):=_∑n≥1(1/n)sin(x/n)$Q\left(x\right):={\sum }_{n\ge 1}(1/n)sin(x/n)$ was introduced by Hardy and Littlewood (1936) [5] in their study of Lambert summability, and since then it has attracted attention of many researchers. In particular, this function has made a surprising appearance in the recent disproof by Alzer, Berg and Koumandos (2005) [3] of a conjecture by Clark and Ismail (2003) [14]. More precisely, Alzer et al. have shown that the Clark and Ismail conjecture is true if and only if Q(x)≥−π/2$Q\left(x\right)\ge -\pi /2$ for all x>0$x>0$. It is known that Q(x)$Q\left(x\right)$ is unbounded in the domain x∈(0,∞)$x\in (0,\infty )$ from above and below, which disproves the Clark and Ismail conjecture, and at the same time raises a natural question of whether we can exhibit at least one point x$x$ for which Q(x)<−π/2$Q\left(x\right)<-\pi /2$. This turns out to be a surprisingly hard problem, which leads to an interesting and non-trivial question of how to approximate Q(x)$Q\left(x\right)$ for very large values of x$x$. In this paper we continue the work started by Gautschi (2005) in [4] and develop several approximations to Q(x)$Q\left(x\right)$ for large values of x$x$. We use these approximations to find an explicit value of x$x$ for which Q(x)<−π/2$Q\left(x\right)<-\pi /2$.     

On the removal lemma for linear systems over Abelian groups

In this paper we present an extension of the removal lemma to integer linear systems over abelian groups. We prove that, if the k$k$-determinantal of an integer (k×m)$(k\times m)$ matrix A$A$ is coprime with the order n$n$ of a group G$G$ and the number of solutions of the system Ax=b$Ax=b$ with _x1∈_X1,…,_xm∈_Xm$x_1\in X_1,\dots ,x_m\in X_m$ is o(n^m−k)$o\left(n^{m-k}\right)$, then we can eliminate o(n)$o\left(n\right)$ elements in each set to remove all these solutions.     

Transformation formulas for fractional Brownian motion

We derive a Molchan–Golosov-type integral transform which changes fractional Brownian motion of arbitrary Hurst index K$K$ into fractional Brownian motion of index H$H$. Integration is carried out over [0,t]$[0,t]$, t>0$t>0$. The formula is derived in the time domain. Based on this transform, we construct a prelimit which converges in L²(P)$L^2\left(\mathbb{P}\right)$-sense to an analogous, already known Mandelbrot–Van Ness-type integral transform, where integration is over (−∞,t]$(-\infty ,t]$, t>0$t>0$.     

Unilateral small deviations of processes related to the fractional Brownian motion

Let x(s)$x\left(s\right)$, s∈R^d$s\in R^d$ be a Gaussian self-similar random process of index H$H$. We consider the problem of log-asymptotics for the probability _pT$p_T$ that x(s)$x\left(s\right)$, x(0)=0$x\left(0\right)=0$ does not exceed a fixed level in a star-shaped expanding domain T⋅Δ$T\cdot \Delta$ as T→∞$T\to \infty$. We solve the problem of the existence of the limit, θ?lim(−log_pT)/(logT)^D$\theta ?lim(-log{p}_T)/{(logT)}^D$, T→∞$T\to \infty$, for the fractional Brownian sheet x(s)$x\left(s\right)$, s∈[0,T]²$s\in {[0,T]}^2$ when D=2$D=2$, and we estimate θ$\theta$ for the integrated fractional Brownian motion when D=1$D=1$.