Fractional Differentiability for Solutions of Nonlinear Elliptic Equations

We study nonlinear elliptic equations in divergence form

$$\text {div }{\mathcal A}(x,Du)=\text {div } G.$$

When \({\mathcal A}\) has linear growth in D u, and assuming that \(x\mapsto {\mathcal A}(x,\xi )\) enjoys \(B^{\alpha }_{\frac {n}\alpha , q}\) smoothness, local well-posedness is found in \(B^{\alpha }_{p,q}\) for certain values of \(p\in [2,\frac {n}{\alpha })\) and \(q\in [1,\infty ]\). In the particular case \({\mathcal A}(x,\xi )=A(x)\xi \), G = 0 and \(A\in B^{\alpha }_{\frac {n}\alpha ,q}\), \(1\leq q\leq \infty \), we obtain \(Du\in B^{\alpha }_{p,q}\) for each \(p<\frac {n}\alpha \). Our main tool in the proof is a more general result, that holds also if \({\mathcal A}\) has growth s?1 in D u, 2 ≤ s ≤ n, and asserts local well-posedness in L ^q for each q > s, provided that \(x\mapsto {\mathcal A}(x,\xi )\) satisfies a locally uniform VMO condition.

     

Conformally Covariant Differential Operators for the Diagonal Action of $$O(p,\,q)$$ on Real Quadrics

Let \(X=G/P\) be a real projective quadric, where \(G=O(p,\,q)\) and P is a parabolic subgroup of G. Let \((\pi _{\lambda ,\epsilon },\, \mathcal H_{\lambda ,\epsilon })_{ (\lambda ,\epsilon )\in {\mathbb {C}}\times \{\pm \}}\) be the family of (smooth) representations of G induced from the characters of P. For \((\lambda ,\, \epsilon ),\, (\mu ,\, \eta )\in {\mathbb {C}}\times \{\pm \},\) a differential operator \(\mathbf D_{(\mu ,\eta )}^\mathrm{reg}\) on \(X\times X,\) acting G-covariantly from \({\mathcal {H}}_{\lambda ,\epsilon } \otimes {\mathcal {H}}_{\mu , \eta }\) into \({\mathcal {H}}_{\lambda +1,-\epsilon } \otimes {\mathcal {H}}_{\mu +1, -\eta }\) is constructed.     

Generalized Drazin invertibility and local spectral theory

If \(A\in B(\mathcal{X})\) is an upper triangular Banach space operator with diagonal \((A_1,A_2)\), \(A_1\) invertible and \(A_2\) quasinilpotent, then \(A_1^{-1}\oplus A_2\) satisfies either of the single-valued extension property, Dunford’s condition (C), Bishop’s property \((\beta )\), decomposition property \((\delta )\) or is decomposable if and only if \(A_1\) has the property. The operator \(A^{-1}_1\oplus 0\) is subscalar (resp., left polaroid, right polaroid) if and only if \(A_1\) is subscalar (resp., left polaroid, right polaroid). For Drazin invertible operators A, with Drazin inverse B, this implies that B satisfies any one of these properties if and only if A satisfies the property.     

Couplings of Brownian Motions of Deterministic Distance in Model Spaces of Constant Curvature

We consider the model space \(\mathbb {M}^{n}_{K}\) of constant curvature K and dimension \(n\ge 1\) (Euclidean space for \(K=0\), sphere for \(K>0\) and hyperbolic space for \(K<0\)), and we show that given a function \(\rho :[0,\infty )\rightarrow [0, \infty )\) with \(\rho (0)=\mathrm {dist}(x,y)\) there exists a coadapted coupling (X(t), Y(t)) of Brownian motions on \(\mathbb {M}^{n}_{K}\) starting at (x, y) such that \(\rho (t)=\mathrm {dist}(X(t),Y(t))\) for every \(t\ge 0\) if and only if \(\rho \) is continuous and satisfies for almost every \(t\ge 0\) the differential inequality

