Let $p\in (0,1)$ be a real number and let $n\ge 2$ be an even integer. We determine the largest value $c_n\left(p\right)$ such that the inequality $$\sum _{i=1}^n{\left|a_i\right|}^p\ge c_n\left(p\right)$$ holds for all real numbers $a_1,...,a_n$ which are pairwise distinct and satisfy ${min}_{i\ne j}|a_i-a_j|=1$. Our theorem completes results of Ozeki, Mitrinović-Kalajdžić, and Russell, who found the optimal value $c_n\left(p\right)$ in the case $p>0$ and $n$ odd, and in the case $p\ge 1$ and $n$ even.

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem $$\mathrm{d}x=\mathrm{d}A\left(t\right)·f(t,x),h\left(x\right)=0$$ is established, where $f:[a,b]\times {ℝ}^n\to {ℝ}^n$ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function $A:[a,b]\to {ℝ}^{n\times n}$ with bounded total variation components, and $h:{BV}_s([a,b],{ℝ}^n)\to {ℝ}^n$ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition $x\left(t_1\left(x\right)\right)=ℬ\left(x\right)·x\left(t_2\left(x\right)\right)+c_0,$ where $t_i:{BV}_s([a,b],{ℝ}^n)\to [a,b]$ $(i=1,2)$ and $ℬ:{BV}_s([a,b],{ℝ}^n)\to {ℝ}^n$ are continuous...

We prove that if F is a Lipschitz map from the set of all complex n × n matrices into itself with F(0) = 0 such that given any x and y we know that F(x) - F(y) and x-y have at least one common eigenvalue, then either $F\left(x\right)=ux{u}^{-1}$ or $F\left(x\right)=u{x}^t{u}^{-1}$ for all x, for some invertible n × n matrix u. We arrive at the same conclusion by supposing F to be of class ¹ on a domain in ℳₙ containing the null matrix, instead of Lipschitz. We also prove that if F is of class ¹ on a domain containing the null matrix satisfying...

In this paper, a rigorous computational method to enclose eigenpairs of complex interval matrices is proposed. Each eigenpair $x=(\lambda ,)$ is found by solving a nonlinear equation of the form $f\left(x\right)=0$ via a contraction argument. The set-up of the method relies on the notion of $radiipolynomials$, which provide an efficient mean of determining a domain on which the contraction mapping theorem is applicable.

A matrix $A$ is said to have $𝐗$-simple image eigenspace if any eigenvector $x$ belonging to the interval $𝐗=\{x:\underline{x}\le x\le \overline{x}\}$ containing a constant vector is the unique solution of the system $A\otimes y=x$ in $𝐗$. The main result of this paper is an extension of $𝐗$-simplicity to interval max-min matrix $𝐀=\{A:\underline{A}\le A\le \overline{A}\}$ distinguishing two possibilities, that at least one matrix or all matrices from a given interval have $𝐗$-simple image eigenspace. $𝐗$-simplicity of interval matrices in max-min algebra are studied and equivalent conditions for...

Let $\left\{X_{ij}\right\}$, $i,j=\cdots$, be a double array of independent and identically distributed (i.i.d.) real random variables with $E{X}_{11}=\mu$, $E|X_{11}{-\mu |}^2=1$ and $E|X_{11}{|}^{4}lt;\infty$. Consider sample covariance matrices (with/without empirical centering) $𝒮=\frac{1}{n}{\sum }_{j=1}^n({𝐬}_j-\overline{𝐬}){({𝐬}_j-\overline{𝐬})}^T$ and $𝐒=\frac{1}{n}{\sum }_{j=1}^n{𝐬}_j{𝐬}_j^T$, where $\overline{𝐬}=\frac{1}{n}{\sum }_{j=1}^n{𝐬}_j$ and ${𝐬}_j={𝐓}_n^{1/2}{(X_{1j},...,X_{pj})}^T$ with ${\left({𝐓}_n^{1/2}\right)}^2={𝐓}_n$, non-random symmetric non-negative definite matrix. It is proved that central limit theorems of eigenvalue statistics of $𝒮$ and $𝐒$ are different as $n\to \infty$ with $p/n$ approaching a positive constant. Moreover, it is also proved that such a different behavior is not observed in the...

We consider problem (P) of Kirchhoff-Carrier type with nonlinear terms containing a finite number of unknown values $u({\eta }_1,t),\cdots ,u({\eta }_q,t)$ with $0\le {\eta }_1<{\eta }_2<\cdots <{\eta }_q<1.$ By applying the linearization method together with the Faedo-Galerkin method and the weak compact method, we first prove the existence and uniqueness of a local weak solution of problem (P). Next, we consider a specific case $\left({\mathrm{P}}_q\right)$ of (P) in which the nonlinear term contains the sum $S_q\left[u^2\right]\left(t\right)=q^{-1}{\sum }_{i=1}^q{u}^2(\frac{(i-1)}{q},t)$. Under suitable conditions, we prove that the solution of $\left({\mathrm{P}}_q\right)$ converges to the solution...

Let $A$ be a bounded linear operator in a complex separable Hilbert space $\mathscr{H}$, and $S$ be a selfadjoint operator in $\mathscr{H}$. Assuming that $A-S$ belongs to the Schatten-von Neumann ideal ${𝒮}_p$ $(p>1),$ we derive a bound for ${\sum }_k{|\mathrm{R}{\lambda }_k\left(A\right)-{\lambda }_k\left(S\right)|}^p$, where ${\lambda }_k\left(A\right)$ $(k=1,2,\cdots )$ are the eigenvalues of $A$. Our results are formulated in terms of the “extended” eigenvalue sets in the sense introduced by T. Kato. In addition, in the case $p=2$ we refine the Weyl inequality between the real parts of the eigenvalues of $A$ and the eigenvalues...

We present a novel approach for bounding the resolvent of $$H=-\Delta +i(A·\nabla +\nabla ·A)+V=:-\Delta +L1$$ for large energies. It is shown here that there exist a large integer $m$ and a large number ${\lambda }_0$ so that relative to the usual weighted $L^2$-norm, $$\parallel {\left(L{(-\Delta +(\lambda +i0))}^{-1}\right)}^m\parallel <\frac{1}{2}2$$ for all $\lambda >{\lambda }_0$. This requires suitable decay and smoothness conditions on $A,V$. The estimate (2) is trivial when $A=0$, but difficult for large $A$ since the gradient term exactly cancels the natural decay of the free resolvent. To obtain (2), we introduce a conical decomposition of the resolvent and...

Consider the $n\times n$ matrix with $(i,j)$’th entry $gcd(i,j)$. Its largest eigenvalue ${\lambda }_n$ and sum of entries $s_n$ satisfy ${\lambda }_n>s_n/n$. Because $s_n$ cannot be expressed algebraically as a function of $n$, we underestimate it in several ways. In examples, we compare the bounds so obtained with one another and with a bound from S. Hong, R. Loewy (2004). We also conjecture that ${\lambda }_n>6{\pi }^{-2}nlogn$ for all $n$. If $n$ is large enough, this follows from F. Balatoni (1969).