On the $${ L}^{ p}$$Lp norm of the torsion function

Bounds are obtained for the \(L^p\) norm of the torsion function \(v_{\varOmega }\), i.e. the solution of \(-\varDelta v=1,\, v\in H_0^1(\varOmega ),\) in terms of the Lebesgue measure of \(\varOmega \) and the principal eigenvalue \(\lambda _1(\varOmega )\) of the Dirichlet Laplacian acting in \(L^2(\varOmega )\). We show that these bounds are sharp for \(1\le p\le 2\).

     

On the difference spaces of almost convergent and strongly almost convergent double sequences

In this paper, we study the difference spaces \({\mathcal {F}}(\varDelta )\), \({\mathcal {F}}_0(\varDelta )\), \({\mathcal {[F]}}(\varDelta )\) and \({\mathcal {[F]}}_0(\varDelta )\) of double sequences obtained as the domain of four-dimensional backward difference matrix \(\varDelta \) in the spaces \({\mathcal {F}}\), \({\mathcal {F}}_{0}\), \({\mathcal {[F]}}\) and \({\mathcal {[F]}}_{0}\) of almost convergent, almost null, strongly almost convergent and strongly almost null double sequences; respectively. We examine general topological properties of those spaces and give some inclusion theorems. Furthermore, we deal with their dual spaces.

     

On the Fourier coefficients of certain Hilbert modular forms

We prove that given any \(\epsilon >0\), a non-zero adelic Hilbert cusp form \({\mathbf {f}}\) of weight \(k=(k_1,k_2,\ldots ,k_n)\in ({\mathbb {Z}}_+)^n\) and square-free level \(\mathfrak {n}\) with Fourier coefficients \(C_{{\mathbf {f}}}(\mathfrak {m})\), there exists a square-free integral ideal \(\mathfrak {m}\) with \(N(\mathfrak {m})\ll k_0^{3n+\epsilon }N(\mathfrak {n})^{\frac{6n^2+1}{2}+\epsilon }\) such that \(C_{{\mathbf {f}}}(\mathfrak {m})\ne 0\). The implied constant depends on \(\epsilon , F\).

     

On Neyman–Pearson minimax detection of Poisson process intensity

The problem of the minimax testing of the Poisson process intensity \({\mathbf{s}}\) is considered. For a given intensity \({\mathbf{p}}\) and a set \(\mathcal{Q}\), the minimax testing of the simple hypothesis \(H_{0}: {\mathbf{s}} = {\mathbf{p}}\) against the composite alternative \(H_{1}: {\mathbf{s}} = {\mathbf{q}},\,{\mathbf{q}} \in \mathcal{Q}\) is investigated. The case, when the 1-st kind error probability \(\alpha \) is fixed and we are interested in the minimal possible 2-nd kind error probability \(\beta ({\mathbf{p}},\mathcal{Q})\), is considered. What is the maximal set \(\mathcal{Q}\), which can be replaced by an intensity \({\mathbf{q}} \in \mathcal{Q}\) without any loss of testing performance? In the asymptotic case (\(T\rightarrow \infty \)) that maximal set \(\mathcal{Q}\) is described.

     

Functional Matrix Multipliers for Parseval Gabor Multi-frame Generators

We consider the problem of characterizing the bounded linear operator multipliers on \(L^{2}(\mathbb{R})\) that map Gabor frame generators to Gabor frame generators. We prove that a functional matrix \(M(t)=[f_{ij}(t)]_{m \times m}\) (where \(f_{ij}\in L^{\infty}(\mathbb{R})\)) is a multiplier for Parseval Gabor multi-frame generators with parameters \(a, b >0\) if and only if \(M(t)\) is unitary and \(M^{*}(t)M(t+\frac{1}{b})= \lambda(t)I\) for some unimodular \(a\)-periodic function \(\lambda(t)\). As a special case (\(m =1\)) this recovers the characterization of functional multipliers for Parseval Gabor frames with single function generators.

     

Existence and Multiplicity Solutions for the $p$-Fractional Schrödinger–Kirchhoff Equations with Electromagnetic Fields and Critical Nonlinearity

