%~Mouliné par MaN_auto v.0.29.1 2023-11-02 15:23:07
\documentclass[CRMATH,Unicode,XML]{cedram}

\TopicFR{Théorie du contrôle}
\TopicEN{Control theory}

\usepackage[nameinlink]{cleveref}
\usepackage{mathtools}
\usepackage{tikz}
\usepackage{pgfplots}

\newcommand{\bbR}{\mathbb{R}}
\newcommand{\bbN}{\mathbb{N}}

\newcommand*\dd{\mathop{}\!\mathrm{d}}

\DeclareMathOperator{\supp}{supp}
\DeclareMathOperator{\TV}{TV}

%\newcommand{\CMT}[1]{{\color{blue}}}

\newcommand*{\meqref}[1]{(\ref{#1})}

\newcommand*{\ad}{\mathrm{ad}}

\crefname{prop}{Proposition}{Propositions}
\crefname{propc}{Proposition}{Propositions}
\crefname{theo}{Theorem}{Theorems}
\crefname{defi}{Definition}{Definitions}
\crefname{rema}{Remark}{Remarks}
\crefname{remac}{Remark}{Remarks}
\crefname{lemm}{Lemma}{Lemmas}
\crefname{coro}{Corollary}{Corollaries}
\crefname{nota}{Notation}{Notations}
\crefname{clai}{Claim}{Claims}
\crefname{exem}{Example}{Example}
\crefname{exam}{Example}{Example}
\crefname{conj}{Conjecture}{Conjectures}
\crefname{section}{Section}{Sections}
\crefname{subsection}{Section}{Sections}
\crefname{appendix}{Appendix}{Appendices}
\crefname{figure}{Figure}{Figures}

\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}
\let\oldtilde\tilde
\renewcommand*{\tilde}[1]{\mathchoice{\widetilde{#1}}{\widetilde{#1}}{\oldtilde{#1}}{\oldtilde{#1}}}
\let\oldhat\hat
\renewcommand*{\hat}[1]{\mathchoice{\widehat{#1}}{\widehat{#1}}{\oldhat{#1}}{\oldhat{#1}}}


\title{On Binary Optimal Control in $H^s(0,T)$, $s < 1/2$}
\alttitle{Sur le Contr\^{o}le Optimal Binaire en $H^s(0,T)$, $s < 1/2$}

\author{\firstname{Paul} \lastname{Manns}\CDRorcid{0000-0003-0654-6613}}
\address{TU Dortmund University, Germany}
\email{paul.manns@tu-dortmund.de}

\author{\firstname{Thomas} \middlename{M.} \lastname{Surowiec}\CDRorcid{0000-0003-2473-4984}\IsCorresp}
\address{Simula Research Laboratory, Oslo, Norway}
\email{thomasms@simula.no}

%\ESM{Supplementary material for this article is supplied as a separate archive available from the journal's website under article's URL or from the author.}

%\subjclass{00X99}

\begin{abstract}
The function space $H^s(0,T)$, $s < 1/2$, allows for functions with jump discontinuities and is thus attractive for treating optimal control problems with discrete-valued control functions. We show that while arbitrary chattering controls are impossible, there exist feasible controls in $H^s(0,T)$ that have countably jump discontinuities with jump height one in each of countably many pairwise disjoint intervals. However, under mild assumptions, we show that {certain types of jump discontinuities} cannot be optimal. The derivation of meaningful optimality conditions via a direct variational argument using simple feasible perturbations remains a major challenge; as illustrated by an example.
\end{abstract}

\begin{altabstract}
L'espace fonctionnel $H^s(0,T)$, $s < 1/2$, est compatible avec les discontinuit\'es et est par cons\'equent un candidat de choix pour r\'esoudre des probl\`emes de contr\^{o}le optimal avec des fonctions de contr\^{o}le \`{a} valeurs discr\`etes. Nous montrons que, bien que les contr\^{o}les fortement oscillants soient impossibles, il existe des contr\^{o}les admissibles dans $H^s(0,T)$ ayant un nombre fini de discontinuit\'es avec un saut de 1 pour chacune des paires d\'enombrables d'intervalles disjoints. Cependant, sous des hypoth\`eses raisonnables, nous montrons que {certaines de ces discontinuit\'es} ne peuvent pas être optimaux.
\'Etablir des conditions d'optimalit\'e pertinentes via un argument variationnel avec des perturbations admissibles simples constitue un d\'efi majeur, ce que nous illustrons par un exemple.
\end{altabstract}


\begin{document}
\maketitle

\section{Introduction}

A number of recents works have demonstrated the need for time-dependent, discrete-valued decision variables in the context of optimal control of (partial) differential equations, see~\cite{gottlich2017partial, hante2017challenges, kirches2010time}. This presents a unique challenge for optimal control in which the control variables are often taken in $L^p$-spaces. The latter is typically easier to work with both theoretically and numerically and it allows for jump discontinuities in the optimal controls. However, if our feasible set has the form
\[
U_{\ad} \coloneqq \{ u : [0,T] \to \bbR\,:\, u \text{ measurable}, u(t) \in \{0,1,\dots,N\}, t \in (0,T) \},
\]
where $T > 0$ and $N \in \mathbb N$, then it is not weakly closed in $L^2$. If we seek more regular controls, e.g., $H^1(0,T)$, then the feasible set will only contain constant functions due to absolute continuity of $H^1(0,T)$ functions. We may also look beyond the Hilbert space setting as in~\cite{leyffer2022sequential} and formulate an optimal control problem with controls in $BV(0,T)$. There are several theoretical advantages. For instance, if the total variation seminorm is used as a regularizer in the objective, then any optimal control will have a finite number of jumps. As shown in~\cite{leyffer2022sequential}, this yields an intuitive stationarity concept. However, $BV(0,T)$ is not a Hilbert space, so the derivation of a convergent function-space-based numerical method is rather delicate. In addition, the $\TV$-seminorm is non-smooth.

In light of these issues, we propose to use controls in Sobolev--Slobodeckij spaces $H^s(0,T)$ with $s < 1/2$. Our goal is to investigate whether this provides a viable alternative Hilbert space setting that straddles the inadequacy of $L^2(0,T)$ and restrictiveness of $H^1(0,T)$. Moreover, $H^s(0,T)$ allows for a wavelet expansion based on classical Haar wavelets and thus a natural discretization for the control problem, cf.~\cite{SDahlke_TMSurowiec_2020}
The advantages over the other approaches are
\begin{enumerate}
\item $H^s(0,T)$ functions with $s < 1/2$ allow for jump discontinuities. In particular, the continuous embedding of $H^s(0,T)$ into $C([0,T])$ for $s > 1/2$, \cite[Theorem~8.2]{di2012hitchhiker}, does not hold.
\item $H^s(0,T)$ with $s < 1/2$ is a real separable Hilbert space.
\item The feasible set $U_{\ad}$ is weakly closed in $H^s(0,T)$, $s < 1/2$, and allows for more than constant functions.
\item $H^s(0,T)$ functions admit a wavelet expansion based on classical Haar wavelets, which provides a natural discretization scheme and easy treatment of $U_{\ad}$.
\end{enumerate}
The purpose of this short note is to address the fundamental differences that may arise for binary or integer-valued controls in $H^s(0,T)$ as opposed to $L^2$, $H^1$ or $BV$ by way of examples in the following sections:
\begin{enumerate}
\item[in \S\ref{sec:compactness}] Feasible sets of the type $U_{\ad}$ are weakly closed in $H^s(0,T)$.
\item[in \S\ref{sec:compactness}] Certain types of \emph{chattering controls}, \cite{cesari1966existence,gamkrelidze1962sliding}, are ruled out in the $H^s$-setting.
\item[in \S\ref{sec:countable}] There exist $H^s(0,T)$ functions with countably many jump discontinuities.
\item[in \S\ref{sec:countable_countable}] There exist $H^s(0,T)$ functions with countably many pairwise disjoint neighborhoods containing countable many discontinuities.
\item[in \S\ref{sec:suboptimality}] Controls with
{certain types of jump discontinuities} are generally not optimal.
\item[in \S\ref{sec:stationarity}] The stationarity concept defined in~\cite{leyffer2022sequential} for controls in $BV$ cannot be transferred directly.
\end{enumerate}

\begin{enonce*}[remark]{Standing Assumptions}
We will always assume that $s < 1/2$ and $q = 1 - 2s$ in this article. For $T > 0$ and a measurable function $f : [0,T] \to \bbR$, we introduce the Sobolev--Slobodeckij seminorm:
\begin{gather}\label{eq:seminorm}
|f|_{H^s(0,T)}
\coloneqq
\left(\int_{\tau \in (0,T)}
\int_{t \in (0,T)}
\frac{|f(t) - f(\tau)|^2}{|t - \tau|^{1+2s}} \dd t \dd \tau\right)^{\frac{1}{2}}.
\end{gather}
The norm on $H^s(0,T)$ is given by $\|f\|_{H^s(0,T)} \coloneqq (\|f\|_{L^2(0,T)}^2 + |f|_{H^s(0,T)}^2)^{\frac{1}{2}}$. All integrals in this article are Lebesgue integrals with respect to the Lebesgue measure.
\end{enonce*}


\section{Weak closedness of \texorpdfstring{$U_{\ad}$}{Uad} and prevention of chattering}\label{sec:compactness}

We recall a classical example for chattering and the fact that $U_{\ad}$ is not weakly closed in $L^2(0,T)$ and then prove a general result that excludes such phenomena in $H^s(0,T)$.

\begin{exam}
Let $T = 1$ and $N = 1$. A classical example of chattering for binary functions is the sequence $(u^n)_n \subset U_{\ad}$ with $u^n \coloneqq \sum_{i=0}^{n-1}\chi_{\left[2i/(2n),(2i+1)/(2n)\right)}$ for $n \in \bbN$, where $u^n$ alternates between $0$ and $1$ on subsequent uniform intervals that uniformly partition $(0,1)$ and the interval lengths, reciprocal to the frequency of the alternation, tend to zero for $n \to \infty$. The sequence $(u^n)_n \subset U_{\ad}$ is bounded and an approximation argument yields $u^n \rightharpoonup \bar{u} \equiv 0.5$ in $L^2(0,1)$, implying that $\bar{u} \notin U_{\ad}$. Moreover, $\liminf_{n} \|u^n\|_{L^2} = \sqrt{0.5} > 0.5 \sqrt{0.5} = \|\bar{u}\|_{L^2}$ and thus $u^n \not\to \bar{u}$ in $L^2(0,1)$.
\end{exam}

Such sequences of functions are unbounded in $H^s(0,T)$ and $U_{\ad}$ is weakly closed in $H^s(0,T)$.

\begin{prop}
Let $(u^n)_n \subset U_{\ad}$ be given. Then it follows that
\begin{enumerate}
\item\label{itm:limit_discrete}
if $u^n \rightharpoonup u$ in $H^s(0,T)$ for some $u \in H^s(0,T)$, then $u \in U_{\ad}$, and
\item\label{itm:seminorm_explodes}
if $u^n \rightharpoonup u$ and $u^n \not\to u$ in $L^2(0,T)$, then $|u^n|_{H^s(0,T)} \to \infty$.
\end{enumerate}
\end{prop}

\begin{proof}
\begin{proof}[\meqref{itm:limit_discrete}]
Given $u^n \rightharpoonup u$ in $H^s(0,T)$ and the compact embedding $H^s(0,T) \hookrightarrow^c L^2(0,T)$, \cite[Theorem~7.1]{di2012hitchhiker}, we have $u^n \to u$ in $L^2(0,T)$. Consequently, $(u^n)_n$ has a subsequence that converges pointwise a.e.\ to the same limit $u$. Because the discrete set $\{1,\dots,N\}$ is closed, this implies that the limit is a.e.\ $\{1,\dots,N\}$-valued and thus, $u \in U_{\ad}$.
\let\qed\relax
\end{proof}

\begin{proof}[\meqref{itm:seminorm_explodes}]
Indeed, if $(u^n)_n$ were bounded in $H^s(0,T)$, then it would admit a subsequence that converges in the norm in $L^2(0,T)$ by means of the same compact embedding used above. Passing to further subsequences we obtain $u^n \to u$ in $L^2(0,T)$ for the whole sequence, which yields a contradiction.
\end{proof}
\let\qed\relax
\end{proof}

\section{A function in \texorpdfstring{$H^s(0,T)$}{Hs(0,T)} with countably many discontinuities}\label{sec:countable}
We first give a representation of the $H^s$-seminorm that meets our needs and then provide our example function.

\begin{lemm}\label{lem:characterization_of_sum_of_characteristic_functions}
Let $\bar{t} > 0$. Let $\{ I_j \subset (0,\bar{t}) \,|\, j \in J\}$ for an ordered index set $J = \{1,2,\dots\} \subset \bbN$ be a set of pairwise disjoint intervals with $\bar{t} = \sup_{j\in J} \sup_{t \in I_j} t$. The lower and upper bounds of the intervals $I_j$ are $\ell_j \coloneqq \inf_{t \in I_j} t$ and $u_j \coloneqq \sup_{t \in I_j}$ for all $j \in J$. In order to facilitate the notation below, we define $u_0 \coloneqq 0$ and $\ell_{|J|+1} \coloneqq \bar{t}$ if $|J|< \infty$. Let $f = \sum_{i \in J} \chi_{I_i}$. Then
\[
|f|_{H^s(0,\bar{t})} =
\left(\frac{1}{sq}
\sum_{i \in J} \left(\sum_{j = 0}^{i - 1}
\check{f}_{ij} + \sum_{j=i}^{|J|}
\hat{f}_{ij}
\right)
\right)^{\frac{1}{2}},
\]
where
\begin{align*}
0 \le \check{f}_{ij} &= (\ell_i - u_j)^{q} + (u_i - \ell_{j+1})^{q} - (\ell_i - \ell_{j+1})^{q} - (u_i - u_j)^{q}
\quad\text{for }\ 0 \le j < i \\ \text{and}\quad
0 \le \hat{f}_{ij} &= (\ell_{j+1} - u_i)^{q} + (u_j - \ell_i)^{q} - (u_j - u_i)^{q} - (\ell_{j+1} - \ell_i)^{q}
\quad \text{for }\ 1 \le i \le j
\end{align*}
for all $i \in J$.
\end{lemm}

\begin{proof}
We reformulate the integral formulation of the squared Sobolev--Slobodeckij seminorm~\eqref{eq:seminorm} and apply $|f(t) - f(\tau)|\in\{0,1\}$ as well as the fundamental theorem of calculus to deduce:
\begin{align*}
|f|_{H^s(0,\bar{t})}^2 &= \int_{\tau\in (0,\bar{t})} \int_{t \in (0,\bar{t})}
\frac{|f(t) - f(\tau)|}{|t - \tau|^{1+2s}}
\dd t \dd \tau
\\
&= 2 \sum_{i \in J} \sum_{j \in J \cup \{0\}}
\int_{\tau \in I_i}
\int_{t \in (u_j,\ell_{j+1})}
\frac{1}{|t - \tau|^{1+2s}}\dd t \dd \tau\\
&= \frac{1}{s}\sum_{i \in J} \sum_{j \in J \cup \{0\}}
\int_{(u_j,\ell_{j+1})}
\underbrace{\left| |u_i - t|^{-2s} - |\ell_i - t|^{-2s}\right|}_{\eqqcolon f_{ij} (t) \ge 0}
\dd t,
\end{align*}
We distinguish the (by definition) mutually exclusive and exhaustive cases $u_j \le \ell_{j+1} \le \ell_i \le u_i$ and $\ell_{j+1} \ge u_{j} \ge u_i \ge \ell_i$ in order to determine the value of $\int_{u_j}^{\ell_{j+1}} f_{ij}$ for all $i \in J$ and $j \in J \cup \{0\}$.

\begin{proof}[Case $u_j \le \ell_{j+1} \le \ell_i \le u_i$]
All $t \in (u_j,\ell_{j+1})$ satisfy $(u_i - t) \ge (\ell_i - t) \ge 0$, which gives $(\ell_i - t)^{-2s} - (u_i - t)^{-2s} \ge 0$. Then the fundamental theorem of calculus gives
\begin{align*}
\int_{(u_j,\ell_{j+1})} f_{ij}(t)\dd t
&=\frac{-1}{q} \left((\ell_i - \ell_{j+1})^{q} - (\ell_i - u_j)^{q} - (u_i - \ell_{j+1})^{q} + (u_i - u_j)^{q}
\right).
\end{align*}
\let\qed\relax
\end{proof}

\begin{proof}[Case $\ell_{j+1} \ge u_{j} \ge u_i \ge \ell_i$]
All $t \in (u_j,\ell_{j+1})$ satisfy $0 \le (t - u_i) \le (t - \ell_i)$, which gives $(t - u_i)^{-2s} - (t - \ell_i)^{-2s} \ge 0$. Then the fundamental theorem of calculus gives
\begin{align*}
\int_{(u_j,\ell_{j+1})} f_{ij}(t)\dd t
&=\frac{1}{q} \left((\ell_{j+1} - u_i)^{q} - (u_j - u_i)^{q} - (\ell_{j+1} - \ell_i)^{q} + (u_j - \ell_i)^{q}
\right).
\end{align*}
\let\qed\relax
\end{proof}

Combining both cases with the reformulation of the $|f|_{H^s(0,\bar{t})}^2$ yields the claim.
\end{proof}

The following example provides a binary-valued function that is a sum of characteristic functions of countably many pairwise disjoint intervals. We will see that our choice of the intervals implies that the value of its $H^s(0,T)$-seminorm is finite.

\begin{exam}\label{exa:switching_at_right_boundary}
Let $T = 1$. We define interval boundaries $\ell_i$ and $u_i$ for $i \in \bbN$ as follows:
\begin{align*}
u_i \coloneqq 1 - 2^{-2i} \text{ for all } i \in \bbN
\quad\text{and}\quad
\ell_i &\coloneqq 1 - 2^{-(2i - 1)} \text{ for all } i \in \bbN,
\end{align*}
that is $u_1 = \tfrac{3}{4}$, $u_2 = \tfrac{15}{16}$, $\dots$, and $\ell_1 = \tfrac{1}{2}$, $\ell_2 = \tfrac{7}{8}$, $\dots$. Moreover, we define $I_i \coloneqq [\ell_i,u_i)$ for all $i \in \bbN$. Our function of interest is $f \coloneqq \sum_{i=1}^\infty \chi_{I_i}$. Lebesgue's dominated convergence theorem gives $f \in L^2(0,T)$. By construction, the intervals $I_i$ are pairwise disjoint (with $\ell_1 < u_1 < \ell_2 < u_2 < \dots$) and \cref{lem:characterization_of_sum_of_characteristic_functions} may be applied with the choices $\bar{t} = T$ and $J = \bbN$. In order to determine $|f|_{H^s(0,T)}$, we need to compute the terms $\check{f}_{ij}$ and $\hat{f}_{ij}$. We distinguish the two cases regarding the order of $i$ and $j$.

\begin{proof}[Case $\check{f}_{ij}$ for $0 \le j \le i - 1$]
We consider the terms (before taking their power to $q$) that make up $\check{f}_{ij}$ one by one:
\[
\ell_i - u_j = \frac{1 - 2^{2(j - i) + 1}}{2^{2j}},
\ u_i - \ell_{j+1} = \frac{2^{-1} - 2^{2(j - i)}}{2^{2j}},
\
\ell_i - \ell_{j+1} =\frac{2^{-1} - 2^{2(j - i) + 1}}{2^{2j}},
\ u_i - u_j = \frac{1 - 2^{2(j - i)}}{2^{2j}}.
\]
\let\qed\relax
\end{proof}

\begin{proof}[Case $\hat{f}_{ij}$ for $1 \le i \le j$]
We consider the terms (before taking their power to $q$) that make up $\hat{f}_{ij}$ one by one:
\[
\ell_{j+1} - u_i = \frac{1 - 2^{2(i - j) - 1}}{2^{2i}},\ u_j - u_i = \frac{1 - 2^{2(i - j)}}{2^{2i}},\
\ell_{j+1} - \ell_i = \frac{2 - 2^{2(i - j) - 1}}{2^{2i}},\ u_j - \ell_i = \frac{2 - 2^{2(i - j)}}{2^{2i}}.
\]
We visualize $f$ in \cref{fig:f_countably_disc}. We prove that its $H^s$-norm is bounded in
\cref{thm:f_countably_disc_Hs_bounded} below.
\let\qed\relax
\end{proof}
\end{exam}

\begin{figure}
\begin{tikzpicture}
\begin{axis}[height=2.5cm,width=\textwidth,
axis background/.style={fill=none}, xmin=-0.1, xmax=1.1, ymin=-0.1, ymax=1.1, legend pos=south east, legend style={font=\tiny}, xtick={0.,0.5,0.75,0.875,0.93751,1.},ytick={0,1}]
\addplot [mark=none, black!50!white, thick] coordinates { (0.,0.) (0.5,0.) (0.5,1.) (0.75,1.) (0.75,0.) (0.875,0.) (0.875,1.) (0.9375,1.) (0.9375,0.) (0.96875,0.) (0.96875,1.) (0.984375,1.) (0.984375,0.) (0.9921875,0.) (0.9921875,1.) (0.99609375,1.) (0.99609375,0.) (0.99804688,0.) (0.99804688,1.)};
\end{axis}
\end{tikzpicture}

\caption{Visualization of $f$ as constructed in
\cref{exa:switching_at_right_boundary}.}\label{fig:f_countably_disc}
\end{figure}

\begin{theo}\label{thm:f_countably_disc_Hs_bounded}
The function $f$ from \cref{exa:switching_at_right_boundary} has countably many discontinuities with jump height~$1$ and $|f|_{H^s(0,T)} < \infty$.
\end{theo}

\begin{proof}
The countably many support intervals of $f$ are pairwise disjoint and have positive distance between each other. Combining this with the fact that $f$ is binary-valued, we obtain that $f$ has countably many discontinuities with jump height $1$. It remains to show that $|f|_{H^s(0,T)} < \infty$.

We use the structure of $|\,\cdot\,|_{H^s(0,T)}$ given by \cref{lem:characterization_of_sum_of_characteristic_functions}. We estimate the terms $\check{f}_{ij}$ (for $0 \le j \le i - 1$) and $\hat{f}_{ij}$ (for $1 \le i \le j$):
\begin{align*}
0 \le \check{f}_{ij} &= \underbrace{(\ell_i - u_j)^{q} - (u_i - u_j)^{q}}_{\le 0} + \underbrace{(u_i - \ell_{j+1})^{q} - (\ell_i - \ell_{j+1})^{q}}_{\ge 0}
\le (u_i - \ell_{j+1})^{q} - (\ell_i - \ell_{j+1})^{q}, \\
0 \le \hat{f}_{ij} &=
\underbrace{(u_j - \ell_i)^{q} - (\ell_{j+1} - \ell_i)^{q}}_{\le 0} + \underbrace{(\ell_{j+1} - u_i)^{q} - (u_j - u_i)^{q}}_{\ge 0}
\le (\ell_{j+1} - u_i)^{q} - (u_j - u_i)^{q}.
\end{align*}
We insert the formulas for the differences stated in \cref{exa:switching_at_right_boundary} and employ the fact that $(a + b)^r \le a^r + b^r$ holds for all $a$, $b \ge 0$ and $r \in (0,1]$ to deduce
$\check{f}_{ij} \le 2^{-2iq}$ and $\hat{f}_{ij} \le 2^{-(2j + 1)q}$. This implies the sums
\begin{align*}
\sum_{j = 0}^{i - 1} \check{f}_{ij} &\le \frac{i}{4^{iq}} \quad\text{and}\quad
\sum_{j=i}^{\infty} \hat{f}_{ij}
\le \frac{1}{2^q} \sum_{j=i}^{\infty} \frac{1}{4^{jq}} = \frac{1}{2^q} \left(\sum_{j=0}^\infty \frac{1}{4^{jq}} - \sum_{j=0}^{i - 1}\frac{1}{4^{jq}}\right) = \frac{1}{2^q} \frac{1}{1 - 4^{-q}}\frac{1}{4^{qi}}.
\end{align*}
We obtain
\begin{align*}
\sum_{i=1}^\infty\left(\sum_{j = 0}^{i - 1} \check{f}_{ij} +
\sum_{j=i}^{\infty} \hat{f}_{ij}\right) &\le \sum_{i=0}^\infty \frac{i}{4^{iq}} + \frac{1}{2^q} \frac{1}{1 - 4^{-q}}\left(\frac{1}{1 - 4^{-q}} - 1\right) = \frac{4^{-q}}{(1 - 4^{-q})^2} + \frac{1}{2^q}\frac{4^{-q}}{(1 - 4^{-q})^2},
\end{align*}
which in turn gives $|f|_{H^s(0,T)} < \infty$ by means of the formula from
\cref{lem:characterization_of_sum_of_characteristic_functions}.
\end{proof}

\section{A function in \texorpdfstring{$H^s(0,T)$}{Hs(0,T)} with countably many pairwise disjoint neighborhoods containing countably many discontinuities}\label{sec:countable_countable}
We start from the function constructed above to further construct a function that has countably many discontinuities in each of countably many pairwise disjoint intervals. Let $f$ be a binary function such that the infimum of its support is strictly greater than zero. We first bound $|f|_{H^s(0,T)}$ by $|f|_{H^s(0,\bar{t})}$, where $\bar{t}$ is the supremum of the support of $f$, and a constant that only depends on $\bar{t}$. Then we show that it is possible to scale the end points of the support intervals such that a) the support of the function with scaled interval end points is strictly left of the support of $f$ and b) the $H^s(0,T)$-norm of the function with scaled interval end points is less than $q|f|_{H^s(0,T)}$. Then we construct a sequence of such scalings recursively to obtain the desired function.

In this section we always assume that $s < 1/2$. Let $\{ I_j \subset (0,T) \,|\, j \in J\}$ for a countable index set $J$ be a set of pairwise disjoint intervals. Let $f = \sum_{i \in J} \chi_{I_i}$. Let $\bar{t} \coloneqq \sup_{j\in J} \sup_{t \in I_j} t$ and $\underbar{t} \coloneqq \inf_{j\in J} \inf_{t \in I_j} t$ denote the upper and lower bound of the support of $f$.

\begin{lemm}\label{lem:remainder_term_estimate}
\begin{align*}
\text{If\/ $\bar{t} < T$, \ then}\quad &|f|_{H^s(0,T)} \le
\left(|f|_{H^s(0,\bar{t})}^2 +
\frac{1}{s(1 - 2s)} \bar{t}^{1 - 2s}
\right)^{\frac{1}{2}}.\\
\text{If\/ $\underbar{t} > 0$, \ then}\quad &|f|_{H^s(0,T)} \le
\left(|f|_{H^s(\underbar{t},T)}^2 +
\frac{1}{s(1 - 2s)} \underbar{t}^{1 - 2s}
\right)^{\frac{1}{2}}.
\end{align*}
\end{lemm}

\begin{proof}
The arguments for the first and second claim are completely analogous so that we only show the first claim. Thus let $\bar{t} < T$. Because the function $f$ is binary-valued, we obtain that
\[
|f|_{H^s(0,T)}^2 = |f|_{H^s(0,\bar{t})}^2 + 2 \underbrace{\int_{t \in (0,\bar{t})}
\int_{\tau \in (\bar{t},T)}
\frac{f(t)}{(\tau - t)^{1 + 2s}}
\dd \tau
\dd t}_{\eqqcolon r(f)}.
\]
We estimate $f(t) \le 1$ for all $t \in [0,\bar{t}]$ and deduce with the fundamental theorem of calculus:
\begin{align*}
r(f) &\le \frac{-1}{2s}\int_{(0,\bar{t})}\!
\left((T \Mk-\Mk t)^{-2s} \Mk-\Mk (\bar{t} \Mk-\Mk t)^{-2s}\right)\dd t
= \frac{1}{2s(1 \Mk-\Mk 2s)}\bigg(
\underbrace{(T \Mk-\Mk \bar{t})^{1 - 2s} \Mk-\Mk {T}^{1 - 2s} }_{\le 0} \Mk+ \bar{t}^{1 - 2s}\bigg)
\le \frac{\bar{t}^{1 - 2s}}{2s(1 \Mk-\Mk 2s)}.\qedhere
\end{align*}
\end{proof}

For a set $A\subset \bbR$ and a positve scalar $\alpha > 0$, we introduce the notation $\alpha A \coloneqq \{ \alpha a \,|\, a \in A\}$.

\begin{lemm}\label{lem:ratio_existence}
Let $\underbar{t} > 0$ and $\bar{t} \le T$. Let $p \in (0,1)$. Then there exists $\alpha_0 > 0$ such that for all $\alpha \in (0,\alpha_0)$ the quantities $f^{(\alpha)} \coloneqq \sum_{i \in J} \chi_{\alpha I_i}$, $\underbar{t}^{(\alpha)}
\coloneqq \inf_{j\in J}\inf_{t\in \alpha I_j}t$, and $\bar{t}^{(\alpha)} \coloneqq \sup_{j\in J}\sup_{t\in \alpha I_j} t$ satisfy
\begin{enumerate}
\item \label{7.1} $\bar{t}^{(\alpha)} < \underbar{t}$,
\item \label{7.2} $\left(\frac{1}{s(1 - 2s)}(\bar{t}^{(\alpha)})^{1 - 2s}\right)^{\frac{1}{2}} < p \left(\frac{1}{s(1 - 2s)}\bar{t}^{1 - 2s}\right)^{\frac{1}{2}}$, and
\item \label{7.3} $|f^{(\alpha)}|_{H^s(0,\bar{t}^{(\alpha)})} \le p|f|_{H^s(0,\bar{t})}$.
\end{enumerate}
\end{lemm}

\begin{proof}
Clearly, $\bar{t}^\alpha = \alpha \bar{t}$, which implies \eqref{7.1} and \eqref{7.2} for all $\alpha$ that are sufficiently small. \Cref{lem:characterization_of_sum_of_characteristic_functions} gives that $|f|_{H^s(0,\bar{t})}^2$ can be written as a sum of terms of the form $a(b - c)^{1 - 2s}$ such that $a$, $b$, $c > 0$ and $b$ and $c$ are lower and upper bounds of intervals $I_j$. After scaling with $\alpha$, the bounds are $\alpha b$ and $\alpha c$ for the corresponding intervals $\alpha I_j$. Consequently, $|f^{(\alpha)}|_{H^s(0,\bar{t}^{(\alpha)})}^2$ can be written as the same sum with the terms $a(b - c)^{1 - 2s}$ replaced by $a(\alpha b - \alpha c)^{1 - 2s}$. This yields $|f^{(\alpha)}|_{H^s(0,\bar{t}^{(\alpha)})} = \alpha^{\frac{1 - 2s}{2}}|f|_{H^s(0,\bar{t})}$, which proves the third claim.
\end{proof}

\begin{theo}\label{thm:scaling_construction}
Let $\underbar{t} > 0$ and $\bar{t} \le T$. Let $p \in (0,1)$. Then there exists a sequence $(\alpha^{k})_{k \in \bbN} \subset (0,1]$ such that the functions $f^{(\alpha^k)} = \sum_{i \in J} \chi_{\alpha^{k} I_i}$ have pairwise disjoint supports and satisfy the estimate
\[
\left|\sum_{k=1}^\infty f^{(\alpha^k)}\right|_{H^s(0,T)} \le \left(|f|_{H^s(0,\bar{t})} +
\left(\frac{1}{s(1 - 2s)}\bar{t}^{1 - 2s}\right)^{\frac{1}{2}} \right) \frac{1}{1 - p}.
\]
\end{theo}

\begin{proof}
We proceed inductively and construct the sequence $(\alpha^k)_{k \in \bbN}$ such that the estimates
\[
|f^{(\alpha^k)}|_{H^s(0,\bar{t}^{(\alpha^k)})}
\le p^{k - 1} |f|_{H^s(0,\bar{t})}
\enskip\text{and}\enskip
\left(\frac{1}{s(1 - 2s)}(\bar{t}^{(\alpha^k)})^{1 - 2s}\right)^{\frac{1}{2}}
\le p^{k - 1}
\left(\frac{1}{s(1 - 2s)}\bar{t}^{1 - 2s}\right)^{\frac{1}{2}}
\]
and the fact that the functions $f^{(\alpha^1)}$, $\dots$, $f^{(\alpha^k)}$ satisfy
\[
0 < \min \supp f^{(\alpha^k)} < \max \supp f^{(\alpha^k)} < \dots < \min \supp f^{(\alpha^1)} < \max \supp f^{(\alpha^1)}
\]
hold for all $k \in \bbN$. This implies that the functions $f^{(\alpha^k)}$ have pairwise disjoint supports. Then the claim follows from
\begin{multline*}
\left|\sum_{k=1}^\infty f^{(\alpha^k)}\right|_{H^s(0,T)}
\le
\sum_{k=1}^\infty \left|f^{(\alpha^k)}\right|_{H^s(0,T)}
\le \sum_{k=1}^\infty |f^{(\alpha)}|_{H^s(0,\bar{t}^{(\alpha^k)})} +
\left(
\frac{1}{s(1 - 2s)} (\bar{t}^{(\alpha^k)})^{1 - 2s}
\right)^{\frac{1}{2}}\\
\le
\left(|f|_{H^s(0,\bar{t})} + \left(\frac{1}{s(1 - 2s)}\bar{t}^{1 - 2s}\right)^{\frac{1}{2}} \right)
\sum_{k=1}^\infty p^{k - 1} = \left(|f|_{H^s(0,\bar{t})} + \left(\frac{1}{s(1 - 2s)}\bar{t}^{1 - 2s}\right)^{\frac{1}{2}} \right)\frac{1}{1-p},
\end{multline*}
where the second inequality follows from
\cref{lem:remainder_term_estimate} and the inequality $(a + b)^{\frac{1}{2}}
\le a^{\frac{1}{2}} + b^{\frac{1}{2}}$ for positive scalars $a$ and $b$.

We set $\alpha^1 \coloneqq 1$, which gives $f^{(\alpha^1)} = f$ and asserts the base case of our induction. Assume that the claims holds for some $k \in \bbN$. We apply
\cref{lem:ratio_existence} to deduce that there is $\alpha^{k+1}$ such that
\[
0 < \min \supp f^{(\alpha^{k+1})} < \max \supp f^{(\alpha^{k+1})} < \min \supp f^{(\alpha^{k})} < \max \supp f^{(\alpha^{k})}
\]
holds as well as the estimates
\begin{align*}
|f^{(\alpha^{k+1})}|_{H^s(0,\bar{t}^{(\alpha^{k+1})})} &\le p|f^{(\alpha^k)}|_{H^s(0,\bar{t}^{(\alpha^{k})})}
\underset{\text{induction}}\le p^k |f|_{H^s(0,\bar{t})}, \\
\left(\frac{1}{s(1 - 2s)}(\bar{t}^{(\alpha^{k+1})})^{1 - 2s}\right)^{\frac{1}{2}} &\le p \left(\frac{1}{s(1 - 2s)}(\bar{t}^{(\alpha^{k})})^{1 - 2s}\right)^{\frac{1}{2}}
\underset{\text{induction}}\le p^k
\left(\frac{1}{s(1 - 2s)}\bar{t}^{1 - 2s}\right)^{\frac{1}{2}},
\end{align*}
which closes the induction and the proof.
\end{proof}

\begin{coro}\label{cor:countably_countably}
Let $s < 1/2$. There exists a binary-valued function $F \in H^s(0,T)$ such that there are countably many pairwise different $t \in [0,T]$ with associated $\varepsilon > 0$ such that $F$ has countably many discontinuities in $B_\varepsilon(t) \cap (0,T)$.
\end{coro}

\begin{proof}
The function $f$ defined in
\cref{exa:switching_at_right_boundary}, has countably many discontinuities in any ball around $T$ intersected with $(0,T)$. Let $F \coloneqq \sum_{k=1}^\infty f^{(\alpha^k)}$ for the sequence $(\alpha^k)_{k\in\bbN}$ from
\cref{thm:scaling_construction} for $f$ and an arbitrary $p \in (0,1)$. Then the functions $f^{(\alpha^k)}$ have pairwise disjoint supports and each of them has countably many discontinuities in any ball around $\max \supp f^{(\alpha^k)}$ Moreover, \cref{thm:scaling_construction} yields boundedness of $|F|_{H^s(0,T)}$.
\end{proof}

We visualize the construction in \cref{cor:countably_countably} in \cref{fig:f_countably_countably_disc} for $q = 1/2$ and $s = 1/4$ with $\alpha^k$ constructed iteratively by the choice $
\alpha^{k} = \alpha^{k-1}2^{-i}$ with the smallest possible $i \in \bbN$ such that the three conditions of \cref{lem:ratio_existence} are met, which yields of $\alpha^k = 0.03125^{k - 1}$ for all $k \in \bbN$.

\begin{figure}
\begin{tikzpicture}
\begin{axis}[height=2.5cm,width=\textwidth,
axis background/.style={fill=none}, xmin=-0.1, xmax=1.1, ymin=-0.1, ymax=1.1, legend pos=south east, legend style={font=\tiny}, xtick={0.03125,0.5,0.75,0.875,0.93751,1.},ytick={0,1}]
\addplot [mark=none, black!50!white, thick] coordinates { (0.,0.) (0.00048828,0.) (0.00048828,1.) (0.00073242,1.) (0.00073242,0.) (0.00085449,0.) (0.00085449,1.) (0.00091553,1.) (0.00091553,0.) (0.00094604,0.) (0.00094604,1.) (0.0009613,1.) (0.0009613,0.) (0.00096893,0.) (0.00096893,1.) (0.00097275,1.) (0.00097275,0.) (0.00097466,0.) (0.00097466,1.) (0.0009765625,1.) (0.0009765625,0.) (0.015625,0.) (0.015625,1.) (0.0234375,1.) (0.0234375,0.) (0.02734375,0.) (0.02734375,1.) (0.02929688, 1.) (0.02929688,0.) (0.03027344,0.) (0.03027344,1.) (0.03076172,1.) (0.03076172,0.) (0.03100586,0.) (0.03100586,1.) (0.03112793,1.) (0.03112793,0.) (0.03118896,0.) (0.03118896,1.) (0.03125, 1.) (0.03125,0.) (0.5,0.) (0.5,1.) (0.75,1.) (0.75,0.) (0.875,0.) (0.875,1.) (0.9375,1.) (0.9375,0.) (0.96875,0.) (0.96875,1.) (0.984375,1.) (0.984375,0.) (0.9921875,0.) (0.9921875,1.) (0.99609375,1.) (0.99609375,0.) (0.99804688,0.) (0.99804688,1.)};
\end{axis}
\end{tikzpicture}

\caption{Visualization of $F$ as constructed in
\cref{cor:countably_countably} for the choices $q = 1/2$ and $s = 1/4$ based on $f$ defined in \cref{exa:switching_at_right_boundary}.}\label{fig:f_countably_countably_disc}
\end{figure}

\section{Controls with {isolated small jump discontinuities} are generally non-optimal}\label{sec:suboptimality}
{In the space $BV(0,T)$, a switch from zero to one and back (or vice versa) cannot be optimal if the width of the switch is too small, because the induced increase of the total variation is always equal to two. More specifically, if the objective has the form $J(f) + \TV(f)$, where $J$ is continuous with respect to some $L^p$-norm, $p \in [1,\infty)$, then a small perturbation $\tilde{f}$ of $f$ with such an isolated switch will always yield $\TV(\tilde{f}) = \TV(f) + 2$, whereas $J(\tilde{f})$ can be made arbitrarily close to $J(f)$.

We show that a similar, albeit weaker, result holds true for $H^s(0,T)$. Specifically, if $\tilde{f} \in H^s(0,T)$ has an interval in which it switches (potentially several times) from zero to one and back that is isolated in the sense that to its left and right there is a wide enough interval on which $\tilde{f}$ is zero, then $\tilde{f}$ cannot be optimal if the width of the interval is too small.}

{To be clear, we consider a binary-valued function $f \in H^s(0,T)$ and positive scalars $0 \le t_L < t_\ell < t_r < t_R \le T$ with $t_\ell - t_L = \varepsilon$, $t_R - t_r = \varepsilon$, and $t_r - t_\ell = \delta$ for $\varepsilon > 0$ and $\delta > 0$ such that $f(t) = 0$ for a.e.\ $t \in (t_L,t_R)$. Moreover, we define $\tilde{f} \coloneqq f + \chi_{I^h}$ for a measurable set $I^h \subset (t_\ell,t_r)$ and $h = |I^h| > 0$, in particular $0 < h \le \delta$. Thus $\tilde{f}$ is one on a set $I^h$ of measure $h$ that is surrounded by intervals of length of at least $\varepsilon$, where it is zero.}

The objective of an $H^s$-regularized (integer) optimal control problem reads
\[
\mathcal{J}(f) \coloneqq J(f) + \frac{\alpha}{2}\|f\|_{L^2(0,T)}^2 + \frac{\alpha}{2}|f|_{H^s(0,T)}^2
\]
{for some $\alpha > 0$. We obtain the following certificate of non-optimality for $\tilde{f}$.}

\begin{theo}\label{thm:cluster_point_cannot_exist}
{Let $J : L^1(0,T) \to \bbR$ be Lipschitz continuous. Let $f$, $\tilde{f}\in H^s(0,T)$ be as above with arbitrary but fixed $\varepsilon > 0$. There is $\delta_0 > 0$ such that if $\delta \le \delta_0$, then $\mathcal{J}(f) < \mathcal{J}(\tilde{f})$ holds regardless of the specific positions of $t_L$, $t_R$, $t_\ell$, and $t_r$ in $[0,T]$.}
\end{theo}

\begin{proof}
We define $I^m \coloneqq \{ t \in (0,t_L) \cup (t_R,T)\,|\, f(t) = 1 \}$, $O^m \coloneqq \{t \in (0,t_\ell) \cup (t_r,T)\,|\, f(t) = 0\}$, and $O^h \coloneqq (t_\ell,t_r)\setminus I^h$. We deduce
\begin{align*}
\frac{1}{2}|\tilde{f}|_{H^s(0,T)}^2 -
\frac{1}{2}|f|_{H^s(0,T)}^2 &= \int_{t \in I^m \cup I^h}
\int_{\tau \in O^m \cup O^h}
\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau \dd t -
\int_{t\in I^m}
\int_{\tau\in O^m \cup (t_\ell,t_r)}
\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau \dd t\\
&= \int_{t\in I^h}
\int_{\tau \in O^m \cup O^h}
\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau \dd t - \int_{t \in I^m}
\int_{\tau \in I^h}
\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau \dd t\\
&\ge a(h) + b(h) - c(h) - d(h)
\end{align*}
with
\begin{align*}
a(h) &\coloneqq \int_{t \in (t_r - h, t_r)}\int_{\tau \in (t_L,t_\ell)}
\frac{1}{|t - \tau|^{1 + 2s}} \dd\tau \dd t,\quad & b(h) &\coloneqq
\int_{t \in (t_\ell,t_\ell + h)}
\int_{\tau \in (t_r,t_R)}
\frac{1}{|t - \tau|^{1 + 2s}} \dd\tau \dd t,\quad \\
c(h) &\coloneqq \int_{t \in (0,t_L)}\int_{\tau \in (t_\ell, t_\ell + h)}
\frac{1}{|t - \tau|^{1 + 2s}} \dd\tau \dd t,\quad & d(h) &\coloneqq \int_{t \in (t_R,T)} \int_{\tau \in (t_r - h,t_r)}
\frac{1}{|t - \tau|^{1 + 2s}} \dd\tau \dd t,
\end{align*}
where
\begin{align*}
\int_{t \in I^h}
\int_{\tau \in O^m\cup O^h}\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau\dd t &\ge
\int_{t \in I^h}
\int_{\tau \in (t_L,t_\ell) \cup (t_r,t_R)}\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau\dd t
\ge a(h) + b(h),
\end{align*}
in which the first inequality is due to leaving out parts of the integration domain of the inner integral and the second inequality is due to splitting the inner integral and replacing $I^h$ with sets of the same Lebesgue measure $h$, which lead to smaller values of $\frac{1}{|t - \tau|^{1 + 2s}}$ in the splitted integrals. Similarly, by adding parts of the integration domain, splitting the inner integral and replacing $I^h$ therein so that larger values of $\frac{1}{|t - \tau|^{1 + 2s}}$ are attained, we obtain
\begin{align*}
-\int_{t \in I^m}
\int_{\tau \in I^h}\frac{1}{|t - \tau|^{1 + 2s}}\dd\tau\dd t &\ge - \int_{t \in (0,t_L) \cup (t_R,T)}
\int_{\tau \in I_h}\frac{1}{|t - \tau|^{1 + 2s}}
\dd\tau\dd t
\ge -c(h) - d(h),
\end{align*}
Let $q = 1 - 2s$. Then we obtain with the same computations as in \cref{lem:characterization_of_sum_of_characteristic_functions}
\begin{align*}
2sq\,a(h) &= -(\delta - h)^q + (\varepsilon + \delta - h)^q + \delta^q - (\varepsilon + \delta)^q,
\\
2sq\,b(h) &= -(\delta - h)^q + \delta^q + (\varepsilon + \delta - h)^q - (\varepsilon + \delta)^q,
\\
2sq\,c(h) &= -\varepsilon^q + (\varepsilon + t_L)^q + (\varepsilon + h)^q - (t_L + \varepsilon + h)^q,
\\
2sq\,d(h) &= -\varepsilon^q + (\varepsilon + h)^q + (\varepsilon + T - t_R)^q - (\varepsilon + T - t_R + h)^q.
\end{align*}
Clearly, $\|\tilde{f} - f\|_{L^1} = h$ and we obtain
\begin{align*}
2sq\,c(h)/h &\to q \varepsilon^{-2s} - q (t_L + \varepsilon)^{-2s} \le q \varepsilon^{-2s},\\
2sq\,d(h)/h &\to q \varepsilon^{-2s} - q (T - t_R + \varepsilon)^{-2s} \le q \varepsilon^{-2s}
\end{align*}
for $h \searrow 0$, where the inequalities ensure that our arguments and the construction of $\delta_0$ will be independent of the specific choice of $I^h \subset (t_\ell,t_r)$ (and also $t_L$, $t_\ell$, $t_r$, $t_R$ inside $(0,T)$).

We consider $\delta \searrow 0$ and $\delta \ge h$. The functions $t \mapsto t^{q}$ and its derivatives are Lipschitz continuous in compact intervals around $\varepsilon$ that are bounded away from zero and thus the mean value theorem yields
\[
\frac{(\varepsilon + \delta - h)^q - (\varepsilon + \delta)^q}{h} = -q (\varepsilon + \xi)^{-2s}
\to -q \varepsilon^{-2s}
\]
with $\xi \in [\delta - h, h]$ for $\delta \ge h > 0$ and $\delta \searrow 0$. Moreover, the mean value theorem yields
\[
\frac{\delta^q - (\delta - h)^q}{h} = q \xi^{-2s} \to \infty
\]
with $\xi \in [\delta - h, \delta]$ for $\delta \ge h > 0$ and $\delta \searrow 0$.

Because $\|g\|_{L^2}^2 = |g|_{L^1}$ holds for binary-valued functions $g$, there is $L > 0$ so that $J + \frac{\alpha}{2}\lVert{\,\cdot\,}\rVert_{L^2}^2$ is $L$-Lipschitz from $L^1(0,T)$ to $\bbR$ on the set of $\{0,1\}$-valued measurable functions for some $L > 0$. We combine the estimates above to obtain
\[
\liminf_{\delta \searrow 0, \delta \ge h}
\frac{\mathcal{J}(\tilde{f}) - \mathcal{J}(f)} {\|\tilde{f} - f\|_{L^1}}
\ge - L +
\liminf_{\delta \searrow 0, \delta \ge h}
\frac{2\alpha}{sq} \left(\frac{\delta^q - (\delta - h)^q}{h}\right) - \frac{4\alpha}{s} \varepsilon^{-2s}
\to \infty,
\]
which implies that there is $\delta_0 > 0$ such that for all $0 < h \le \delta \le \delta_0$ we have $\mathcal{J}(f) < \mathcal{J}(\tilde{f})$.
\end{proof}

In the interest of a clear presentation, we restrict to the case that $f$ is zero on $(t_L,t_\ell)$ and $(t_r,t_R)$ and $\tilde{f}$ is one on $I^h$ here but note that the same arguments hold true with interchanged roles of zero and one.


\section{The squared \texorpdfstring{$H^s(0,T)$}{Hs(0,T)}-seminorm is not differentiable for canonical variations}\label{sec:stationarity}

In~\cite{leyffer2022sequential}, the fact that a feasible control in $BV(0,T)$ has only finitely many switches gives rise to a stationarity condition. Specifically, it arises from the Fermat principle $\frac{\dd}{\dd h} J(f^h) + \alpha \TV(f^h)\bigr|_{h=0} = 0$ where $f^h$ is identical to a given function $f$ except that one of the switching points $t$ of $f$ is perturbed from $t$ to $t + h$. In this section we show that such a stationarity condition cannot hold in $H^s(0,T)$ because the function $h \mapsto \frac{1}{2}|f^h|^2_{H^s}$ is not differentiable for any {isolated} switching point in $(0,T)$.

We only show the result for points, where the function switches from $0$ to $1$ but the similar arguments hold for switches from $1$ to $0$ as well. Before stating the result, we define our base function. Let $f \in H^s(0,T)$ be binary-valued and not constant. Let $t \in (0,T)$ satisfy $\lim_{\tilde{t}\uparrow t} f(\tilde{t}) = 0 < 1 = \lim_{\tilde{t}\downarrow t} f(\tilde{t})$. We can write $f$ and $1 - f$ (a.e.) as
\[
f = \chi_I + \chi_{J_t} \quad\text{and}\quad 1 - f = \chi_O + \chi_{R_t}
\]
where $J_t = (t,\bar{t})$ for some $\bar{t} \in (t,T]$ and $R_t = (\underbar{t},t)$ for some $\underbar{t} \in [0,t)$ and further disjoint sets $I$ and $O$. We also define
\[
f_h \coloneqq \chi_I + \chi_{J_{t+h}}
\]
for all $h \in (\underbar{t} - t,\bar{t} - t)$ as well as $J_{t + h} \coloneqq (t + h,\bar{t})$ and $R_{t + h} = (\underbar{t},t + h)$.
\begin{prop}
Let $f$, $t$, $f_h$ for $h \in (\underbar{t} - t,\bar{t} - t)$ be as introduced above. Then the function $h \mapsto \frac{1}{2}|f_h|^2_{H^s}$ is not differentiable at zero. Specifically,
\[
\limsup_{h\to 0} \frac{|f_h|^2_{H^s(0,T)} - |f_0|^2_{H^s(0,T)}}{2h} = -\infty.
\]
\end{prop}
\begin{proof}
We observe
\[
\frac{1}{2}|f_h|^2_{H^s(0,T)} - \frac{1}{2}|f_0|^2_{H^s(0,T)} = \int_{\sigma \in I\cup J_{t+h}}
\int_{\tau \in O \cup R_{t+h}}
\frac{1}{|\tau - \sigma|^{1+2s}}\dd \tau \dd \sigma - \int_{\sigma \in I\cup J_{t}}
\int_{\tau \in O \cup R_{t}} \frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma,
\]
which gives
\begin{align*}
\frac{1}{2}|f_h|^2_{H^s(0,T)} - \frac{1}{2}|f_0|^2_{H^s(0,T)} &= \underbrace{\int_{\sigma \in J_{t+h}}
\int_{\tau \in O}
\frac{1}{|\tau - \sigma|^{1+2s}}\dd \tau \dd \sigma - \int_{\sigma \in J_{t}} \int_{\tau \in O} \frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma}_{\eqqcolon A(h)}
\\
&\hphantom{=}+
\underbrace{\int_{\sigma \in I} \int_{\tau \in R_{t+h}} \frac{1}{|\tau - \sigma|^{1+2s}} \dd \tau \dd \sigma - \int_{\sigma \in I} \int_{\tau \in R_{t}} \frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma}_{\eqqcolon B(h)}
\\
&\hphantom{=}+
\underbrace{\int_{\sigma\in J_{t+h}} \int_{\tau \in R_{t+h}} \frac{1}{|\tau - \sigma|^{1+2s}} \dd \tau \dd \sigma - \int_{J_{t}} \int_{R_{t}} \frac{1}{|\tau - \sigma|^{1+2s}} \dd \tau \dd \sigma}_{\eqqcolon C(h)}.
\end{align*}
We analyze the rows on the right hand side one by one. For the first row, we obtain
\begin{gather*}
\frac{A(h)}{h} = - \int_{\sigma\in O} \frac{1}{h}
\int_{\tau\in[t,t + h]}
\frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma
\underset{h\to 0}\to - \int_{O} \frac{1}{|t - \sigma|^{1+2s}}
\dd \sigma
\end{gather*}
by virtue of Lebesgue's dominated convergence theorem. Simiarly, we obtain
\begin{gather*}
\frac{B(h)}{h} =
\int_{\sigma\in I}
\frac{1}{h}\int_{\tau\in [t,t + h]}
\frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma
\underset{h\to 0}\to
\int_{I} \frac{1}{|t - \sigma|^{1+2s}}
\dd \sigma
\end{gather*}
for the second row. The third row can be rewritten as
\begin{multline*}
C(h) = \underbrace{ -\int_{\sigma\in [t,t+h]}
\int_{\tau\in R_t}
\frac{1}{|\tau - \sigma|^{1+2s}}\dd \tau \dd \sigma}_{\eqqcolon C_1(h)}\\
+ \underbrace{\int_{\sigma\in J_t}
\int_{\tau \in[t,t+h]}
\frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma}_{\eqqcolon C_2(h)}\,
\underbrace{- \int_{\sigma\in[t,t+h]} \int_{\tau\in[t,t+h]}
\frac{1}{|\tau - \sigma|^{1+2s}}
\dd \tau \dd \sigma}_{\eqqcolon C_3(h)}.
\end{multline*}
For the first two of these three terms we obtain
\begin{align*}
\frac{C_1(h)}{h} &\to \int_{R_t} \frac{1}{|t - \tau|^{1+2s}} \dd \tau
\enskip\text{and}\enskip
\frac{C_2(h)}{h}
\to \int_{J_t} \frac{1}{|t - \sigma|^{1+2s}}\dd \sigma,
\end{align*}
where we have used Lebesgue's dominated convergence theorem again. We continue and analyze $C_3(h)$. Because all other terms are bounded (after dividing by $h$ and passing to the limit $h \to 0$), the claim holds if $C_3(h)/h$ is unbounded below.

We consider the case $h > 0$. Then elementary computations yield
\begin{align*}
-C_3(h) &= \frac{1}{2s} \int_{[t,t + h]}
\left|(\sigma - t)^{-2s} - ((t + h) - \sigma)^{-2s}
\right|\dd\sigma \\
&= \frac{1}{s} \int_{[t,t + 0.5h]} (\sigma - t)^{-2s} - ((t + h) - \sigma)^{-2s}\dd\sigma\\
&= \frac{1}{s(1 - 2s)}\left(\left.(\sigma - t)^{1-2s}\right|_{\sigma = t}^{\sigma=t + 0.5h} + \left.((t + h) - \sigma)^{1-2s}\right|_{\sigma = t}^{\sigma=t + 0.5h} \right) \\
&= \frac{1}{s(1 - 2s)}\left(\frac{h^{1-2s}}{2^{1-2s}} + \frac{h^{1-2s}}{2^{1-2s}} - h^{1-2s} \right).
\end{align*}
We consider the case $h < 0$. Then elementary computations similarly yield
\begin{align*}
-C_3(h) &= \frac{1}{2s}
\int_{[t,t+h]} \left|(t - \sigma)^{-2s} - (\sigma - (t + h))^{-2s}\right|\dd\sigma = \frac{-1}{s(1 - 2s)}\left(\frac{|h|^{1-2s}}{2^{1-2s}} + \frac{|h|^{1-2s}}{2^{1-2s}} - |h|^{1-2s} \right).
\end{align*}

This implies $\frac{C_3(h)}{h} \to -\infty$ for $h \to 0$.
\end{proof}



\bibliographystyle{crplain}
\bibliography{CRMATH_Manns_20220893}
\end{document}
