We present the full descriptive characterizations of the strong McShane integral (or the variational McShane integral) of a Banach space valued function $f:W\to X$ defined on a non-degenerate closed subinterval $W$ of ${ℝ}^m$ in terms of strong absolute continuity or, equivalently, in terms of McShane variational measure $V_{ℳ}F$ generated by the primitive $F:{ℐ}_W\to X$ of $f$, where ${ℐ}_W$ is the family of all closed non-degenerate subintervals of $W$.

Let $f:I\to I$ be a $C^2$ multimodal interval map satisfying polynomial growth of the derivatives along critical orbits. We prove the existence and uniqueness of equilibrium states for the potential ${\phi }_t:x\mapsto -tlog\left|Df\left(x\right)\right|$ for $t$ close to $1$, and also that the pressure function $t\mapsto P\left({\phi }_t\right)$ is analytic on an appropriate interval near $t=1$.

Given a graph $G=(V,E)$, if we can partition the vertex set $V$ into two nonempty subsets $V_1$ and $V_2$ which satisfy $\Delta \left(G\left[V_1\right]\right)\le d_1$ and $\Delta \left(G\left[V_2\right]\right)\le d_2$, then we say $G$ has a $({\Delta }_{d_1},{\Delta }_{d_2})$-partition. And we say $G$ admits an $(F_{d_1},F_{d_2})$-partition if $G\left[V_1\right]$ and $G\left[V_2\right]$ are both forests whose maximum degree is at most $d_1$ and $d_2$, respectively. We show that every planar graph with girth at least 5 has an $(F_4,F_4)$-partition.

For any positive integer k and any set A of nonnegative integers, let $r_{1,k}(A,n)$ denote the number of solutions (a₁,a₂) of the equation n = a₁ + ka₂ with a₁,a₂ ∈ A. Let k,l ≥ 2 be two distinct integers. We prove that there exists a set A ⊆ ℕ such that both $r_{1,k}(A,n)=r_{1,k}(\mathbb{N}\setminus A,n)$ and $r_{1,l}(A,n)=r_{1,l}(\mathbb{N}\setminus A,n)$ hold for all n ≥ n₀ if and only if log k/log l = a/b for some odd positive integers a,b, disproving a conjecture of Yang. We also show that for any set A ⊆ ℕ satisfying $r_{1,k}(A,n)=r_{1,k}(\mathbb{N}\setminus A,n)$ for all n ≥ n₀, we have $r_{1,k}(A,n)\to \infty$ as n → ∞.

Given a bounded open set $\Omega$ in ${ℝ}^n$ (or in a Riemannian manifold) and a partition of $\Omega$ by $k$ open sets $D_j$, we consider the quantity ${\mathrm{𝚖𝚊𝚡}}_j\lambda \left(D_j\right)$ where $\lambda \left(D_j\right)$ is the ground state energy of the Dirichlet realization of the Laplacian in $D_j$. If we denote by ${ℒ}_k\left(\Omega \right)$ the infimum over all the $k$-partitions of ${\mathrm{𝚖𝚊𝚡}}_j\lambda \left(D_j\right)$, a minimal $k$-partition is then a partition which realizes the infimum. When $k=2$, we find the two nodal domains of a second eigenfunction, but the analysis of higher $k$’s is non trivial and quite interesting. In this...

For the real quadratic map $P_a\left(x\right)=x^2+a$ and a given $ϵ\>0$ a point $x$ has good expansion properties if any interval containing $x$ also contains a neighborhood $J$ of $x$ with $P_a^n{|}_J$ univalent, with bounded distortion and $B(0,ϵ)\subseteq P_a^n\left(J\right)$ for some $n\in \mathbb{N}$. The $ϵ$-weakly expanding set is the set of points which do not have good expansion properties. Let $\alpha$ denote the negative fixed point and $M$ the first return time of the critical orbit to $[\alpha ,-\alpha ]$. We show there is a set $ℛ$ of parameters with positive Lebesgue measure for which the Hausdorff...

A subspace A of a topological space X is said to be $P^{\gamma }$-embedded ($P^{\gamma }$(point-finite)-embedded) in X if every (point-finite) partition of unity α on A with |α| ≤ γ extends to a (point-finite) partition of unity on X. The main results are: (Theorem A) A subspace A of X is $P^{\gamma }$(point-finite)-embedded in X iff it is $P^{\gamma }$-embedded and every countable intersection B of cozero-sets in X with B ∩ A = ∅ can be separated from A by a cozero-set in X. (Theorem B) The product A × [0,1] is $P^{\gamma }$(point-finite)-embedded...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

Let ${𝒯}_n$ denote the set of log canonical thresholds of pairs $(X,Y)$, with $X$ a nonsingular variety of dimension $n$, and $Y$ a nonempty closed subscheme of $X$. Using non-standard methods, we show that every limit of a decreasing sequence in ${𝒯}_n$ lies in ${𝒯}_{n-1}$, proving in this setting a conjecture of Kollár. We also show that ${𝒯}_n$ is closed in $𝐑$; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

The purpose of this paper is to investigate efficient representations of the residue classes modulo $q$, by performing sum and product set operations starting from a given subset $A$ of ${\mathbb{Z}}_q$. We consider the case of very small sets $A$ and composite $q$ for which not much seemed known (nontrivial results were recently obtained when $q$ is prime or when log $\left|A\right|\sim logq$). Roughly speaking we show that all residue classes are obtained from a $k$-fold sum of an $r$-fold product set of $A$, where $r\ll logq$ and $logk\ll logq$, provided the...

We prove that for a normed linear space $X$, if $f_1:X\to ℝ$ is continuous and semiconvex with modulus $\omega$, $f_2:X\to ℝ$ is continuous and semiconcave with modulus $\omega$ and $f_1\le f_2$, then there exists $f\in C^{1,\omega }\left(X\right)$ such that $f_1\le f\le f_2$. Using this result we prove a generalization of Ilmanen lemma (which deals with the case $\omega \left(t\right)=t$) to the case of an arbitrary nontrivial modulus $\omega$. This generalization (where a $C_{loc}^{1,\omega }$ function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...