Well-posedness of a semilinear heat equation with weak initial data

This article mainly consists of two parts. In the first part the initial value problem (IVP) of the semilinear heat equation $$\begin{gathered} \partial _t u - \Delta u = \left| u \right|^{k - 1} u, on \mathbb{R}^n x(0,\infty ), k \geqslant 2 \hfill \\ u(x,0) = u_0 (x), x \in \mathbb{R}^n \hfill \\ \end{gathered} $$ with initial data in $\dot L_{r,p} $ is studied. We prove the well-posedness when $$1< p< \infty , \frac{2}{{k(k - 1)}}< \frac{n}{p} \leqslant \frac{2}{{k - 1}}, and r =< \frac{n}{p} - \frac{2}{{k - 1}}( \leqslant 0)$$ and construct non-unique solutions for $$1< p< \frac{{n(k - 1)}}{2}< k + 1, and r< \frac{n}{p} - \frac{2}{{k - 1}}.$$ In the second part the well-posedness of the avove IVP for k=2 with μ₀?H ^s (? ⁿ ) is proved if $$ - 1< s, for n = 1, \frac{n}{2} - 2< s, for n \geqslant 2.$$ and this result is then extended for more general nonlinear terms and initial data. By taking special values of r, p, s, and u₀, these well-posedness results reduce to some of those previously obtained by other authors [4, 14].     

On groups with large character degree sums

Let G be a finite group, and let T(G) be the sum of all complex irreducible character degrees of G. Define ${f(G) = \frac{T(G)}{|G|}}$ . In this paper, we show that if G is a finite group and ${f(G) > \frac{4}{15}}$ , then G is solvable.     

Arrangements of Hyperplanes and the Number of Threshold Functions

Two approaches on estimating the number of threshold functions which were recently developed by the author are discussed. Let P(K,n) denote the number of threshold functions in K-valued logic. The first approach establishes that $$P(K,n + 1) \geqslant \frac{1}{2}\left( {\mathop {K^{n - 1} }\limits_{\left\lfloor {n - 4 - 2\frac{n}{{\log _K n}}} \right\rfloor } } \right)P\left( {K,\left\lfloor {{\text{2}}\frac{n}{{\log _K n}} + 3} \right\rfloor } \right).$$ The key argument of investigation is the generalization of the result of Odlyzko on subspaces spanned by random selections of ±1-vectors. Let $E_K = \{ 0,1 \ldots ,K - 1\} $ and let E denote the set of all vectors $w_i ,i = 1, \ldots ,K^n $ , which have the form $(1,a_1 , \ldots ,a_n ),a_i \in E_K $ . Denote by $\Lambda _n (K)$ the number of all collections of different vectors $(w_{i_1 } , \ldots ,w_{i_n } ),2 \leqslant i_1 , \ldots ,i_n \leqslant \mathbb{K}^n $ , such that, for any k, $1 \leqslant k \leqslant n$ , the vector $w_{i_k } $ is minimal among all vectors from the set $E \cap {\text{span}}(w_{i_k } , \ldots ,w_{i_n } )$ . The second approach is based on topology-combinatorical techniques and allows to establish the following inequality $P(K,n) \geqslant 2\Lambda _n (K)$ .     

The Dual Group of a Dense Subgroup

Throughout this abstract, G is a topological Abelian group and $\hat G$ is the space of continuous homomorphisms from G into the circle group ${\mathbb{T}}$ in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism $\hat G \to \hat D$ given by $h \mapsto h\left| D \right.$ is a homeomorphism, and G is determined if each dense subgroup of G determines G. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is determined. The authors offer several related results, including these. 1. There are (many) nonmetrizable, noncompact, determined groups. 2. If the dense subgroup D _i determines G _i with G _i compact, then $ \oplus _i D_i $ determines Π_i G _i. In particular, if each G _i is compact then $ \oplus _i G_i $ determines Π_i G _i. 3. Let G be a locally bounded group and let G ⁺ denote G with its Bohr topology. Then G is determined if and only if G ⁺ is determined. 4. Let non $\left( {\mathcal{N}} \right)$ be the least cardinal κ such that some $X \subseteq {\mathbb{T}}$ of cardinality κ has positive outer measure. No compact G with $w\left( G \right) \geqslant non\left( {\mathcal{N}} \right)$ is determined; thus if $\left( {\mathcal{N}} \right) = {\mathfrak{N}}_1 $ (in particular if CH holds), an infinite compact group G is determined if and only if w(G) = ω. Question. Is there in ZFC a cardinal κ such that a compact group G is determined if and only if w(G) < κ? Is $\kappa = non\left( {\mathcal{N}} \right)?\kappa = {\mathfrak{N}}_1 ?$      