$$\begin{aligned} -(n-1)\sqrt{K}\tan \left( \tfrac{\sqrt{K}\rho (t)}{2}\right) \le \rho '(t)\le -(n-1)\sqrt{K}\tan \left( \tfrac{\sqrt{K}\rho (t)}{2}\right) +\tfrac{2(n-1)\sqrt{K}}{\sin (\sqrt{K}\rho (t))}. \end{aligned}$$

In other words, we characterize all coadapted couplings of Brownian motions on the model space \(\mathbb {M}^{n}_{K}\) for which the distance between the processes is deterministic. In addition, the construction of the coupling is explicit for every choice of \(\rho \) satisfying the above hypotheses.

     

EKR Sets for Large <Emphasis Type="Italic">n</Emphasis> and <Emphasis Type="Italic">r</Emphasis>

Let \(\mathcal {A}\subset \left( {\begin{array}{c}[n]\\ r\end{array}}\right) \) be a compressed, intersecting family and let \(X\subset [n]\). Let \(\mathcal {A}(X)=\{A\in \mathcal {A}:A\cap X\ne \emptyset \}\) and \(\mathcal {S}_{n,r}=\left( {\begin{array}{c}[n]\\ r\end{array}}\right) (\{1\})\). Motivated by the Erd?s–Ko–Rado theorem, Borg asked for which \(X\subset [2,n]\) do we have \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\) for all compressed, intersecting families \(\mathcal {A}\)? We call X that satisfy this property EKR. Borg classified EKR sets X such that \(|X|\ge r\). Barber classified X, with \(|X|\le r\), such that X is EKR for sufficiently large n, and asked how large n must be. We prove n is sufficiently large when n grows quadratically in r. In the case where \(\mathcal {A}\) has a maximal element, we sharpen this bound to \(n>\varphi ^{2}r\) implies \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\). We conclude by giving a generating function that speeds up computation of \(|\mathcal {A}(X)|\) in comparison with the naïve methods.     

Fast approximation of matroid packing and covering

We study packing problems with matroid structures, which includes the strength of a graph of Cunningham and scheduling problems. If \(\mathcal {M}\) is a matroid over a set of elements S with independent set \(\mathcal {I}\), and \(m=|S|\), we suppose that we are given an oracle function that takes an independent set \(A\in \mathcal {I}\) and an element \(e\in S\) and determines if \(A\cup \{e\}\) is independent in time I(m). Also, given that the elements of A are represented in an ordered way \(A=\{A_1,\dots ,A_k\}\), we denote the time to check if \(A\cup \{e\}\notin \mathcal {I}\) and if so, to find the minimum \(i\in \{0,\dots ,k\}\) such that \(\{A_1,\dots ,A_i\}\cup \{e\}\notin \mathcal {I}\) by \(I^*(m)\). Then, we describe a new FPTAS that computes for any \(\varepsilon >0\) and for any matroid \(\mathcal {M}\) of rank r over a set S of m elements, in memory space O(m), the packing \(\varLambda ({\mathcal {M}})\) within \(1+\varepsilon \) in time \(O(mI^*(m)\log (m)\log (m/r)/\varepsilon ^2)\), and the covering \(\varUpsilon ({\mathcal {M}})\) in time \(O(r\varUpsilon ({\mathcal {M}})I(m)\log (m)\log (m/r)/\varepsilon ^2)\). This method outperforms in time complexity by a factor of \(\varOmega (m/r)\) the FPTAS of Plotkin, Shmoys, and Tardos, and a factor of \(\varOmega (m)\) the FPTAS of Garg and Konemann. On top of the value of the packing and the covering, our algorithm exhibits a combinatorial object that proves the approximation. The applications of this result include graph partitioning, minimum cuts, VLSI computing, job scheduling and others.     

Diagonalization of the Finite Hilbert Transform on Two Adjacent Intervals

