Thin equivalence relations in scaled pointclasses

For ordinals α beginning a Σ₁ gap in $\mathrm{L}(\mathbb {R})$, where $\Sigma _{1}^{\mathrm{J}_{\alpha }(\mathbb {R})}$ is closed under number quantification, we give an inner model‐theoretic proof that every thin $\Sigma _{1}^{\mathrm{J}_{\alpha }(\mathbb {R})}$ equivalence relation is $\Delta _{1}^{\mathrm{J}_{\alpha }(\mathbb {R})}$ in a real parameter from the (optimal) hypothesis $\mathsf {AD}^{\mathrm{J}_{\alpha }(\mathbb {R})}$.     

Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

Littlewood-Paley Formulas and Carleson Measures for Weighted Fock Spaces Induced by A ∞ $A_{\infty }$ -Type Weights

Potential Analysis - We obtain Littlewood-Paley formulas for Fock spaces ${\mathcal {F}}_{\beta ,\omega }^{q}$ induced by weights $\omega \in {A}_{\infty }^{restricted} = \cup _{1 \le p &lt;...     

多元线性模型中的有偏估计

刘金山在1999年给出了多元线性模型参数分量βi和参数矩阵B的有偏估计β1=(X'X)-1YCi,i=1,…,m和B=(β1,β2,…,βm)以及βi的性质.本文从另一角度得到了同样的估计,证明了刘金山文中所给的两个检验是UMP检验,估计βi是βi的线性可容许估计,证明了B不是B的可容许估计,由此给出了两种改进估计.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Functional Inequalities and Weighted Porous Media Equations

Using measure-capacity inequalities we study new functional inequalities, namely L ^q -Poincaré inequalities

On the Distance to the Closest Matrix with Triple Zero Eigenvalue

The 2-norm distance from a matrix A to the set ${\mathcal{M}}$ of n × n matrices with a zero eigenvalue of multiplicity ≥3 is estimated. If $$Q(\gamma _1 ,\gamma _2 ,\gamma _3 ) = \left( {\begin{array}{*{20}c} A &amp; {\gamma _1 I_n } &amp; {\gamma _3 I_n } \\ 0 &amp; A &amp; {\gamma _2 I_n } \\ 0 &amp; 0 &amp; A \\ \end{array} } \right), n \geqslant 3,$$ then $$\rho _2 (A,{\mathcal{M}}) \geqslant {\mathop {max}\limits_{\gamma _1 ,\gamma _2 \geqslant 0,\gamma _3 \in {\mathbb{C}}}} \sigma _{3n - 2} (Q(\gamma _1 ,\gamma _2 ,\gamma _3 )),$$ where σⁱ(·)is the ith singular value of the corresponding matrix in the decreasing order of singular values. Moreover, if the maximum on the right-hand side is attained at the point $\gamma ^ * = (\gamma _1^ * ,\gamma _2^ * ,\gamma _3^ * )$ , where $\gamma _1^ * \gamma _2^ * \ne 0$ , then, in fact, one has the exact equality $$\rho _2 (A,{\mathcal{M}}) = \sigma _{3n - 2} (Q(\gamma _1^ * ,\gamma _2^ * ,\gamma _3^ * )).$$ This result can be regarded as an extension of Malyshev's formula, which gives the 2-norm distance from A to the set of matrices with a multiple zero eigenvalue.     

-summand vectors in Banach spaces

The aim of this paper is to study the set of all -summand vectors of a real Banach space . We provide a characterization of -summand vectors in smooth real Banach spaces and a general decomposition theorem which shows that every real Banach space can be decomposed as an -sum of a Hilbert space and a Banach space without nontrivial -summand vectors. As a consequence, we generalize some results and we obtain intrinsic characterizations of real Hilbert spaces.

     

Semiclassical symmetric Schr?dinger equations: Existence of solutions concentrating simultaneously on several spheres

We study the radially symmetric Schr?dinger equation

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

Impulsive fractional boundary value problem with <Emphasis Type="Italic">p</Emphasis>-Laplace operator

In the present paper, we deal with the existence and multiplicity of solutions for the following impulsive fractional boundary value problem

$$\begin{aligned} {_{t}}D_{T}^{\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) + a(t)|u(t)|^{p-2}u(t)= & {} f(t,u(t)),\;\;t\ne t_j,\;\;\hbox {a.e.}\;\;t\in [0,T],\\ \Delta \left( {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j)\right) \right)= & {} I_j(u(t_j))\;\;j=1,2,\ldots ,n,\\ u(0)= & {} u(T) = 0. \end{aligned}$$

where \(\alpha \in (1/p, 1]\), \(1<p<\infty \), \(0 = t_0<t_1< t_2< \cdots< t_n < t_{n+1} = T\), \(f:[0,T]\times \mathbb {R} \rightarrow \mathbb {R}\) and \(I_j : \mathbb {R} \rightarrow \mathbb {R}\), \(j = 1, \ldots , n\), are continuous functions, \(a\in C[0,T]\) and

$$\begin{aligned} \Delta \left( {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j)\right) \right)= & {} {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right) \\&- {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j^-)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^-\right) \right) ,\\ {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right)= & {} \lim _{t \rightarrow t_j^+} {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) ,\\ {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j^-)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j^-)\right)= & {} \lim _{t\rightarrow t_j^-}{_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) . \end{aligned}$$