This paper is devoted to the study of the \(p\)-fractional Schrödinger–Kirchhoff equations with electromagnetic fields and critical nonlinearity. By using the variational methods, we obtain the existence of mountain pass solutions \(u_{\varepsilon }\) which tend to the trivial solutions as \(\varepsilon \rightarrow 0\). Moreover, we get \(m^{\ast }\) pairs of solutions for the problem in absence of magnetic effects under some extra assumptions.

     

The Berry–Esseen bounds of the weighted estimator in a nonparametric regression model

Consider the following nonparametric model: \(Y_{ni}=g(x_{ni})+ \varepsilon _{ni},1\le i\le n,\) where \(x_{ni}\in {\mathbb {A}}\) are the nonrandom design points and \({\mathbb {A}}\) is a compact set of \({\mathbb {R}}^{m}\) for some \(m\ge 1\), \(g(\cdot )\) is a real valued function defined on \({\mathbb {A}}\), and \(\varepsilon _{n1},\ldots ,\varepsilon _{nn}\) are \(\rho ^{-}\)-mixing random errors with zero mean and finite variance. We obtain the Berry–Esseen bounds of the weighted estimator of \(g(\cdot )\). The rate can achieve nearly \(O(n^{-1/4})\) when the moment condition is appropriate. Moreover, we carry out some simulations to verify the validity of our results.

     

Analysis of a Free Boundary Problem Modeling the Growth of Spherically Symmetric Tumors with Angiogenesis

This paper is concerned with a free boundary problem modeling the growth of a spherically symmetric tumor with angiogenesis. The unknown nutrient concentration \(\sigma =\sigma (r,t)\) occupies the unknown tumor region \(r< R(t)\) and satisfies a nonlinear reaction diffusion equation, and the unknown tumor radius \(R=R(t)\) satisfies a nonlinear integro-differential equation. Unlike existing literatures on this topic where Dirichlet boundary condition for \(\sigma \) is imposed, in this paper the model uses the Robin boundary condition for \(\sigma \). We prove existence and uniqueness of a global in-time classical solution (\(\sigma (r,t),R(t)\)) for arbitrary \(c>0\) and establish asymptotic stability of the unique stationary solution (\(\sigma _{s}(r),R_{s}\)) for sufficiently small \(c\), where \(c\) is a positive constant reflecting the ratio between nutrient diffusion scale and the tumor cell-doubling scale.

     

A Shape Optimization Problem on Planar Sets with Prescribed Topology

We consider shape optimization problems involving functionals depending on perimeter, torsional rigidity and Lebesgue measure. The scaling free cost functionals are of the form \(P(\Omega )T^q(\Omega )|\Omega |^{-2q-1/2}\), and the class of admissible domains consists of two-dimensional open sets \(\Omega \) satisfying the topological constraints of having a prescribed number k of bounded connected components of the complementary set. A relaxed procedure is needed to have a well-posed problem, and we show that when \(q<1/2\) an optimal relaxed domain exists. When \(q>1/2\), the problem is ill-posed, and for \(q=1/2\), the explicit value of the infimum is provided in the cases \(k=0\) and \(k=1\).

     

On univariate slash distributions,continuous and discrete

In this article, I explore in a unified manner the structure of uniform slash and \(\alpha \)-slash distributions which, in the continuous case, are defined to be the distributions of Y / U and \( Y_\alpha /U^{1/\alpha }\) where Y and \(Y_\alpha \) follow any distribution on \(\mathbb {R}^+\) and, independently, U is uniform on (0, 1). The parallels with the monotone and \(\alpha \)-monotone distributions of \( Y \times U\) and \(Y_\alpha \times U^{1/\alpha }\), respectively, are striking. I also introduce discrete uniform slash and \(\alpha \)-slash distributions which arise from a notion of negative binomial thinning/fattening. Their specification, although apparently rather different from the continuous case, seems to be a good one because of the close way in which their properties mimic those of the continuous case.

     

On the Hawkes Graphs of Finite Groups