We continue the study of stability of solving the interior problem of tomography. The starting point is the Gelfand–Graev formula, which converts the tomographic data into the finite Hilbert transform (FHT) of an unknown function f along a collection of lines. Pick one such line, call it the x-axis, and assume that the function to be reconstructed depends on a one-dimensional argument by restricting f to the x-axis. Let \(I_1\) be the interval where f is supported, and \(I_2\) be the interval where the Hilbert transform of f can be computed using the Gelfand–Graev formula. The equation to be solved is \(\left. {\mathcal {H}}_1 f=g\right| _{I_2}\), where \({\mathcal {H}}_1\) is the FHT that integrates over \(I_1\) and gives the result on \(I_2\), i.e. \({\mathcal {H}}_1: L^2(I_1)\rightarrow L^2(I_2)\). In the case of complete data, \(I_1\subset I_2\), and the classical FHT inversion formula reconstructs f in a stable fashion. In the case of interior problem (i.e., when the tomographic data are truncated), \(I_1\) is no longer a subset of \(I_2\), and the inversion problems becomes severely unstable. By using a differential operator L that commutes with \({\mathcal {H}}_1\), one can obtain the singular value decomposition of \({\mathcal {H}}_1\). Then the rate of decay of singular values of \({\mathcal {H}}_1\) is the measure of instability of finding f. Depending on the available tomographic data, different relative positions of the intervals \(I_{1,2}\) are possible. The cases when \(I_1\) and \(I_2\) are at a positive distance from each other or when they overlap have been investigated already. It was shown that in both cases the spectrum of the operator \({\mathcal {H}}_1^*{\mathcal {H}}_1\) is discrete, and the asymptotics of its eigenvalues \(\sigma _n\) as \(n\rightarrow \infty \) has been obtained. In this paper we consider the case when the intervals \(I_1=(a_1,0)\) and \(I_2=(0,a_2)\) are adjacent. Here \(a_1 < 0 < a_2\). Using recent developments in the Titchmarsh–Weyl theory, we show that the operator L corresponding to two touching intervals has only continuous spectrum and obtain two isometric transformations \(U_1\), \(U_2\), such that \(U_2{\mathcal {H}}_1 U_1^*\) is the multiplication operator with the function \(\sigma (\lambda )\), \(\lambda \ge (a_1^2+a_2^2)/8\). Here \(\lambda \) is the spectral parameter. Then we show that \(\sigma (\lambda )\rightarrow 0\) as \(\lambda \rightarrow \infty \) exponentially fast. This implies that the problem of finding f is severely ill-posed. We also obtain the leading asymptotic behavior of the kernels involved in the integral operators \(U_1\), \(U_2\) as \(\lambda \rightarrow \infty \). When the intervals are symmetric, i.e. \(-a_1=a_2\), the operators \(U_1\), \(U_2\) are obtained explicitly in terms of hypergeometric functions.     

Univoque bases and Hausdorff dimension

Given a positive integer M and a real number \(q >1\), a q -expansion of a real number x is a sequence \((c_i)=c_1c_2\ldots \) with \((c_i) \in \{0,\ldots ,M\}^\infty \) such that

$$\begin{aligned} x=\sum _{i=1}^{\infty } c_iq^{-i}. \end{aligned}$$

It is well known that if \(q \in (1,M+1]\), then each \(x \in I_q:=\left[ 0,M/(q-1)\right] \) has a q-expansion. Let \(\mathcal {U}=\mathcal {U}(M)\) be the set of univoque bases \(q>1\) for which 1 has a unique q-expansion. The main object of this paper is to provide new characterizations of \(\mathcal {U}\) and to show that the Hausdorff dimension of the set of numbers \(x \in I_q\) with a unique q-expansion changes the most if q “crosses” a univoque base. Denote by \(\mathcal {B}_2=\mathcal {B}_2(M)\) the set of \(q \in (1,M+1]\) such that there exist numbers having precisely two distinct q-expansions. As a by-product of our results, we obtain an answer to a question of Sidorov (J Number Theory 129:741–754, 2009) and prove that

$$\begin{aligned} \dim _H(\mathcal {B}_2\cap (q',q'+\delta ))>0\quad \text {for any}\quad \delta >0, \end{aligned}$$

