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.

     

Non-separable Lattices,Gabor Orthonormal Bases and Tilings

Let \(K\subset {\mathbb {R}}^d\) be a bounded set with positive Lebesgue measure. Let \(\Lambda =M({\mathbb {Z}}^{2d})\) be a lattice in \({\mathbb {R}}^{2d}\) with density dens\((\Lambda )=1\). It is well-known that if M is a diagonal block matrix with diagonal matrices A and B, then \({\mathcal {G}}(|K|^{-1/2}\chi _K, \Lambda )\) is an orthonormal basis for \(L^2({\mathbb {R}}^d)\) if and only if K tiles both by \(A({\mathbb {Z}}^d)\) and \(B^{-t}({\mathbb {Z}}^d)\). However, there has not been any intensive study when M is not a diagonal matrix. We investigate this problem for a large class of important cases of M. In particular, if M is any lower block triangular matrix with diagonal matrices A and B, we prove that if \({\mathcal {G}}(|K|^{-1/2}\chi _K, \Lambda )\) is an orthonormal basis, then K can be written as a finite union of fundamental domains of \(A({{\mathbb {Z}}}^d)\) and at the same time, as a finite union of fundamental domains of \(B^{-t}({{\mathbb {Z}}}^d)\). If \(A^tB\) is an integer matrix, then there is only one common fundamental domain, which means K tiles by a lattice and is spectral. However, surprisingly, we will also illustrate by an example that a union of more than one fundamental domain is also possible. We also provide a constructive way for forming a Gabor window function for a given upper triangular lattice. Our study is related to a Fuglede’s type problem in Gabor setting and we give a partial answer to this problem in the case of lattices.

     

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.

     

Littlewood–Paley and Finite Atomic Characterizations of Anisotropic Variable Hardy–Lorentz Spaces and Their Applications

Let \(p(\cdot ):\ {{\mathbb {R}}}^n\rightarrow (0,\infty ]\) be a variable exponent function satisfying the globally log-Hölder continuous condition, \(q\in (0,\infty ]\) and A be a general expansive matrix on \({\mathbb {R}}^n\). Let \(H_A^{p(\cdot ),q}({{\mathbb {R}}}^n)\) be the anisotropic variable Hardy–Lorentz space associated with A defined via the radial grand maximal function. In this article, the authors characterize \(H_A^{p(\cdot ),q}({{\mathbb {R}}}^n)\) by means of the Littlewood–Paley g-function or the Littlewood–Paley \(g_\lambda ^*\)-function via first establishing an anisotropic Fefferman–Stein vector-valued inequality on the variable Lorentz space \(L^{p(\cdot ),q}({\mathbb {R}}^n)\). Moreover, the finite atomic characterization of \(H_A^{p(\cdot ),q}({{\mathbb {R}}}^n)\) is also obtained. As applications, the authors then establish a criterion on the boundedness of sublinear operators from \(H^{p(\cdot ),q}_A({\mathbb {R}}^n)\) into a quasi-Banach space. Applying this criterion, the authors show that the maximal operators of the Bochner–Riesz and the Weierstrass means are bounded from \(H^{p(\cdot ),q}_A({\mathbb {R}}^n)\) to \(L^{p(\cdot ),q}({\mathbb {R}}^n)\) and, as consequences, some almost everywhere and norm convergences of these Bochner–Riesz and Weierstrass means are also obtained. These results on the Bochner–Riesz and the Weierstrass means are new even in the isotropic case.

     

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.

     

Inference on a distribution function from ranked set samples

Consider independent observations \((X_i,R_i)\) with random or fixed ranks \(R_i\), while conditional on \(R_i\), the random variable \(X_i\) has the same distribution as the \(R_i\)-th order statistic within a random sample of size k from an unknown distribution function F. Such observation schemes are well known from ranked set sampling and judgment post-stratification. Within a general, not necessarily balanced setting we derive and compare the asymptotic distributions of three different estimators of the distribution function F: a stratified estimator, a nonparametric maximum-likelihood estimator and a moment-based estimator. Our functional central limit theorems generalize and refine previous asymptotic analyses. In addition, we discuss briefly pointwise and simultaneous confidence intervals for the distribution function with guaranteed coverage probability for finite sample sizes. The methods are illustrated with a real data example, and the potential impact of imperfect rankings is investigated in a small simulation experiment.

     

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.

     

Some properties and applications of non-trivial divisor functions

The jth divisor function \(d_j\), which counts the ordered factorisations of a positive integer into j positive integer factors, is a very well-known multiplicative arithmetic function. However, the non-multiplicative jth non-trivial divisor function\(c_j\), which counts the ordered factorisations of a positive integer into j factors each of which is greater than or equal to 2, is rather less well studied. Additionally, we consider the associated divisor function\(c_j^{(r)}\), for \(r\ge 0\), whose definition is motivated by the sum-over divisors recurrence for \(d_j\). We give an overview of properties of \(d_j\), \(c_j\) and \(c_j^{(r)}\), specifically regarding their Dirichlet series and generating functions as well as representations in terms of binomial coefficient sums and hypergeometric series. Noting general inequalities between the three types of divisor function, we then observe how their ratios can be expressed as binomial coefficient sums and hypergeometric series, and find explicit Dirichlet series and Euler products for some of these. As an illustrative application of the non-trivial and associated divisor functions, we show how they can be used to count principal reversible square matrices of the type considered by Ollerenshaw and Brée and so sum-and-distance systems of integers.

     

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 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.

     

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.

     

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.

     

