Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

The lower semicontinuity of functionals of the type ${\int }_{\Omega }f(x,u,v,\nabla u)dx$ with respect to the $\left(W^{1,1}\times L^p\right)$-weak* topology is studied. Moreover, in absence of lower semicontinuity, an integral representation in $W^{1,1}\times L^p$ for the lower semicontinuous envelope is also provided.

The well-known Impossibility Theorem of Arrow asserts that any generalized social welfare function (GSWF) with at least three alternatives, which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a dictatorship, is necessarily non-transitive. In 2002, Kalai asked whether one can obtain the following quantitative version of the theorem: For any $ϵ>0$, there exists $\delta =\delta \left(ϵ\right)$ such that if a GSWF on three alternatives satisfies the IIA condition and its probability of...

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

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

In the paper we give an analogue of the Filippov Lemma for the fourth order differential inclusions y = y”” - (A² + B²)y” + A²B²y ∈ F(t,y), (*) with the initial conditions y(0) = y’(0) = y”(0) = y”’(0) = 0, (**) where the matrices $A,B\in {ℝ}^{d\times d}$ are commutative and the multifunction $F:[0,1]\times {ℝ}^d⇝cl\left({ℝ}^d\right)$ is Lipschitz continuous in y with a t-independent constant l < ||A||²||B||². Main theorem. Assume that $F:[0,1]\times {ℝ}^d⇝cl\left({ℝ}^d\right)ismeasurableintandintegrablybounded.Let$y₀ ∈ W4,1$beanarbitraryfunctionsatisfying(**)andsuchthat$ $d_H(y₀\left(t\right),F(t,y₀\left(t\right)))\le p₀\left(t\right)$ a.e. in [0,1], where p₀ ∈ L¹[0,1]. Then there exists a solution y ∈ W4,1 of (*)...

We establish in this paper a lower bound for the volume of a unit vector field $\overrightarrow{v}$ defined on ${𝐒}^n\setminus \{\pm x\}$, $n=2,3$. This lower bound is related to the sum of the absolute values of the indices of $\overrightarrow{v}$ at $x$ and $-x$.

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

We prove some results in the context of isoperimetric inequalities with quantitative terms. In the $2$-dimensional case, our main contribution is a method for determining the optimal coefficients $c_1,...,c_m$ in the inequality $\delta P\left(E\right)\ge {\sum }_{k=1}^m{c}_k\alpha {\left(E\right)}^k+o\left(\alpha {\left(E\right)}^m\right)$, valid for each Borel set $E$ with positive and finite area, with $\delta P\left(E\right)$ and $\alpha \left(E\right)$ being, respectively, the $\mathrm{𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑑𝑒𝑓𝑖𝑐𝑖𝑡}$ and the $\mathrm{𝐹𝑟𝑎𝑒𝑛𝑘𝑒𝑙𝑎𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑦}$ of $E$. In $n$ dimensions, besides proving existence and regularity properties of minimizers for a wide class of $\mathrm{𝑞𝑢𝑎𝑛𝑡𝑖𝑡𝑎𝑡𝑖𝑣𝑒𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑞𝑢𝑜𝑡𝑖𝑒𝑛𝑡𝑠}$ including the lower semicontinuous extension of $\frac{\delta P\left(E\right)}{\alpha {\left(E\right)}^2}$, we...

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$

The imbalance of an edge $e=\{u,v\}$ in a graph is defined as $i\left(e\right)=\left|d\right(u)-d(v\left)\right|$, where $d(·)$ is the vertex degree. The irregularity $I\left(G\right)$ of $G$ is then defined as the sum of imbalances over all edges of $G$. This concept was introduced by Albertson who proved that $I\left(G\right)\le 4n^3/27$ (where $n=\left|V\right(G\left)\right|$) and obtained stronger bounds for bipartite and triangle-free graphs. Since then a number of additional bounds were given by various authors. In this paper we prove a new upper bound, which improves a bound found by Zhou and Luo in 2008. Our bound involves...

We prove an upper bound for the Aviles–Giga problem, which involves the minimization of the energy $E_{\epsilon }\left(v\right)=\epsilon {\int }_{\Omega }|{\nabla }^2{v|}^{2}dx+{\epsilon }^{-1}{\int }_{\Omega }{\left(1-\right|\nabla v|}^2{)}^{2}dx$ over $v\in H^2\left(\Omega \right)$, where $\epsilon >0$ is a small parameter. Given $v\in W^{1,\infty }\left(\Omega \right)$ such that $\nabla v\in BV$ and $\left|\nabla v\right|=1$ a.e., we construct a family $\left\{v_{\epsilon }\right\}$ satisfying: $v_{\epsilon }\to v$ in $W^{1,p}\left(\Omega \right)$ and $E_{\epsilon }\left(v_{\epsilon }\right)\to \frac{1}{3}{\int }_{J_{\nabla v}}{\left|{\nabla }^{+}v-{\nabla }^{-}v\right|}^{3}d{\mathscr{H}}^{N-1}$ as $\epsilon$ goes to 0.

We extend a result of the second author [27, Theorem 1.1] to dimensions $d\ge 3$ which relates the size of $L^p$-norms of eigenfunctions for $2<p<2(d+1)/d-1$ to the amount of $L^2$-mass in shrinking tubes about unit-length geodesics. The proof uses bilinear oscillatory integral estimates of Lee [22] and a variable coefficient variant of an "$ϵ$ removal lemma" of Tao and Vargas [35]. We also use Hörmander’s [20] $L^2$ oscillatory integral theorem and the Cartan–Hadamard theorem to show that, under the assumption of nonpositive...

We prove trace inequalities of type $\left|\right|u^{\text{'}}{\left|\right|}_{L^2}^2+{\sum }_{j\in \mathbb{Z}}{k}_j|u\left(a_j\right){|}^2{\ge \lambda \left|\right|u\left|\right|}_{L^2}^2$ where $u\in H^1\left(ℝ\right)$, under suitable hypotheses on the sequences ${a_j}_{j\in \mathbb{Z}}$ and ${k_j}_{j\in \mathbb{Z}}$, with the first sequence increasing and the second bounded.

A proper coloring $c:V\left(G\right)\to \{1,2,...,k\}$, $k\ge 2$ of a graph $G$ is called a graceful $k$-coloring if the induced edge coloring $c^{\text{'}}:E\left(G\right)\to \{1,2,...,k-1\}$ defined by $c^{\text{'}}\left(uv\right)=|c\left(u\right)-c\left(v\right)|$ for each edge $uv$ of $G$ is also proper. The minimum integer $k$ for which $G$ has a graceful $k$-coloring is the graceful chromatic number ${\chi }_g\left(G\right)$. It is known that if $T$ is a tree with maximum degree $\Delta$, then ${\chi }_g\left(T\right)\le \lceil \frac{5}{3}\Delta \rceil$ and this bound is best possible. It is shown for each integer $\Delta \ge 2$ that there is an infinite class of trees $T$ with maximum degree $\Delta$ such that ${\chi }_g\left(T\right)=\lceil \frac{5}{3}\Delta \rceil$. In particular, we investigate for each...

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