Injectivité d'un opérateur

Bonsoir
Je voudrais trouver des conditions optimales sur les coefficients $a,b,c,d$ tels que pour $f\in L^{2}(0,1),\ r \in\,]0,1[.$
$$
\left\{
\begin{array}{ccc}
af(x-r)+bf(x)=0, & \mathrm{if} & x\in\, ]r,1[ \\
& & \\
cf(x+1-r)+df(x)=0 & \mathrm{if} & x\in\, ]0,r[%
\end{array}%
\right.\quad \Longrightarrow f=0\quad?


$$ Voilàce que j'ai fait.
J'ai commencé à écrire l’expansion de Fourier de $f:$
$$
f(x)=\sum_{n\in \mathbb{Z}}c_{n}e^{2in\pi x},\text{ avec }c_{n}=\int_{0}^{1}f(t)e^{-2in\pi t}dt.

$$ Le but c'est de prouver que $c_{n}=0,\ \forall n\in \mathbb{Z}.$
\begin{eqnarray*}
c_{n} &=&\int_{0}^{1}f(t)e^{-2in\pi t}dt=\int_{0}^{r}f(t)e^{-2in\pi
t}dt+\int_{r}^{1}f(t)e^{-2in\pi t}dt \\
&&\overset{\text{by definition}}{=}-\frac{c}{d}\int_{0}^{r}f(t+1-r)e^{-2in%
\pi t}dt-\frac{a}{b}\int_{r}^{1}f(t-r)e^{-2in\pi t}dt \\
&=&-\frac{c}{d}e^{-2in\pi r}\int_{1-r}^{1}f(t)e^{-2in\pi t}dt-\frac{a}{b}%
e^{-2in\pi r}\int_{0}^{1-r}f(t)e^{-2in\pi t}dt.

\end{eqnarray*} Donc,
$$
\left( 1+\frac{c}{d}e^{-2in\pi r}\right) \int_{1-r}^{1}f(t)e^{-2in\pi
t}dt+\left( 1+\frac{a}{b}e^{-2in\pi r}\right) \int_{0}^{1-r}f(t)e^{-2in\pi
t}dt=0.

$$ Par exemple, si
$$
1+\frac{c}{d}e^{-2in\pi r}=1+\frac{a}{b}e^{-2in\pi r},\quad\forall n\in \mathbb{Z},

$$ alors
$$
c_{n}=\int_{0}^{1}f(t)e^{-2in\pi t}dt=0,\quad\forall n\in \mathbb{Z}.

$$ Clairement, cette condition n'est pas optimale, avez-vous des idées ?
Merci d'avance.

Réponses

  • Bonjour, c'est peut-être plus facile si on élimine $f(x)$ du système linéaire à deux inconnues. On obtient alors une équation aux différences du type $e_1f(x-r)+e_2f(x+1-r)=0$. On pose alors $g_r(x)=f(x-r)$ ce qui donne la famille d'équations $e_1g_r(x)+e_2g_r(x+1)=0$ faciles à résoudre par quadrature...
    Les mathématiques ne sont pas vraies, elles sont commodes.
    Henri Poincaré
  • Bonjour
    Je pense qu'on peut chercher d'abord des conditions suffisantes.

    Pour cela je suppose que $r<1/2$ et on pose
    $x=\int_0^r |f(x)|^2 dx, y=\int_r^{1-r} |f(x)|^2 dx\ $ et
    $z=\int_{1-r}^1 |f(x)|^2 dx $z

    La première égalité implique $\quad a^2(y+z)=b^2(x+y)$
    et la seconde $\quad c^2z =d^2x$
    Par élimination je trouve $\quad y=\dfrac{b^2 c^2-a^2 d^2}{\left(a^2-b^2\right) c^2} x$
    (les cas particuliers où le dénominateur est nul sont à étudier à part).

    Si $\dfrac{b^2 c^2-a^2 d^2}{\left(a^2-b^2\right) c^2} <0\ $ alors $x=y=z=0 ,$ c'est-à-dire $f=0. $
    Si cette condition n'est pas remplie il me semble qu'on doit pouvoir construire un exemple où $f$ n'est pas nulle mais c'est un travail à faire.

    Si $r>1/2$ travail analogue.
     
Connectez-vous ou Inscrivez-vous pour répondre.