where \(q'=q'(M)\) is the Komornik–Loreti constant.

     

Symmetric Pairs and Self-Adjoint Extensions of Operators,with Applications to Energy Networks

We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator A on a Hilbert space \(\mathcal {H}\), by means of a symmetric pair of operators. A symmetric pair is comprised of densely defined operators \(J: \mathcal {H}_1 \rightarrow \mathcal {H}_2\) and \(K: \mathcal {H}_2 \rightarrow \mathcal {H}_1\) which are compatible in a certain sense. With the appropriate definitions of \(\mathcal {H}_1\) and J in terms of A and \(\mathcal {H}\), we show that \((\textit{JJ}^\star )^{-1}\) is the Friedrichs extension of A. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of A as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces \(\ell ^2(G)\) and \(\mathcal {H}_{\mathcal {E}}\) (the energy space).     

Lie n-derivatio ns o n $ {\mathcal {}}$-subspace lattice algebras

Let \(\mathcal {L}\) be a \(\mathcal {J}\)-subspace lattice on a Banach space X over the real or complex field \(\mathbb {F}\) with dimX ≥ 3 and let n ≥ 2 be an integer. Suppose that dimK ≠ 2 for every \(K\in \mathcal {J}{(\mathcal L)}\) and \(L: \text {Alg}\, \mathcal {L}\rightarrow \text {Alg}\,\mathcal {L}\) is a linear map. It is shown that L satisfies \({\sum }_{i=1}^{n}p_{n} (A_{1}, \ldots , A_{i-1}, L(A_{i}), A_{i+1}, \ldots , A_{n})=0\) whenever p _n (A ₁,A ₂,…,A _n ) = 0 for \(A_{1},A_{2},\ldots ,A_{n}\in \text {Alg}\,\mathcal {L}\) if and only if for each \(K\in \mathcal {J}(\mathcal {L})\), there exists a bounded linear operator \(T_{K}\in \mathcal {B}(K)\), a scalar λ _K and a linear functional \(h_{K}: \text {Alg}\,\mathcal {L}\rightarrow \mathbb {F}\) such that L(A)x = (T _K A ? A T _K + λ _K A + h _K (A)I)x for all x ∈ K and all \(A\in \text {Alg}\,\mathcal {L}\). Based on this result, a complete characterization of linear n-Lie derivations on \(\text {Alg}\,\mathcal {L}\) is obtained.     

Space–Time Fractional Equations and the Related Stable Processes at Random Time