By using variational methods and critical point theory, we give some criteria to guarantee that the above-mentioned impulsive problems have at least one weak solution and a sequences of weak solutions.

     

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,

Directional approximation of functions of two variables in the spaces ℒ p (R2) and ℒ p (R + 2 )

Let r ∈ N, α, t ∈ R, x ∈ R ², f: R ² → C, and denote $ \Delta _{t,\alpha }^r (f,x) = \sum\limits_{k = 0}^r {( - 1)^{r - k} c_r^k f(x_1 + kt\cos \alpha ,x_2 + kt\sin \alpha ).} $ In this paper, we investigate the relation between the behavior of the quantity $ \left\| {\int\limits_E {\Delta _{t,\alpha }^r (f, \cdot )\Psi _n (t)dt} } \right\|_{p,G} , $ as n → ∞ (here, E ? R, G ∈ {R ², R ₊ ² }, and ψ _n ∈ L ₁(E) is a positive kernel) and structural properties of function f. These structural properties are characterized by its “directional” moduli of continuity: $ \omega _{r,\alpha } (f,h)_{p,G} = \mathop {\sup }\limits_{0 \leqslant t \leqslant h} \left\| {\Delta _{t,\alpha }^r (f)} \right\|_{p,G} . $ Here is one of the results obtained. Theorem 1. Let E and A be intervals in R ₊ such that A ? E, f ∈ L _p (G), α ∈ [0, 2π] when G =R ² and α ∈ [0, π/2] when G = R ₊ ² Denote Δ _{n, k} = ∫ _A t ^k ψ _n (t)dt. If there exists an r ∈ N such that, for any m ∈ N, we have Δ _{m, r} > 0, Δ _{m, r + 1} < ∞, and $ \mathop {\lim }\limits_{n \to \infty } \frac{{\Delta _{n,r + 1} }} {{\Delta _{n,r} }} = 0,\mathop {\lim }\limits_{n \to \infty } \Delta _{n,r}^{ - 1} \int\limits_{E\backslash A} {\Psi _n = 0} , $ then the relations $ \mathop {\lim }\limits_{n \to \infty } \Delta _{n,r}^{ - 1} \left\| {\int\limits_E {\Delta _{t,\alpha }^r (f, \cdot )\Psi _n dt} } \right\|_{p,G} \leqslant K, \mathop {\sup }\limits_{t \in (0,\infty )} t^r \omega _{r,\alpha } (f,t)_{p,G} \leqslant K $ are equivalent. Particular methods of approximation are considered. We establish Corollary 1. Let p, G, α, and f be the same as in Theorem 1, and $ \sigma _{n,\alpha } (f,x) = \frac{2} {{\pi n}}\int\limits_{R_ + } {\Delta _{t,\alpha }^1 (f,x)} \left( {\frac{{\sin \frac{{nt}} {2}}} {t}} \right)^2 dt. $ Then the relations $ \mathop {\underline {\lim } }\limits_{n \to \infty } \frac{{\pi n}} {{\ln n}}\left\| {\sigma _{n,\alpha } (f)} \right\|_{p,G} \leqslant K Let r ∈ N, α, t ∈ R, x ∈ R ², f: R ² → C, and denote In this paper, we investigate the relation between the behavior of the quantity as n → ∞ (here, E ⊂ R, G ∈ {R ², R ₊²}, and ψ _n ∈ L ₁(E) is a positive kernel) and structural properties of function f. These structural properties are characterized by its “directional” moduli of continuity: Here is one of the results obtained. Theorem 1. Let E and A be intervals in R ₊ such that A ⊂ E, f ∈ L _p (G), α ∈ [0, 2π] when G =R ² and α ∈ [0, π/2] when G = R ₊² Denote Δ _{n, k} = ∫ _A t ^k ψ _n (t)dt. If there exists an r ∈ N such that, for any m ∈ N, we have Δ _{m, r} > 0, Δ _{m, r + 1} < ∞, and then the relations are equivalent. Particular methods of approximation are considered. We establish Corollary 1. Let p, G, α, and f be the same as in Theorem 1, and Then the relations and are equivalent. Original Russian Text ? N.Yu. Dodonov, V.V. Zhuk, 2008, published in Vestnik Sankt-Peterburgskogo Universiteta. Seriya 1. Matematika, Mekhanika, Astronomiya, 2008, No. 2, pp. 23–33.     

