See Summary in Note I. First, on the basis of some results in [2] or [5]-such as Lemmas 8.1 and 10.1-the general (mathematical) theorems on controllizability proved in Note I are quickly applied to (mechanic) Lagrangian systems. Second, in case $\mathrm{\Sigma }$, $\chi$ and $M$ satisfy conditions (11.7) when $𝒬$ is a polynomial in $\dot{\gamma }$, conditions (C)-i.e. (11.8) and (11.7) with $𝒬\equiv 0$-are proved to be necessary for treating satisfactorily $\mathrm{\Sigma }$'s hyper-impulsive motions (in which positions can suffer first order discontinuities)....

Let $\mathrm{\Sigma }$ be a constrained mechanical system locally referred to state coordinates $(q^1,\mathrm{\dots },q^N,{\gamma }^1,\mathrm{\dots },{\gamma }^M)$. Let $({\tilde{\gamma }}^1\mathrm{\dots }{\tilde{\gamma }}^M)(\cdot )$ be an assigned trajectory for the coordinates ${\gamma }^{\alpha }$ and let $u(\cdot )$ be a scalar function of the time, to be thought as a control. In [4] one considers the control system ${\mathrm{\Sigma }}_{\widehat{\gamma }}$, which is parametrized by the coordinates $(q^1,\mathrm{\dots },q^N)$ and is obtained from $\mathrm{\Sigma }$ by adding the time-dependent, holonomic constraints ${\gamma }^{\alpha }={\widehat{\gamma }}^{\alpha }(t):={\tilde{\gamma }}^{\alpha }(u(t))$. More generally, one can consider a vector-valued control $u(\cdot )=(u^1,\mathrm{\dots },u^M)(\cdot )$ which is directly identified with $\widehat{\gamma }(\cdot )=({\widehat{\gamma }}^1,\mathrm{\dots },{\widehat{\gamma }}^M)(\cdot )$. If one denotes the momenta...

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces $L_p\left({ℝ}^d\right)$ (in the case $p>1$), but (in the case when $1/p(·)$ is log-Hölder continuous and $p_{-}=inf\{p\left(x\right):x\in {ℝ}^d\}>1$) on the variable Lebesgue spaces $L_{p(·)}\left({ℝ}^d\right)$, too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type $(1,1)$. In the present note we generalize Besicovitch’s covering theorem for the so-called $\gamma$-rectangles. We introduce a general maximal operator $M_s^{\gamma ,\delta }$ and with the help of generalized $\Phi$-functions, the strong-...

We show that for a linear space of operators $ℳ\subseteq ℬ({\mathscr{H}}_1,{\mathscr{H}}_2)$ the following assertions are equivalent. (i) $ℳ$ is reflexive in the sense of Loginov-Shulman. (ii) There exists an order-preserving map $\Psi =({\psi }_1,{\psi }_2)$ on a bilattice $\mathrm{Bil}\left(ℳ\right)$ of subspaces determined by $ℳ$ with $P\le {\psi }_1(P,Q)$ and $Q\le {\psi }_2(P,Q)$ for any pair $(P,Q)\in \mathrm{Bil}\left(ℳ\right)$, and such that an operator $T\in ℬ({\mathscr{H}}_1,{\mathscr{H}}_2)$ lies in $ℳ$ if and only if ${\psi }_2(P,Q)T{\psi }_1(P,Q)=0$ for all $(P,Q)\in \mathrm{Bil}\left(ℳ\right)$. This extends the Erdos-Power type characterization of weakly closed bimodules over a nest algebra to reflexive spaces.

Let $A_{\alpha }f\left(x\right)={\left|B\right(0,\left|x\right|\left)\right|}^{-\alpha /n}{\int }_{B(0,|x\left|\right)}f\left(t\right)dt$ be the n-dimensional fractional Hardy operator, where 0 < α ≤ n. It is well-known that $A_{\alpha }$ is bounded from $L^p$ to $L^{p_{\alpha }}$ with $p_{\alpha }=np/(\alpha p-np+n)$ when n(1-1/p) < α ≤ n. We improve this result within the framework of Banach function spaces, for instance, weighted Lebesgue spaces and Lorentz spaces. We in fact find a ’source’ space $S_{\alpha ,Y}$, which is strictly larger than X, and a ’target’ space $T_Y$, which is strictly smaller than Y, under the assumption that $A_{\alpha }$ is bounded from X into Y and the Hardy-Littlewood...

The main aim of this paper is to prove that the maximal operator ${\sigma }^{}$ is bounded from the Hardy space $H_{1/2}$ to weak-$L_{1/2}$ and is not bounded from $H_{1/2}$ to $L_{1/2}$.

We prove some optimal estimates of Hölder-logarithmic type in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$, where $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is either the open unit disk $𝔻$ or the annular domain $G_s$, $0<s<1$ of the complex space $ℂ$. More precisely, we study the behavior on the interior of $G$ of any function $f$ belonging to the unit ball of the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$ from its behavior on any open connected subset $I$ of the boundary $\partial G$ of $G$ with respect to the $L^1$-norm. Our results can be viewed as an improvement and generalization of...

We study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g{⁺}_{\lambda ,\phi }$. For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

Let $L:=-\Delta +V$ be a Schrödinger operator on ${ℝ}^n$ with $n\ge 3$ and $V\ge 0$ satisfying ${\Delta }^{-1}V\in L^{\infty }\left({ℝ}^n\right)$. Assume that $\varphi :{ℝ}^n\times [0,\infty )\to [0,\infty )$ is a function such that $\varphi (x,·)$ is an Orlicz function, $\varphi (·,t)\in {𝔸}_{\infty }\left({ℝ}^n\right)$ (the class of uniformly Muckenhoupt weights). Let $w$ be an $L$-harmonic function on ${ℝ}^n$ with $0<C_1\le w\le C_2$, where $C_1$ and $C_2$ are positive constants. In this article, the author proves that the mapping $H_{\varphi ,L}\left({ℝ}^n\right)\ni f\mapsto wf\in H_{\varphi }\left({ℝ}^n\right)$ is an isomorphism from the Musielak-Orlicz-Hardy space associated with $L$, $H_{\varphi ,L}\left({ℝ}^n\right)$, to the Musielak-Orlicz-Hardy space $H_{\varphi }\left({ℝ}^n\right)$ under some assumptions on $\varphi$. As applications, the author further...

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.