We construct an upper bound for the following family of functionals ${\left\{E_{\epsilon }\right\}}_{\epsilon \>0}$, which arises in the study of micromagnetics: $$E_{\epsilon }\left(u\right)={\int }_{\Omega }{\epsilon \left|\nabla u\right|}^2+\frac{1}{\epsilon }{\int }_{{ℝ}^2}{\left|H_u\right|}^2.$$ Here $\Omega$ is a bounded domain in ${ℝ}^2$, $u\in H^1(\Omega ,S^1)$ (corresponding to the magnetization) and $H_u$, the demagnetizing field created by $u$, is given by $$\left\{\begin{array}{cc}\mathrm{div}(\tilde{u}+H_u)=0\hfill & \text{in}{ℝ}^2,\hfill \\ \mathrm{curl}{H}_u=0\hfill & \text{in}{ℝ}^2,\hfill \end{array}\right.$$ where $\tilde{u}$ is the extension of $u$ by $0$ in ${ℝ}^2\setminus \Omega$. Our upper bound coincides with the lower bound obtained by Rivière and Serfaty.

A couple ($\sigma ,\tau$) of lower and upper slopes for the resonant second order boundary value problem $$x^{\text{'}\text{'}}=f(t,x,x^{\text{'}}),x\left(0\right)=0,x^{\text{'}}\left(1\right)={\int }_0^1{x}^{\text{'}}\left(s\right)\mathrm{d}g\left(s\right),$$ with $g$ increasing on $[0,1]$ such that ${\int }_0^{1}dg=1$, is a couple of functions $\sigma ,\tau \in C^1\left([0,1]\right)$ such that $\sigma \left(t\right)\le \tau \left(t\right)$ for all $t\in [0,1]$, $$\begin{array}{c}{\sigma }^{\text{'}}\left(t\right)\ge f(t,x,\sigma \left(t\right)),\sigma \left(1\right)\le {\int }_0^1\sigma \left(s\right)\mathrm{d}g\left(s\right),\\ {\tau }^{\text{'}}\left(t\right)\le f(t,x,\tau \left(t\right)),\tau \left(1\right)\ge {\int }_0^1\tau \left(s\right)\mathrm{d}g\left(s\right),\end{array}$$ in the stripe ${\int }_0^t\sigma \left(s\right)\mathrm{d}s\le x\le {\int }_0^t\tau \left(s\right)\mathrm{d}s$ and $t\in [0,1]$. It is proved that the existence of such a couple $(\sigma ,\tau )$ implies the existence and localization of a solution to the boundary value problem. Multiplicity results are also obtained.

We prove an Ambrosetti–Prodi type result for the periodic solutions of the equation $\left(\right|u^{\text{'}}{|}^{p-2}{u}^{\text{'}}{\left)\right)}^{\text{'}}+f\left(u\right)u^{\text{'}}+g(x,u)=t$, when $f$ is arbitrary and $g(x,u)\to +\infty$ or $g(x,u)\to -\infty$ when $\left|u\right|\to \infty$. The proof uses upper and lower solutions and the Leray–Schauder degree.

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem $$\mathrm{d}x=\mathrm{d}A\left(t\right)·f(t,x),h\left(x\right)=0$$ is established, where $f:[a,b]\times {ℝ}^n\to {ℝ}^n$ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function $A:[a,b]\to {ℝ}^{n\times n}$ with bounded total variation components, and $h:{BV}_s([a,b],{ℝ}^n)\to {ℝ}^n$ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition $x\left(t_1\left(x\right)\right)=ℬ\left(x\right)·x\left(t_2\left(x\right)\right)+c_0,$ where $t_i:{BV}_s([a,b],{ℝ}^n)\to [a,b]$ $(i=1,2)$ and $ℬ:{BV}_s([a,b],{ℝ}^n)\to {ℝ}^n$ are continuous...

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.

We consider the problem $$\left\{\begin{array}{cc}-\Delta u=u^{\frac{N+2}{N-2}+\lambda }\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u\>0\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u=0\hfill & \text{on}\partial \left(\Omega \setminus \epsilon \omega \right),\hfill \end{array}\right.$$ where $\Omega$ and $\omega$ are smooth bounded domains in ${ℝ}^N$, $N\ge 3$, $\epsilon \>0$ and $\lambda \in ℝ.$ We prove that if the size of the hole $\epsilon$ goes to zero and if, simultaneously, the parameter $\lambda$ goes to zero at the appropriate rate, then the problem has a solution which blows up at the origin.

The paper deals with the existence of a Kneser solution of the $n$-th order nonlinear differential inclusion $$\begin{array}{cc}\hfill x^{\left(n\right)}\left(t\right)\in -A_1(t,x\left(t\right),...,x^{(n-1)}\left(t\right))x^{(n-1)}\left(t\right)-...-A_n(t,x\left(t\right),...,& x^{(n-1)}\left(t\right))x\left(t\right)\\ & \text{for}\text{a.a.}t\in [a,\infty ),\end{array}$$ where $a\in (0,\infty )$, and $A_i:[a,\infty )\times {ℝ}^n\to ℝ$, $i=1,...,n,$ are upper-Carathéodory mappings. The derived result is finally illustrated by the third order Kneser problem.

Let α,β,γ,δ ≥ 0 and ϱ:= γβ + αγ + αδ > 0. Let ψ(t) = β + αt, ϕ(t) = γ + δ - γt, t ∈ [0,1]. We study the existence of positive solutions for the m-point boundary value problem ⎧u” + h(t)f(u) = 0, 0 < t < 1, ⎨$\alpha u\left(0\right)-\beta u^{\text{'}}\left(0\right)={\sum }_{i=1}^{m-2}{a}_{i}u\left({\xi }_i\right)$ ⎩$\gamma u\left(1\right)+\delta u^{\text{'}}\left(1\right)={\sum }_{i=1}^{m-2}{b}_{i}u\left({\xi }_i\right)$, where ${\xi }_i\in (0,1)$, $a_i,b_i\in (0,\infty )$ (for i ∈ 1,…,m-2) are given constants satisfying $\varrho -{\sum }_{i=1}^{m-2}{a}_i\varphi \left({\xi }_i\right)>0$, $\varrho -{\sum }_{i=1}^{m-2}{b}_i\psi \left({\xi }_i\right)>0$ and $\Delta :=\left|\begin{array}{cc}-{\sum }_{i=1}^{m-2}{a}_i\psi \left({\xi }_i\right)& \varrho -{\sum }_{i=1}^{m-2}{a}_i\varphi \left({\xi }_i\right)\\ \varrho -{\sum }_{i=1}^{m-2}{b}_i\psi \left({\xi }_i\right)& -{\sum }_{i=1}^{m-2}{b}_i\varphi \left({\xi }_i\right)\end{array}\right|<0$. We show the existence of positive solutions if f is either superlinear or sublinear by a simple application of a fixed point theorem in cones. Our result extends a result established by Erbe and...

We investigate the following quasilinear and singular problem, $$\text{t}o2.7cm\left\{\begin{array}{cc}-{\Delta }_{p}u=\frac{\lambda }{u^{\delta }}+u^q\hfill & \text{in}\Omega ;\hfill \\ {u|}_{\partial \Omega }=0,u\&gt;0\hfill & \text{in}\Omega ,\hfill \end{array}\right.\text{t}o2.7cm\text{(P)}$$ where $\Omega$ is an open bounded domain with smooth boundary, $1\&lt;p\&lt;\infty$, $p-1\&lt;q\le p^{*}-1$, $\lambda \&gt;0$, and $0\&lt;\delta \&lt;1$. As usual, $p^{*}=\frac{Np}{N-p}$ if $1\&lt;p\&lt;N$, $p^{*}\in (p,\infty )$ is arbitrarily large if $p=N$, and $p^{*}=\infty$ if $p\&gt;N$. We employ variational methods in order to show the existence of at least two distinct (positive) solutions of problem (P) in $W_0^{1,p}\left(\Omega \right)$. While following an approach due to Ambrosetti-Brezis-Cerami, we need to prove two new results of separate interest: a strong comparison principle...

Let $\mathbb{N}$ be the set of positive integers and let $s\in \mathbb{N}$. We denote by $d^s$ the arithmetic function given by $d^s\left(n\right)={\left(d\left(n\right)\right)}^s$, where $d\left(n\right)$ is the number of positive divisors of $n$. Moreover, for every $\ell ,m\in \mathbb{N}$ we denote by ${\delta }^{s,\ell ,m}\left(n\right)$ the sequence $$\underset{m\text{-times}}{\underbrace{d^s(d^s(...d^s(d^s\left(n\right)+\ell )+\ell ...)+\ell )}}=\left\{\begin{array}{cc}{d}^s\left(n\right)\hfill & \text{for}m=1,\hfill \\ d^s(d^s\left(n\right)+\ell )\hfill & \text{for}m=2,\hfill \\ d^s(d^s(d^s\left(n\right)+\ell )+\ell )\hfill & \text{for}m=3,\hfill \\ ⋮\hfill \end{array}\right.$$ We present classical and nonclassical notes on the sequence ${\left({\delta }^{s,\ell ,m}\left(n\right)\right)}_{m\ge 1}$, where $\ell$, $n$, $s$ are understood as parameters.

In this paper, we consider solutions to the following chemotaxis system with general sensitivity $$\left\{\begin{array}{c}\tau u_t=\Delta u-\nabla ·\left(u\nabla \chi \left(v\right)\right)\text{in}\Omega \times (0,\infty ),\hfill \\ \eta v_t=\Delta v-v+u\text{in}\Omega \times (0,\infty ),\hfill \\ {\displaystyle \frac{\partial u}{\partial \nu }=\frac{\partial u}{\partial \nu }=0\text{on}\partial \Omega \times (0,\infty ).}\hfill \end{array}\right.$$ Here, $\tau$ and $\eta$ are positive constants, $\chi$ is a smooth function on $(0,\infty )$ satisfying ${\chi }^{\text{'}}(·)>0$ and $\Omega$ is a bounded domain of ${𝐑}^n$ ($n\ge 2$). It is well known that the chemotaxis system with direct sensitivity ($\chi \left(v\right)={\chi }_{0}v$, ${\chi }_0>0$) has blowup solutions in the case where $n\ge 2$. On the other hand, in the case where $\chi \left(v\right)={\chi }_{0}logv$ with $0<{\chi }_0\ll 1$, any solution to the system exists globally in time and is bounded. We present a sufficient condition for the boundedness...

We use the genus theory to prove the existence and multiplicity of solutions for the fractional $p$-Kirchhoff problem $$\left\{\begin{array}{c}{\displaystyle -{\left[M\left({\int }_Q{\displaystyle \frac{{|u\left(x\right)-u\left(y\right)|}^p}{{|x-y|}^{N+ps}}}\mathrm{d}x\mathrm{d}y\right)\right]}^{p-1}{(-\Delta )}_p^{s}u=\lambda h(x,u)\text{in}\Omega ,}\hfill \\ u=0\text{on}{ℝ}^N\setminus \Omega ,\hfill \end{array}\right.$$ where $\Omega$ is an open bounded smooth domain of ${ℝ}^N$, $p>1$, $N>ps$ with $s\in (0,1)$ fixed, $Q={ℝ}^{2N}\setminus (C\Omega \times C\Omega )$, $\lambda >0$ is a numerical parameter, $M$ and $h$ are continuous functions.

For any $\alpha ,\beta >0$ with $\alpha +\beta <1$ we provide a simple construction of an $\alpha$-Hölde function $f:[0,1]\to ℝ$ and a $\beta$-Hölder function $g:[0,1]\to ℝ$ such that the integral ${\int }_0^{1}f\mathrm{d}g$ fails to exist even in the Kurzweil-Stieltjes sense.

Let $G=(V_G,E_G)$ be a graph and let $N_G\left[v\right]$ denote the closed neighbourhood of a vertex $v$ in $G$. A function $f:V_G\to \{-1,0,1\}$ is said to be a balanced dominating function (BDF) of $G$ if ${\sum }_{u\in N_G\left[v\right]}f\left(u\right)=0$ holds for each vertex $v\in V_G$. The balanced domination number of $G$, denoted by ${\gamma }_b\left(G\right)$, is defined as $${\gamma }_b\left(G\right)=max\left\{\sum _{v\in V_G}f\left(v\right):f\text{is}\text{a}\text{BDF}\text{of}G\right\}.$$ A graph $G$ is called $d$-balanced if ${\gamma }_b\left(G\right)=0$. The novel concept of balanced domination for graphs is introduced. Some upper bounds on the balanced domination number are established, in which one is the best possible bound and the rest are sharp, all the...

We study the existence of solutions of the system $$\left\{\begin{array}{c}{\left({\phi }_1\left(u_1^{\text{'}}\left(t\right)\right)\right)}^{\text{'}}=f_1(t,u_1\left(t\right),u_2\left(t\right),u_1^{\text{'}}\left(t\right),u_2^{\text{'}}\left(t\right)),\text{a.e.}t\in [0,T],{\left({\phi }_2\left(u_2^{\text{'}}\left(t\right)\right)\right)}^{\text{'}}=f_2(t,u_1\left(t\right),u_2\left(t\right),u_1^{\text{'}}\left(t\right),u_2^{\text{'}}\left(t\right)),\text{a.e.}t\in [0,T],\hfill \end{array}\right.$$ submitted to nonlinear coupled boundary conditions on $[0,T]$ where ${\phi }_1,{\phi }_2:(-a,a)\to ℝ$, with $0<a<+\infty$, are two increasing homeomorphisms such that ${\phi }_1\left(0\right)={\phi }_2\left(0\right)=0$, and $f_i:[0,T]\times {ℝ}^4\to ℝ$, $i\in \{1,2\}$ are two $L^1$-Carathéodory functions. Using some new conditions and Schauder fixed point Theorem, we obtain solvability result.

Let $\mathrm{T}$ be the family of all typically real functions, i.e. functions that are analytic in the unit disk $\Delta :=\{z\in ℂ:|z|<1\}$, normalized by $f\left(0\right)=f^{\text{'}}\left(0\right)-1=0$ and such that Im $z$ Im $f\left(z\right)$ $\ge 0$ for $z\in \Delta$. Moreover, let us denote: ${\mathrm{T}}^{\left(2\right)}:=\{f\in \mathrm{T}:f\left(z\right)=-f(-z)\text{for}z\in \Delta \}$ and ${\mathrm{T}}^{M,g}:=\{f\in \mathrm{T}:f\prec Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}\cap \mathrm{S}$ and $\mathrm{S}$ consists of all analytic functions, normalized and univalent in $\Delta$.We investigate  classes in which the subordination is replaced with the majorization and the function $g$ is typically real but does not necessarily univalent, i.e. classes $\{f\in \mathrm{T}:f\ll Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}$, which we denote...