A limiting analysis on regularization of singular SDP and its implication to infeasible interior-point algorithms

We consider primal-dual pairs of semidefinite programs and assume that they are singular, i.e., both primal and dual are either weakly feasible or weakly infeasible. Under such circumstances, strong duality may break down and the primal and dual might have a nonzero duality gap. Nevertheless, there are arbitrary small perturbations to the problem data which would make them strongly feasible thus zeroing the duality gap. In this paper, we conduct an asymptotic analysis of the optimal value as the perturbation for regularization is driven to zero. Specifically, we fix two positive definite matrices, \(I_p\) and \(I_d\), say, (typically the identity matrices), and regularize the primal and dual problems by shifting their associated affine space by \(\eta I_p\) and \(\varepsilon I_d\), respectively, to recover interior feasibility of both problems, where \(\varepsilon \) and \(\eta \) are positive numbers. Then we analyze the behavior of the optimal value of the regularized problem when the perturbation is reduced to zero keeping the ratio between \(\eta \) and \(\varepsilon \) constant. A key feature of our analysis is that no further assumptions such as compactness or constraint qualifications are ever made. It will be shown that the optimal value of the perturbed problem converges to a value between the primal and dual optimal values of the original problems. Furthermore, the limiting optimal value changes “monotonically” from the primal optimal value to the dual optimal value as a function of \(\theta \), if we parametrize \((\varepsilon , \eta )\) as \((\varepsilon , \eta )=t(\cos \theta , \sin \theta )\) and let \(t\rightarrow 0\). Finally, the analysis leads us to the relatively surprising consequence that some representative infeasible interior-point algorithms for SDP generate sequences converging to a number between the primal and dual optimal values, even in the presence of a nonzero duality gap. Though this result is more of theoretical interest at this point, it might be of some value in the development of infeasible interior-point algorithms that can handle singular problems.

     

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\).

     

Existence of Continuous Eigenvalues for a Class of Parametric Problems Involving the $(p,2)$-Laplacian Operator

We discuss a parametric eigenvalue problem, where the differential operator is of \((p,2)\)-Laplacian type. We show that, when \(p\neq 2\), the spectrum of the operator is a half line, with the end point formulated in terms of the parameter and the principal eigenvalue of the Laplacian with zero Dirichlet boundary conditions. Two cases are considered corresponding to \(p>2\) and \(p<2\), and the methods that are applied are variational. In the former case, the direct method is applied, whereas in the latter case, the fibering method of Pohozaev is used. We will also discuss a priori bounds and regularity of the eigenfunctions. In particular, we will show that, when the eigenvalue tends towards the end point of the half line, the supremum norm of the corresponding eigenfunction tends to zero in the case of \(p>2\), and to infinity in the case of \(p < 2\).

     

On the 2-rainbow independent domination numbers of some graphs

By suitably adjusting the tropical algebra technique we compute the rainbow independent domination numbers of several infinite families of graphs including Cartesian products \(C_n \Box P_m\) and \(C_n \Box C_m\) for all n and \(m\le 5\), and generalized Petersen graphs P(n, 2) for \(n \ge 3\).

     

Defining Relations for the Carpet Subgroups of Chevalley Groups over Fields

The carpet subgroups admitting a Bruhat decomposition and different from Chevalley groups are exhausted by the groups lying between the Chevalley groups of type \( B_{l} \), \( C_{l} \), \( F_{4} \), or \( G_{2} \) over various imperfect fields of exceptional characteristic 2 or 3, the larger of which is an algebraic extension of the smaller field. Moreover, as regards the types \( B_{l} \) and \( C_{l} \), these subgroups are parametrized by the pairs of additive subgroups one of which may fail to be a field and, for the type \( B_{2} \), even both additive subgroups may fail to be fields. In this paper for the carpet subgroups admitting a Bruhat decomposition we present the relations similar to those well known for Chevalley groups over fields.

     

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 Dual Kaczmarz Algorithm

The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector \(x\) in a (separable) Hilbert space from the inner-products \(\{\langle x, \phi _{n} \rangle \}\). The Kaczmarz algorithm defines a sequence of approximations from the sequence \(\{\langle x, \phi _{n} \rangle \}\); these approximations only converge to \(x\) when \(\{\phi _{n}\}\) is effective. We dualize the Kaczmarz algorithm so that \(x\) can be obtained from \(\{\langle x, \phi _{n} \rangle \}\) by using a second sequence \(\{\psi _{n}\}\) in the reconstruction. This allows for the recovery of \(x\) even when the sequence \(\{\phi _{n}\}\) is not effective; in particular, our dualization yields a reconstruction when the sequence \(\{\phi _{n}\}\) is almost effective. We also obtain some partial results characterizing when the sequence of approximations from \(\{\langle x, \phi _{n} \rangle \}\) using \(\{\psi _{n}\}\) converges to \(x\), in which case \(\{(\phi _{n}, \psi _{n})\}\) is called an effective pair.

     

Finite Groups with Generalized Subnormal Schmidt Subgroups

Given a prime \( p \) and a partition \( \sigma=\{\{p\},\{p\}^{\prime}\} \) of the set of all primes, we describe the structure of the nonnilpotent finite groups whose every Schmidt subgroup is \( \sigma \)-subnormal.