Representation of Integers by Positive Quaternary Quadratic Forms

Let $f(x,y,x,w) = x^2 + y^2 + z^2 + Dw^2$ , where $D >1$ is an integer such that $D \ne d^2$ and ${{\sqrt n } \mathord{\left/ {\vphantom {{\sqrt n } {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}} \right. \kern-0em} {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}$ . Let $rf(n)$ be the number of representations of n by f. It is proved that $r_f (n) = \pi ^2 \frac{n}{{\sqrt D }}\sigma _f (n) + O\left( {\frac{{n^{1 + \varepsilon - c(\theta )} }}{{\sqrt D }}} \right),$ where $\sigma _f (n)$ is the singular series, $c(\theta ) >0$ , and ε is an arbitrarily small positive constant. Bibliography: 14 titles.     

Counting the centralizers of some finite groups

For a finite groupG, #Cent(G) denotes the number of centralizers of its elements. A groupG is called n-centralizer if #Cent(G) =n, and primitiven-centralizer if # Cent(G)\text = # Cent\text(\fracGZ(G))\text = n\# Cent(G){\text{ = \# }}Cent{\text{(}}\frac{G}{{Z(G)}}){\text{ = }}n. In this paper we compute the number of distinct centralizers of some finite groups and investigate the structure of finite groups with exactly six distinct centralizers. We prove that ifG is a 6-centralizer group then % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSaaaeaaca% WGhbaabaGaamOwaiaacIcacaWGhbGaaiykaaaacaqGGaGaeyyrIaKa% aeiiaGqaciaa-readaWgaaWcbaGaa8hoaaqabaGccaGGSaGaaeiiai% aa-feadaWgaaWcbaGaa8hnaaqabaGccaGGSaGaaeiiaiaabQfadaWg% aaWcbaGaaeOmaaqabaGccaqGGaGaey41aqRaaeiiaiaabQfadaWgaa% WcbaGaaeOmaaqabaGccaqGGaGaey41aqRaaeiiaiaabQfadaWgaaWc% baGaaeOmaaqabaGccaqGGaGaae4BaiaabkhacaqGGaGaaeOwamaaBa% aaleaacaqGYaaabeaakiaabccacqGHxdaTcaqGGaGaaeOwamaaBaaa% leaacaqGYaaabeaakiaabccacqGHxdaTcaqGGaGaaeOwamaaBaaale% aacaqGYaaabeaakiaabccacqGHxdaTcaqGGaGaaeOwamaaBaaaleaa% caqGYaaabeaaaaa!62C4!\[\frac{G}{{Z(G)}}{\text{ }} \cong {\text{ }}D_8 ,{\text{ }}A_4 ,{\text{ Z}}_{\text{2}} {\text{ }} \times {\text{ Z}}_{\text{2}} {\text{ }} \times {\text{ Z}}_{\text{2}} {\text{ or Z}}_{\text{2}} {\text{ }} \times {\text{ Z}}_{\text{2}} {\text{ }} \times {\text{ Z}}_{\text{2}} {\text{ }} \times {\text{ Z}}_{\text{2}} \] .     

On Certain Integral Operators of Fractional Type

In this paper we study integral operators of the form $$T\,f\left( x \right) = \int {k_1 \left( {x - a_1 y} \right)k_2 \left( {x - a_2 y} \right)...k_m \left( {x - a_m y} \right)f\left( y \right)dy} ,$$ $$k_i \left( y \right) = \sum\limits_{j \in Z} {2^{\frac{{jn}}{{q_i }}} } \varphi _{i,j} \left( {2^j y} \right),\,1 \leqq q_i < \infty ,\frac{1}{{q_1 }} + \frac{1}{{q_2 }} + ... + \frac{1}{{q_m }} = 1 - r,$$ $0 \leqq r < 1$ , and $\varphi _{i,j}$ satisfying suitable regularity conditions. We obtain the boundedness of $T:L^p \left( {R^n } \right) \to T:L^q \left( {R^n } \right)$ for $1 < p < \frac{1}{r}$ and $\frac{1}{q} = \frac{1}{p} - r$ .     

On the Fourier--Haar Coefficients of Functions of Several Variables with Bounded Vitali Variation

In this paper, we study the behavior of the Fourier--Haar coefficients $a_{m_1 , \ldots ,m_n } \left( f \right)$ of functions $f$ Lebesgue integrable on the $n$ -dimensional cube $D_n = \left[ {0,1} \right]^n $ and having a bounded Vitali variation $V_{D_n } f$ on it. It is proved that $$\sum\limits_{m_1 = 2}^\infty \cdots \sum\limits_{m_n = 2}^\infty {\left| {a_{m_1 , \ldots ,m_n } \left( f \right)} \right|} \leqslant \left( {\frac{{2 + \sqrt 2 }}{3}} \right)^n {\text{ }}.{\text{ }}V_{D_n } f$$ and shown that this estimate holds for some function of bounded finite nonzero Vitali variation.     

Codimension 1 Subvarieties of {\mathcal{M}_g } and Real Gonality of Real Curves

Let ${\mathcal{M}_g }$ be the moduli space of smooth complex projective curves of genus g. Here we prove that the subset of ${\mathcal{M}_g }$ formed by all curves for which some Brill-Noether locus has dimension larger than the expected one has codimension at least two in ${\mathcal{M}_g }$ . As an application we show that if ${X \in \mathcal{M}_g }$ is defined over $\mathbb{R}$ then there exists a low degree pencil ${u:X \to \mathbb{P}^1 }$ defined over $\mathbb{R}.$      

On Total Incomparability of Mixed Tsirelson Spaces

We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T\left[ {\left( {\mathcal{M}_k ,\theta _k } \right)_{k = 1}^l } \right]$ with index $i\left( {\mathcal{M}_k } \right)$ finite are either c ₀ or $\ell _p $ saturated for some p and we characterize when any two spaces of such a form are totally incomparable in terms of the index $i\left( {\mathcal{M}_k } \right)$ and the parameter θ _k . Also, we give sufficient conditions of total incomparability for a particular class of spaces of the form $T\left[ {\left( {\mathcal{A}_k ,\theta _k } \right)_{k = 1}^\infty } \right]$ in terms of the asymptotic behaviour of the sequence $\left\| {\sum\limits_{j = 1}^n {e_i } } \right\|$ where (e _i is the canonical basis.     

\mathfrak{E} of topological spaces II

In this paper, we obtain analogues, in the situation of \(\mathfrak{E}\) -extensions, of Magill's theorem on lattices of compactifications. We define an epireflective subcategory of the categoryT 2 of all Hausdorff spaces to be admissive (respectively finitely admissive) if for any \(\mathfrak{E}\) -regular spaceX, every Hausdorff quotient of \(\beta _\mathfrak{E} X\) which is Urysohn on \(\beta _\mathfrak{E} X - X\) (respectively which is finitary on \(\beta _\mathfrak{E} X - X\) ) and which is identity onX, has \(\mathfrak{E}\) . We notice that there are many proper epireflective subcategories ofT 2 containing all compact spaces and which are admissive; there are many such which are not admissive but finitely admissive. We prove that when \(\mathfrak{E}\) is a finitely admissive epireflective subcategory ofT 2, then the lattices of finitary \(\mathfrak{E}\) -extensions of two spacesX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic. Further if \(\mathfrak{E}\) is admissive, then the lattices of Urysohn \(\mathfrak{E}\) -extensions ofX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic.     

A conjecture of Segre on diophantine approximation

In 1945,B. Segre proved the following classical theorem: Every irrational ξ has an infinity of rational approximationsp/q such that (0) $$\frac{{ - 1}}{{q^2 \sqrt {1 + 4\tau } }}< \frac{p}{q} - \xi< \frac{\tau }{{q^2 \sqrt {1 + 4\tau } }},$$ where τ is any given non-negative real number. Segre conjectured that when τ≠0 and τ^?1 is not an integer, inequalities (0) can be improved by replacing \(\sqrt {1 + 4\tau } \) and \(\sqrt {1 + 4\tau } /\tau \) with larger numbers. In this paper we prove that these two numbers can be replaced with the larger numbers \(\sqrt {1 + 4\tau } + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) and \(\sqrt {1 + 4\tau } /\tau + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) respectively, where {τ^?1} is the fractional part of τ^?1.     

On sum sets of sidon sets,II

LetG be a finite abelian group,G?{Z _n, Z₂?Z_2n}. Then every sequenceA={g ₁,...,g_t} of $t = \frac{{4\left| G \right|}}{3} + 1$ elements fromG contains a subsequenceB?A, |G|=|G| such that $\sum\nolimits_{g_i \in B^{g_i } } { = 0 (in G)} $ . This bound, which is best possible, extends recent results of [1] and [22] concerning the celebrated theorem of Erdös-Ginzburg-Ziv [21].     

Oscillation theorems for second-order nonlinear delay difference equations

By means of Riccati transformation technique, we establish some new oscillation criteria for second-order nonlinear delay difference equation $$\Delta (p_n (\Delta x_n )^\gamma ) + q_n f(x_{n - \sigma } ) = 0,\;\;\;\;n = 0,1,2,...,$$ when $\sum\limits_{n = 0}^\infty {\left( {\frac{1}{{Pn}}} \right)^{\frac{1}{\gamma }} = \infty }$ . When $\sum\limits_{n = 0}^\infty {\left( {\frac{1}{{Pn}}} \right)^{\frac{1}{\gamma }} < \infty }$ we present some sufficient conditions which guarantee that, every solution oscillates or converges to zero. When $\sum\limits_{n = 0}^\infty {\left( {\frac{1}{{Pn}}} \right)^{\frac{1}{\gamma }} = \infty }$ holds, our results do not require the nonlinearity to be nondecreasing and are thus applicable to new classes of equations to which most previously known results are not.     

Schrödinger equation and oscillatory Hilbert transforms of second degree

Let $h(t,x): = p.v. \sum\limits_{n \in Z\backslash \left| 0 \right|} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} = \mathop {\lim }\limits_{N \to \infty } \sum\limits_{0< \left| n \right| \leqslant N} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} $ ( $(i = \sqrt { - 1;} t,x$ -real variables). It is proved that in the rectangle $D: = \left\{ {(t,x):0< t< 1,\left| x \right| \leqslant \frac{1}{2}} \right\}$ , the function h satisfies the followingfunctional inequality: $\left| {h(t,x)} \right| \leqslant \sqrt t \left| {h\left( {\frac{1}{t},\frac{x}{t}} \right)} \right| + c,$ where c is an absolute positive constant. Iterations of this relation provide another, more elementary, proof of the known global boundedness result $\left\| {h; L^\infty (E^2 )} \right\| : = ess sup \left| {h(t,x)} \right|< \infty .$ The above functional inequality is derived from a general duality relation, of theta-function type, for solutions of the Cauchy initial value problem for Schrödinger equation of a free particle. Variation and complexity of solutions of Schrödinger equation are discussed.     

An abstract Dirichlet problem in the Hilbert space

In the present paper, we consider an abstract partial differential equation of the form $\frac{{\partial ^2 u}}{{\partial t^2 }} - \frac{{\partial ^2 u}}{{\partial x^2 }} + A\left( {x,t} \right)u = f\left( {x,t} \right)$ , where $\left\{ {A\left( {x,t} \right):\left( {x,t} \right) \in \bar G} \right\}$ is a family of linear closed operators and $\bar G = G \cup \partial G,G$ is a suitable bounded region in the (x, t)-plane with boundary?G. It is assumed thatu is given on the boundary?G. The objective of this paper is to study the considered Dirichlet problem for a wide class of operatorsA(x, t). A Dirichlet problem for non-elliptic partial differential equations of higher orders is also considered.     

Hypergraphs do not jump

The number α, 0≦α≦1, is a jump forr if for any positive ε and any integerm,m≧r, anyr-uniform hypergraph withn>n _o (ε,m) vertices and at least (α+ε) \(\left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)\) edges contains a subgraph withm vertices and at least (α+c) \(\left( {\begin{array}{*{20}c} m \\ r \\ \end{array} } \right)\) edges, wherec=c(α) does not depend on ε andm. It follows from a theorem of Erdös, Stone and Simonovits that forr=2 every α is a jump. Erdös asked whether the same is true forr≧3. He offered $ 1000 for answering this question. In this paper we give a negative answer by showing that \(1 - \frac{1}{{l^{r - 1} }}\) is not a jump ifr≧3,l>2r.