In this paper, we consider the general space–time fractional equation of the form \(\sum _{j=1}^m \lambda _j \frac{\partial ^{\nu _j}}{\partial t^{\nu _j}} w(x_1, \ldots , x_n ; t) = -c^2 \left( -\varDelta \right) ^\beta w(x_1, \ldots , x_n ; t)\), for \(\nu _j \in \left( 0,1 \right] \) and \(\beta \in \left( 0,1 \right] \) with initial condition \(w(x_1, \ldots , x_n ; 0)= \prod _{j=1}^n \delta (x_j)\). We show that the solution of the Cauchy problem above coincides with the probability density of the n-dimensional vector process \(\varvec{S}_n^{2\beta } \left( c^2 \mathcal {L}^{\nu _1, \ldots , \nu _m} (t) \right) \), \(t>0\), where \(\varvec{S}_n^{2\beta }\) is an isotropic stable process independent from \(\mathcal {L}^{\nu _1, \ldots , \nu _m}(t)\), which is the inverse of \(\mathcal {H}^{\nu _1, \ldots , \nu _m} (t) = \sum _{j=1}^m \lambda _j^{1/\nu _j} H^{\nu _j} (t)\), \(t>0\), with \(H^{\nu _j}(t)\) independent, positively skewed stable random variables of order \(\nu _j\). The problem considered includes the fractional telegraph equation as a special case as well as the governing equation of stable processes. The composition \(\varvec{S}_n^{2\beta } \left( c^2 \mathcal {L}^{\nu _1, \ldots , \nu _m} (t) \right) \), \(t>0\), supplies a probabilistic representation for the solutions of the fractional equations above and coincides for \(\beta = 1\) with the n-dimensional Brownian motion at the random time \(\mathcal {L}^{\nu _1, \ldots , \nu _m} (t)\), \(t>0\). The iterated process \(\mathfrak {L}^{\nu _1, \ldots , \nu _m}_r (t)\), \(t>0\), inverse to \(\mathfrak {H}^{\nu _1, \ldots , \nu _m}_r (t) =\sum _{j=1}^m \lambda _j^{1/\nu _j} \, _1H^{\nu _j} \left( \, _2H^{\nu _j} \left( \, _3H^{\nu _j} \left( \ldots \, _{r}H^{\nu _j} (t) \ldots \right) \right) \right) \), \(t>0\), permits us to construct the process \(\varvec{S}_n^{2\beta } \left( c^2 \mathfrak {L}^{\nu _1, \ldots , \nu _m}_r (t) \right) \), \(t>0\), the density of which solves a space-fractional equation of the form of the generalized fractional telegraph equation. For \(r \rightarrow \infty \) and \(\beta = 1\), we obtain a probability density, independent from t, which represents the multidimensional generalization of the Gauss–Laplace law and solves the equation \(\sum _{j=1}^m \lambda _j w(x_1, \ldots , x_n) = c^2 \sum _{j=1}^n \frac{\partial ^2}{\partial x_j^2} w(x_1, \ldots , x_n)\). Our analysis represents a general framework of the interplay between fractional differential equations and composition of processes of which the iterated Brownian motion is a very particular case.     

Extremal Problems for Mappings with Generalized Parametric Representation in $${{\mathbb {C}}}^{n}$$

In this paper we are concerned with the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) (\(t\ge 0\)) of normalized biholomorphic mappings on the Euclidean unit ball \(\mathbb {B}^n\) in \({\mathbb {C}}^n\) that can be embedded in normal Loewner chains whose normalizations are given by time-dependent operators \(A\in \widetilde{\mathcal {A}}\), where \(\widetilde{\mathcal {A}}\) is a family of measurable mappings from \([0,\infty )\) into \(L({\mathbb {C}}^n)\) which satisfy certain natural assumptions. In particular, we consider extreme points and support points associated with the compact family \(\widetilde{S}^t_A(\mathbb {B}^n)\), where \(A\in \widetilde{\mathcal {A}}\). We prove that if \(f(z,t)=V(t)^{-1}z+\cdots \) is a normal Loewner chain such that \(V(s)f(\cdot ,s)\in \mathrm{ex}\,\widetilde{S}^s_A(\mathbb {B}^n)\) (resp. \(V(s)f(\cdot ,s)\in \mathrm{supp}\,\widetilde{S}^s_A(\mathbb {B}^n)\)), then \(V(t)f(\cdot ,t)\in \mathrm{ex}\, \widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\) (resp. \(V(t)f(\cdot ,t)\in \mathrm{supp}\,\widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\)), where V(t) is the unique solution on \([0,\infty )\) of the initial value problem: \(\frac{d V}{d t}(t)=-A(t)V(t)\), a.e. \(t\ge 0\), \(V(0)=I_n\). Also, we obtain an example of a bounded support point for the family \(\widetilde{S}_A^t(\mathbb {B}^2)\), where \(A\in \widetilde{\mathcal {A}}\) is a certain time-dependent operator. We also consider the notion of a reachable family with respect to time-dependent linear operators \(A\in \widetilde{\mathcal {A}}\), and obtain characterizations of extreme/support points associated with these families of bounded biholomorphic mappings on \(\mathbb {B}^n\). Useful examples and applications yield that the study of the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) for time-dependent operators \(A\in \widetilde{\mathcal {A}}\) is basically different from that in the case of constant time-dependent linear operators.     

New nonbinary code bounds based on divisibility arguments