We study the properties and applications of the directed graph, introduced by Hawkes in 1968, of a finite group \( G \). The vertex set of \( \Gamma_{H}(G) \) coincides with \( \pi(G) \) and \( (p,q) \) is an edge if and only if \( q\in\pi(G/O_{p^{\prime},p}(G)) \). In the language of properties of this graph we obtain commutation conditions for all \( p \)-elements with all \( r \)-elements of \( G \), where \( p \) and \( r \) are distinct primes. We estimate the nilpotence length of a solvable finite group in terms of subgraphs of its Hawkes graph. Given an integer \( n>1 \), we find conditions for reconstructing the Hawkes graph of a finite group \( G \) from the Hawkes graphs of its \( n \) pairwise nonconjugate maximal subgroups. Using these results, we obtain some new tests for the membership of a solvable finite group in the well-known saturated formations.

     

On the Coincidence of the Classes of Finite Groups $ E_{\pi_{x}} $ and $ D_{\pi_{x}} $

Let \( \pi_{x} \) be the set of primes greater than \( x \). We prove that for all \( x\in{??} \) the classes of finite groups \( D_{\pi_{x}} \) and \( E_{\pi_{x}} \) coincide; i.e., a finite group \( G \) possesses a \( \pi_{x} \)-Hall subgroup if and only if \( G \) satisfies the complete analog of the Sylow Theorems for a \( \pi_{x} \)-subgroup.

     

Superlinear Elliptic Equations with Variable Exponent via Perturbation Method

We are concerned with the following \(p(x)\)-Laplacian equations in \(\mathbb{R}^{N}\)

$$ -\triangle _{p(x)} u+|u|^{p(x)-2}u= f(x,u)\quad \mbox{in } \mathbb{R} ^{N}. $$

The nonlinearity is superlinear but does not satisfy the Ambrosetti-Rabinowitz type condition. Our main difficulty is that the weak limit of (PS) sequence is not always the weak solution of this problem. To overcome this difficulty, by adding potential term and using mountain pass theorem, we get the weak solution \(u_{\lambda }\) of perturbation equations. First, we prove that \(u_{\lambda }\rightharpoonup u\) as \(\lambda \rightarrow 0\). Second, by using vanishing lemma, we get that \(u\) is a nontrivial solution of the original problem.

     

A Short Proof of Commutator Estimates

The goal of this note is to give, at least for a restricted range of indices, a short proof of homogeneous commutator estimates for fractional derivatives of a product, using classical tools. Both \(L^{p}\) and weighted \(L^{p}\) estimates can be proved by the same argument. When the space dimension is 1, we obtain some new estimates in the unexplored range \(1/3<r\le 1/2\).

     

Bernstein Fractal Trigonometric Approximation

Fractal interpolation and approximation received a lot of attention in the last thirty years. The main aim of the current article is to study a fractal trigonometric approximants which converge to the given continuous function even if the magnitude of the scaling factors does not approach zero. In this paper, we first introduce a new class of fractal approximants, namely, Bernstein \(\alpha \)-fractal functions using the theory of fractal approximation and Bernstein polynomial. Using the proposed class of fractal approximants and imposing no condition on corresponding scaling factors, we establish that the set of Bernstein \(\alpha \)-fractal trigonometric functions is fundamental in the space of continuous periodic functions. Fractal version of Gauss formula of trigonometric interpolation is obtained by means of Bernstein trigonometric fractal polynomials. We study the Bernstein fractal Fourier series of a continuous periodic function \(f\) defined on \([-l,l]\). The Bernstein fractal Fourier series converges to \(f\) even if the magnitude of the scaling factors does not approach zero. Existence of the \(\mathcal{C}^{r}\)-Bernstein fractal functions is investigated, and Bernstein cubic spline fractal interpolation functions are proposed based on the theory of \(\mathcal{C}^{r}\)-Bernstein fractal functions.

     

On Categoricity Spectra for Locally Finite Graphs

Under study is the algorithmic complexity of isomorphisms between computable copies of locally finite graphs \( G \) (undirected graphs whose every vertex has finite degree). We obtain the following results: If \( G \) has only finitely many components then \( G \) is \( {\mathbf{d}} \)-computably categorical for every Turing degree \( {\mathbf{d}} \) from the class \( PA({\mathbf{0}}^{\prime}) \). If \( G \) has infinitely many components then \( G \) is \( {\mathbf{0}}^{\prime\prime} \)-computably categorical. We exhibit a series of examples showing that the obtained bounds are sharp.

     