The Krzyz Problem and Polynomials with Zeros on the Unit Circle

Let $ \Pi_{n,M} $ be the class of all polynomials $ p(z) = \sum _{0}^{n} a_{k}z^{k} $ of degree n which have all their zeros on the unit circle $ |z| = 1$ , and satisfy $ M = \max _{|z| = 1}|\,p(z)| $ . Let $ \mu _{k,n} = \sup _{p\in \Pi _{n,M}} |a_{k}| $ . Saff and Sheil-Small asked for the value of $\overline {\lim }_{n\rightarrow \infty }\mu _{k,n} $ . We find an equivalence between this problem and the Krzyz problem on the coefficients of bounded non-vanishing functions. As a result we compute $$ \overline {\lim }_{n\rightarrow \infty }\mu _{k,n} = {{M} \over {e}}\quad {\rm for}\ k = 1,2,3,4,5.$$ We also obtain some bounds for polynomials with zeros on the unit circle. These are related to a problem of Hayman.     

Special Quasigraded Lie Algebras and Integrable Hamiltonian Systems

We construct a family of special quasigraded Lie algebras of functions of one complex variables with values in finite-dimensional Lie algebra , labeled by the special 2-cocycles F on . The main property of the constructed Lie algebras is that they admit Kostant-Adler-Symes scheme. Using them we obtain new integrable finite-dimensional Hamiltonian systems and new hierarchies of soliton equations.     

Approximating periodic functions in the uniform metric by Jackson type polynomials

Let C be the space of continuous 2π-periodic functions f with the norm . Let , where , be the Jackson polynomials of a function f, E _n (f) be the best approximation of f in the space C by trigonometric polynomials of order n, and let , be the function trigonometrically conjugate to the primitive of f. The paper establishes results of the following types:

On the bidual of quasinormable Fréchet algebras

It is known that the bidual of a quasinormable Fréchet space E with local Banach spaces $(E_n)_{n\in {\mathbb N}}$ is topologically isomorphic to the inverse limit of $\big (E_n^{\prime \prime }\big )_{n\in {\mathbb N}}$. With the aid of the Arens product and by homological means, we prove that the previous result is equally valid for quasinormable Fréchet m‐convex algebras. This allows showing that the bidual of a σ‐C*‐algebra equipped with the Arens product is a σ‐C*‐algebra and presenting a new direct proof of a result on acyclic spectra due to Palamodov.     

On the Number of Topological Types Occurring in a Parameterized Family of Arrangements

Let be an o-minimal structure over ℝ, a closed definable set, and

Some Characterizations of Integral Operators Associated with Certain Classes of <Emphasis Type="Italic">p</Emphasis>-Valent Functions Defined by the Srivastava–Saigo–Owa Fractional Differintegral Operator

The purpose of this paper is to introduce new integral operators associated with Srivastava–Saigo–Owa fractional differintegral operator. We investigate some properties for the integral operators \({\mathcal {F}}_{p,\eta ,\mu }^{\lambda ,\delta }(z)\) and \({\mathcal {G}}_{p,\eta ,\mu }^{\lambda ,\delta }(z)\) to be in the classes \({\mathcal {R}}_{k}^{\zeta }\left( p,\rho \right) \) and \({\mathcal {V}}_{k}^{\zeta }\left( p,\rho \right) \).     

A note on da Costa-Doria “exotic formalizations”

We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and has the same provably total recursive functions as ${\mathsf{T}+\left( \varphi \leftrightarrow \varphi ^{\star }\right) }$ . Furthermore we show that 1–3 continue to hold for ${\varphi ^{\star} := \varphi _{S} :=\varphi \vee \lnot S}$ , where ${S=\forall x\exists yR\left( x,y\right)}$ is any ${\Pi _{2}^{0}}$ sentence satisfying: 4. ${\left( \forall n\in \omega \right) \left( \mathsf{T}\vdash S_{x}\left[ \underline{n}\right] \right) }$ , 5. ${\mathsf{Con}\left( \mathsf{T}\right) \Rightarrow \mathsf{T}\nvdash S}$ . We observe that if ${\varphi :=\left[ \mathsf{P}=\mathsf{NP}\right] }$ and ${S:= \left[\digamma total\right] }$ , where ${\digamma=\digamma _{\mathsf{T}}}$ is da Costa-Doria “exotic” function with respect to T, then 4, 5 are satisfied for most familiar (presumably) consistent T in question, while ${\varphi _{S}}$ becomes equivalent to da Costa-Doria “exotic formalization” ${\left[ \mathsf{P}=\mathsf{NP}\right]^{\digamma}}$ . Moreover, the corresponding “exotic” inferences 1–3 generalize analogous da Costa-Doria results. Hence these “exotic” inferences are universal for all number-theoretic sentences and not characteristic to the conjecture P = NP. Nor do they infer relative consistency of P = NP (see Conclusion 15 in the text).