For \(q,n,d \in \mathbb {N}\), let \(A_q(n,d)\) be the maximum size of a code \(C \subseteq [q]^n\) with minimum distance at least d. We give a divisibility argument resulting in the new upper bounds \(A_5(8,6) \le 65\), \(A_4(11,8)\le 60\) and \(A_3(16,11) \le 29\). These in turn imply the new upper bounds \(A_5(9,6) \le 325\), \(A_5(10,6) \le 1625\), \(A_5(11,6) \le 8125\) and \(A_4(12,8) \le 240\). Furthermore, we prove that for \(\mu ,q \in \mathbb {N}\), there is a 1–1-correspondence between symmetric \((\mu ,q)\)-nets (which are certain designs) and codes \(C \subseteq [q]^{\mu q}\) of size \(\mu q^2\) with minimum distance at least \(\mu q - \mu \). We derive the new upper bounds \(A_4(9,6) \le 120\) and \(A_4(10,6) \le 480\) from these ‘symmetric net’ codes.     

Closed range and nonclosed range adjointable operators on Hilbert $$C^*$$-modules

In this paper, we show that for a positive operator A on a Hilbert \(C^*\)-module \( \mathscr {E} \), the range \( \mathscr {R}(A) \) of A is closed if and only if \( \mathscr {R}(A^\alpha ) \) is closed for all \(\alpha \in (0,1)\cup (1,+\,\infty )\), and this occurs if and only if \( \mathscr {R}(A)=\mathscr {R}(A^\alpha ) \) for all \(\alpha \in (0,1)\cup (1,+\,\infty )\). As an application, we prove that for an adjontable operator A if \(\mathscr {R}(A)\) is nonclosed, then \(\dim \left( \overline{\mathscr {R}(A)}/\mathscr {R}(A)\right) =+\,\infty \). Finally, we show that for an adjointable operator A if \( \overline{\mathscr {R}(A^*) } \) is orthogonally complemented in \( \mathscr {E} \), then under certain coditions there exists an idempotent C and a unique operator X such that \( XAX=X, AXA=CA, AX=C \) and \( XA=P_{A^*} \), where \( P_{A^*} \) is the orthogonal projection of \( \mathscr {E} \) onto \( \overline{\mathscr {R}(A^*)}\).     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Sandwich semigroups in locally small categories II: transformations

Fix sets X and Y, and write \(\mathcal P\mathcal T_{XY}\) for the set of all partial functions \(X\rightarrow Y\). Fix a partial function \({a:Y\rightarrow X}\), and define the operation \(\star _a\) on \(\mathcal P\mathcal T_{XY}\) by \(f\star _ag=fag\) for \(f,g\in \mathcal P\mathcal T_{XY}\). The sandwich semigroup \((\mathcal P\mathcal T_{XY},\star _a)\) is denoted \(\mathcal P\mathcal T_{XY}^a\). We apply general results from Part I to thoroughly describe the structural and combinatorial properties of \(\mathcal P\mathcal T_{XY}^a\), as well as its regular and idempotent-generated subsemigroups, \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) and \(\mathbb E(\mathcal P\mathcal T_{XY}^a)\). After describing regularity, stability and Green’s relations and preorders, we exhibit \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) as a pullback product of certain regular subsemigroups of the (non-sandwich) partial transformation semigroups \(\mathcal P\mathcal T_X\) and \(\mathcal P\mathcal T_Y\), and as a kind of “inflation” of \(\mathcal P\mathcal T_A\), where A is the image of the sandwich element a. We also calculate the rank (minimal size of a generating set) and, where appropriate, the idempotent rank (minimal size of an idempotent generating set) of \(\mathcal P\mathcal T_{XY}^a\), \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) and \(\mathbb E(\mathcal P\mathcal T_{XY}^a)\). The same program is also carried out for sandwich semigroups of totally defined functions and for injective partial functions. Several corollaries are obtained for various (non-sandwich) semigroups of (partial) transformations with restricted image, domain and/or kernel.     

Ground State Solutions for Asymptotically Periodic Kirchhoff-Type Equations with Asymptotically Cubic or Super-cubic Nonlinearities