Proportionally modular numerical semigroups generated by arithmetic progressions

A numerical semigroup is a submonoid of \({{\mathbb {Z}}}_{\ge 0}\) whose complement in \({{\mathbb {Z}}}_{\ge 0}\) is finite. For any set of positive integers a, b, c, the numerical semigroup S(a, b, c) formed by the set of solutions of the inequality \(ax \bmod {b} \le cx\) is said to be proportionally modular. For any interval \([\alpha ,\beta ]\), \(S\big ([\alpha ,\beta ]\big )\) is the submonoid of \({{\mathbb {Z}}}_{\ge 0}\) obtained by intersecting the submonoid of \({{\mathbb {Q}}}_{\ge 0}\) generated by \([\alpha ,\beta ]\) with \({{\mathbb {Z}}}_{\ge 0}\). For the numerical semigroup S generated by a given arithmetic progression, we characterize a, b, c and \(\alpha ,\beta \) such that both S(a, b, c) and \(S\big ([\alpha ,\beta ]\big )\) equal S.

     

Orlicz spaces with a o–O type structure

We study non reflexive Orlicz spaces \(L^\varPsi \) and their Morse subspace \(M^\varPsi \), i.e. the closure of \(L^\infty \) in \(M^\varPsi \) to determine when \((M^\varPsi ,L^\varPsi )\) can be described as having an o–O type structure with respect to an equivalent norm on \(L^\varPsi \). Examples of classes of Young functions for which the answer is affirmative are provided, but also examples are given to show that this is not possible for all non-reflexive Orlicz spaces. An equivalent expression of the distance in \(L^\varPsi \) to \(M^\varPsi \), induced by the new norm, is also provided.

     

Topological Properties of the Set of Functions Generated by Neural Networks of Fixed Size

We analyze the topological properties of the set of functions that can be implemented by neural networks of a fixed size. Surprisingly, this set has many undesirable properties. It is highly non-convex, except possibly for a few exotic activation functions. Moreover, the set is not closed with respect to \(L^p\)-norms, \(0< p < \infty \), for all practically used activation functions, and also not closed with respect to the \(L^\infty \)-norm for all practically used activation functions except for the ReLU and the parametric ReLU. Finally, the function that maps a family of weights to the function computed by the associated network is not inverse stable for every practically used activation function. In other words, if \(f_1, f_2\) are two functions realized by neural networks and if \(f_1, f_2\) are close in the sense that \(\Vert f_1 - f_2\Vert _{L^\infty } \le \varepsilon \) for \(\varepsilon > 0\), it is, regardless of the size of \(\varepsilon \), usually not possible to find weights \(w_1, w_2\) close together such that each \(f_i\) is realized by a neural network with weights \(w_i\). Overall, our findings identify potential causes for issues in the training procedure of deep learning such as no guaranteed convergence, explosion of parameters, and slow convergence.

     

Exponential Decay of Correlations for a Real-Valued Dynamical System Generated by a $k$ Dimensional System

As a first step towards modelling real time-series, we study a class of real-variable, bounded processes \(\{X_{n}, n\in \mathbb{N}\}\) defined by a deterministic \(k\)-term recurrence relation \(X_{n+k} = \varphi (X _{n}, \ldots , X_{n+k-1})\). These processes are noise-free. We immerse such a dynamical system into \(\mathbb{R}^{k}\) in a slightly distorted way, which allows us to apply the multidimensional techniques introduced by Saussol (Isr. J. Math. 116:223–248, 2000) for deterministic transformations. The hypotheses we need are, most of them, purely analytic and consist in estimates satisfied by the function \(\varphi \) and by products of its first-order partial derivatives. They ensure that the induced transformation \(T\) is dilating. Under these conditions, \(T\) admits a greatest absolutely continuous invariant measure (ACIM). This implies the existence of an invariant density for \(X_{n}\), satisfying integral compatibility conditions. Moreover, if \(T\) is mixing, one obtains the exponential decay of correlations.