This paper is concerned with the following Kirchhoff-type equation

$$\begin{aligned} -\left( a+b\int _{\mathbb {R}^3}|\nabla {u}|^2\mathrm {d}x\right) \triangle u+V(x)u=f(x, u), \quad x\in \mathbb {R}^{3}, \end{aligned}$$

where \(V\in \mathcal {C}(\mathbb {R}^{3}, (0,\infty ))\), \(f\in \mathcal {C}({\mathbb {R}}^{3}\times \mathbb {R}, \mathbb {R})\), V(x) and f(x, t) are periodic or asymptotically periodic in x. Using weaker assumptions \(\lim _{|t|\rightarrow \infty }\frac{\int _0^tf(x, s)\mathrm {d}s}{|t|^3}=\infty \) uniformly in \(x\in \mathbb {R}^3\) and

$$\begin{aligned}&\left[ \frac{f(x,\tau )}{\tau ^3}-\frac{f(x,t\tau )}{(t\tau )^3} \right] \mathrm {sign}(1-t) +\theta _0V(x)\frac{|1-t^2|}{(t\tau )^2}\ge 0, \quad \\&\quad \forall x\in \mathbb {R}^3,\ t>0, \ \tau \ne 0 \end{aligned}$$

with a constant \(\theta _0\in (0,1)\), instead of the common assumption \(\lim _{|t|\rightarrow \infty }\frac{\int _0^tf(x, s)\mathrm {d}s}{|t|^4}=\infty \) uniformly in \(x\in \mathbb {R}^3\) and the usual Nehari-type monotonic condition on \(f(x,t)/|t|^3\), we establish the existence of Nehari-type ground state solutions of the above problem, which generalizes and improves the recent results of Qin et al. (Comput Math Appl 71:1524–1536, 2016) and Zhang and Zhang (J Math Anal Appl 423:1671–1692, 2015). In particular, our results unify asymptotically cubic and super-cubic nonlinearities.

     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

Semigroups of rectangular matrices under a sandwich operation

Let \({\mathcal {M}}_{mn}={\mathcal {M}}_{mn}({\mathbb {F}})\) denote the set of all \(m\times n\) matrices over a field \({\mathbb {F}}\), and fix some \(n\times m\) matrix \(A\in {\mathcal {M}}_{nm}\). An associative operation \(\star \) may be defined on \({\mathcal {M}}_{mn}\) by \(X\star Y=XAY\) for all \(X,Y\in {\mathcal {M}}_{mn}\), and the resulting sandwich semigroup is denoted \({\mathcal {M}}_{mn}^A={\mathcal {M}}_{mn}^A({\mathbb {F}})\). These semigroups are closely related to Munn rings, which are fundamental tools in the representation theory of finite semigroups. We study \({\mathcal {M}}_{mn}^A\) as well as its subsemigroups \(\hbox {Reg}({\mathcal {M}}_{mn}^A)\) and \({\mathcal {E}}_{mn}^A\) (consisting of all regular elements and products of idempotents, respectively), and the ideals of \(\hbox {Reg}({\mathcal {M}}_{mn}^A)\). Among other results, we characterise the regular elements; determine Green’s relations and preorders; calculate the minimal number of matrices (or idempotent matrices, if applicable) required to generate each semigroup we consider; and classify the isomorphisms between finite sandwich semigroups \({\mathcal {M}}_{mn}^A({\mathbb {F}}_1)\) and \({\mathcal {M}}_{kl}^B({\mathbb {F}}_2)\). Along the way, we develop a general theory of sandwich semigroups in a suitably defined class of partial semigroups related to Ehresmann-style “arrows only” categories; we hope this framework will be useful in studies of sandwich semigroups in other categories. We note that all our results have applications to the variants \({\mathcal {M}}_n^A\) of the full linear monoid \({\mathcal {M}}_n\) (in the case \(m=n\)), and to certain semigroups of linear transformations of restricted range or kernel (in the case that \(\hbox {rank}(A)\) is equal to one of m, n).