# Discrete Fučík spectrum - anchoring rather than pasting

- Petr Stehlík
^{1}Email author

**2013**:67

https://doi.org/10.1186/1687-2770-2013-67

© Stehlík; licensee Springer. 2013

**Received: **23 November 2012

**Accepted: **8 March 2013

**Published: **29 March 2013

## Abstract

In this short note we study a simple discrete Fučík spectrum. Trying to imitate standard continuous pasting procedures, we derive a more complicated discrete analogue - anchoring. Using this technique, we show that the problem of finding the parametrization of the second discrete Fučík branch is equivalent to solving a transcendent equation $Asin(x)=sin(Bx)$. Based on this equivalence, we state a conjecture that already the second branch has no elementary parametrization, *i.e.*, it cannot be described by a finite number of elementary functions.

**MSC:** 39A12, 34B15.

### Keywords

Fučík spectrum nonlinear difference equation resonance boundary value problem elementary functions second branch## Dedication

In 1979, deep in the dark days of the Soviet occupation of Central and Eastern Europe, a car with a Belgian couple is crossing the heavily guarded border between West Germany and Czechoslovakia. In their luggage they hide a package with a big amount of cash. If revealed, Jean Mahwin and his wife would end up in a serious trouble. Custom officers wouldn’t believe the true story about a donation collection of West European mathematicians for the widow of the recently deceased young mathematician Svatopluk Fučík. The organizer of the collection is none other than Jean Mawhin himself. The driver not only brings dollars, but also brightens faces of hundreds of decent people who learn about this story. Even today. Mathematicians are commonly depicted as out-of-touch and asocial beings. Few people would connect them to acts of courage and compassion. Jean Mawhin defies this stereotype more than anyone else. I am very happy that I can offer my wishes to his 70th birthday. Happy birthday!

## 1 Introduction

Comparison of related continuous and discrete nonlinear problems reveals a very interesting relationship between these two worlds. In some cases, the finite dimension of discrete function spaces could significantly simplify analysis and provide general results (see [1–3]). In other situations, the broken discrete topology, in which sequences or vectors appear instead of continuous curves, causes difficulties without analogies in the continuous world. The goal of this paper is to show that the Fučík spectrum is one of the most astonishing examples of the latter type.

The nonlinear generalization of the eigenvalue problem for ODEs by Svatopluk Fučík [4] was quickly applied in the theory of semilinear boundary problems (*e.g.*, [5, 6]). Since then this concept has been extended to more complicated differential operators (*e.g.*, [7, 8]) and studied in general settings of Banach spaces (*e.g.*, [9]). Attempts to analyze the Fučík spectrum for matrices and difference operators have been less successful (see [10–13]). Those works reveal the complexity of the matrix problem, which prevents to fully describe the spectrum beyond $2\times 2$ matrices.

Assuming that ${x}^{\pm}(k):=max\{\pm x(k),0\}$, we seek the Fučík spectrum, *i.e.*, pairs $(\mu ,\nu )\in {\mathbb{R}}^{2}$ such that the problem (1) has a nontrivial solution.

In Section 2, there is a short summary of continuous pasting technique. In Section 3, we deal with the trivial first branch of (1). In Section 4, we show that (i) one should rather talk about anchoring than pasting in the case of the second branch, and that (ii) the problem of finding its parametrization is equivalent to the problem of solving $Asin(x)=sin(Bx)$ with $A<0$ and $B\in \mathbb{Q}$. Finally, in Section 5 we state and discuss the conjecture that the parametrization of the second-branch of (1) is not elementary, *i.e.*, it cannot be described by a finite number of elementary functions.

## 2 Pasting in continuous case

**Lemma 1**

*The piecewise nonlinear BVP*(2)

*has a nontrivial solution if and only if*$(\mu ,\nu )\in {\mathrm{\Sigma}}^{c}$,

*where*${\mathrm{\Sigma}}^{c}={\bigcup}_{n=1}^{\mathrm{\infty}}{C}_{n}^{c}$,

*where*

*for* $k=1,2,\dots $ .

*Proof*The detailed proof could be found,

*e.g.*, in [[6], Chapter 42]. We only provide a seemingly clumsy proof of the construction of the second branch ${C}_{2}^{c}$ so that we could illustrate the pasting technique. On ${C}_{2}^{c}$ the solution could be split in the positive part ${x}_{P}(t)$ and negative part ${x}_{N}(t)$. Without loss of generality, we assume that ${x}_{P}(t)=sin(\frac{\pi t}{m})$, where $m\in (0,\pi )$. Then the negative part must have the form ${x}_{N}(t)=Csin\beta (t-\pi )$, where $\beta =\frac{-\pi}{m-\pi}$ is chosen so that ${x}_{P}$ and ${x}_{N}$ meet at

*m*. The constant

*C*is then chosen so that this connection is continuously differentiable (

*cf.*Figure 1). From this we have that $\mu ={(\frac{\pi}{m})}^{2}$ and $\nu ={(\frac{\pi}{\pi -m})}^{2}$, which implies that

## 3 Trivial first branch

*N*branches ${C}_{i}^{d}$,

*i.e.*,

As we use the eigenvalues in the sequel, we present a concise proof.

**Theorem 2**

*The eigenvalues of*(6)

*are*

*and the corresponding eigenvectors are*

*Proof*For a fixed $i=1,2,\dots ,N$, direct substitution of (8) into (6) yields

Thus, we have *N* independent eigenvectors, which finishes the proof. □

The first eigenvalue ${\lambda}_{1}=4{sin}^{2}\frac{\pi}{2(N+2)}$ generates the first Fučík branch ${C}_{1}^{d}$ of (1). Since the corresponding eigenfunction ${u}_{1}(k)=sin\frac{k\pi}{N+1}$ does not change its sign, we obtain that the problem (1) has a nontrivial solution ${u}_{1}(k)$ for an arbitrary couple $({\lambda}_{1},\nu )$, with $\nu \in \mathbb{R}$. Similarly, the problem (1) has a nontrivial solution $-{u}_{1}(k)$ for an arbitrary couple $(\mu ,{\lambda}_{1})$, with $\mu \in \mathbb{R}$.

## 4 Second branch and anchoring

^{a}with values lying on the sine function (

*cf.*Theorem 2 and Figure 2)

*cf.*Theorem 2 and Figure 2) in the nonpositive part

Above, we considered $m\in (1,N)$. This follows from the fact that if we had chosen $m\le 1$ or $m\ge N$, there would have been no positive/negative part and the solution would have laid on ${C}_{1}^{d}$ instead.

Our first observation is trivial and considers integer values of *m*. In this case, the transition between the positive and negative parts occurs exactly at $m=\lfloor m\rfloor =\lceil m\rceil $, and we could easily compute *β* and *C* in (10). In other words, we could still talk about pasting in this case.

**Lemma 3**

*If*$m\in (1,N)$

*is an integer number*,

*then*

*Moreover*, ${x}_{P}$ *and* ${x}_{N}$ *are equal in* $m-1$, *m* *and* $m+1$.

*Proof*If

*m*is integer, then ${x}_{P}(m)=0$. Consequently, the difference equation (1) at $k=m$ reduces to

*m*and $m+1$. Since ${x}_{N}(m)=0$, we obtain that

*e.g.*, at $m+1$, implies that

□

The analysis gets more complicated once we consider non-integer values of *m*. In this case, the transition between positive and negative parts occurs between $\lfloor m\rfloor $ and $\lceil m\rceil $. Our first result states that the values of ${x}_{P}$ and ${x}_{N}$ coincide at $\lfloor m\rfloor $ and $\lceil m\rceil $ (*cf.* Figure 2).

**Lemma 4** (Necessary condition)

*Let*$m\in (1,N)$

*be non*-

*integer*.

*Let*$x=[{x}_{P},{x}_{N}]$

*be a nontrivial solution of*(1)

*with*${x}_{P}$

*and*${x}_{N}$

*given by*(9)

*and*(10).

*Then the following equalities hold*:

*Proof*If ${x}_{P}$ is given by (9), then the equation

which verifies (14).

Using the same argument at $\lceil m\rceil $ for ${x}_{N}$, we obtain that (13) holds as well. □

This result enables us to get both peripheral parts of ${C}_{2}^{d}$.

**Corollary 5**

*and*

*Proof*Let us consider $m\in (N-1,N)$. Then we have

This proves the former part of the statement. The latter follows from the mirror argument. □

Obviously, $\nu >4$ for *m* sufficiently close to *N*. This implies that (11) cannot hold for any *β*, *i.e.*, not all the solutions on the second branch can be obtained as a composition of sine functions!

Since the problem is solved for $m\in (1,2)\cup (N-1,N)$, we could turn our attention to $m\in (2,N-1)$ in the following. Applying (9) and (10), we can rewrite conditions (13) and (14) in the following way.

**Corollary 6** (Necessary condition II)

*Let*$m\in (2,N-1)$

*be non*-

*integer*.

*If*${x}_{P}$

*and*${x}_{N}$

*have the form*(9)

*and*(10),

*then the following equality is satisfied*:

*Proof*One can rewrite equalities (13) and (14) into

*C*on the right-hand sides of both equations, we get

Now, it suffices to multiply this equality by both denominators to get (15). □

**Remark 7** (Anchoring)

Corollary 6 implies that the (continuous extensions of) sine functions (9) and (10) do not intersect at *m* in general. Indeed, we could see that $\beta =\frac{\pi}{N+1-m}$ does not solve (15) for all *m*. In other words, if we define $n:=\frac{\pi}{\beta}$, we have $m+n\ne N+1$ for almost every $m\in (1,N)$ (see Figure 2).

*i.e.*, consider $m\in (2,N-1)$. Corollary 6 implies that one could get the parametrization of ${}^{2}C_{2}^{d}$ if and only if one could solve (15). Equation (15) is equivalent to the problem of solving the transcendent equation

Considering $m\in (\lfloor m\rfloor ,\lceil m\rceil )$, we see that *D* and *C* are constant non-zero integers and $A\in (-\mathrm{\infty},0)$. Consequently, if we substitute $x=B\beta $ and $D=BC$, we get (16).

In order to get the parametrization of the complete second Fučík branch ${C}_{2}^{d}$, we need to solve (15) for *β*, or, equivalently, (16) for *x*. While this could be done pretty easily numerically, we state, in the final section, a conjecture that it is not possible to use a finite number of elementary functions to get such a parametrization. Meanwhile, we make two straightforward observations.

**Remark 8** Considering non-integer values of *m*, we can solve equation (15) only in the symmetric case, in which $m=\lfloor m\rfloor +\frac{1}{2}=\lceil m\rceil -\frac{1}{2}$. Either the symmetry of sine functions or the direct computation yields that $\beta =\frac{\pi}{N+1-m}$. Similarly, as in the integer case (*cf.* Lemma 3), this value coincides with the value of the corresponding continuous problem as the positive and negative parts meet at *m*.

*m*, in which $2m\in \mathbb{N}$ (see Figure 3).

**Corollary 9** *The value of* *ν* *is decreasing in* *μ*.

*Proof*Putting $\beta =\beta (m)$ and differentiating (15), we get

and (11) yields the result. □

## 5 Elementariness of the second branch ${C}_{2}^{d}$

Since the second-branch ${C}_{2}^{d}$ of (1) is the first nontrivial branch of the simplest discrete Fučík spectrum, we believe that its properties can help to explain difficulties with discrete Fučík spectra. Therefore, we discuss possible ways to prove that its part ${}^{2}C_{2}^{d}$ has no elementary parametrization.

**Definition 10** We say that a function is *elementary* if it is a finite composition of rational, algebraic, exponential, logarithmic, trigonometric, inverse trigonometric, hyperbolic and inverse hyperbolic functions. We say that a parametrization of a curve in ${\mathbb{R}}^{2}$ is *elementary* if it consists of elementary functions.

Under this definition, our conjecture becomes as follows.

**Conjecture 11** *The second branch* ${C}_{2}^{d}$ *of* (1) *has no elementary parametrization*.

Our analysis in the previous section implies that one could rephrase this conjecture in the following way.

**Conjecture 12** *The solution of equation* (16) *cannot be solved in elementary functions*.

Since there is a developed theory of elementary integration (see [14]) and (to our knowledge) there is no suitable tool dealing with elementary parametrizations of transcendent equations like (16), we try to use the theory of elementary integration to attack Conjectures 11 and 12.

**Definition 13** We say that the integral is *elementary* if it can be expressed in terms of elementary functions.

One could use the Risch algorithm [[14], Chapter 12] to determine whether an integral is elementary or not. We use this procedure to analyze an integral directly connected to (15).

**Lemma 14** *The integral* $\int \frac{\mathrm{d}x}{xsin(x)}$ *is not elementary*.

*Proof*Denoting $\theta ={e}^{ix}$, $a(\theta )=2i\theta $ and $b(\theta )=x({\theta}^{2}-1)$, we rewrite the integral

Since the roots of $R(z)$ are $z=\pm \frac{1}{x}$, *i.e.*, not constant, the integral is not elementary (see the Rothstein-Trager theorem [[14], Theorem 12.9]). □

Let us return back to Conjecture 12 and study (16) in more general settings, considering $A,B\in \mathbb{R}$.

**Conjecture 15** *Equation* $xsin(u)-sin(yu)=0$ *cannot be solved for* $u=u(x,y)$ *using a finite number of elementary functions*.

Let us denote $f(x,y,u):=xsin(u)-sin(yu)$ and consider the equation $f(x,y,u)=0$. Since $\frac{\partial f}{\partial u}=xcos(u)-ycos(yu)$, the implicit function theorem can be applied in points $(x,y,u)$ such that $xsin(u)=sin(yu)$ and $xcos(u)\ne ycos(yu)$. Therefore, we take into account triplets $(x,y,z)=(1,C,\frac{2\pi n}{1-C})$ with $C\ne 1$, $n\in \mathbb{Z}$.

where $z=u(x,y)$ is the value of *u* along characteristic curves. The third equation of (18) cannot be solved using elementary functions for $n\ne 0$ as the integral $\int \frac{1}{zsin(z)}\phantom{\rule{0.2em}{0ex}}\mathrm{d}z$ is not elementary (Lemma 14).

Unfortunately, the existence of non-elementary parametrization does not imply yet that the solution surfaces $u={u}_{n}(x,y)$ of $f(x,y,u)=0$ (which arise as a union of the characteristic curves) cannot be expressed using elementary functions.

## 6 Conclusion

The goal of this paper was to shed some light on the problems which have arisen in the study of the discrete Fučík spectrum or related resonance problems. Although we were unable to fully prove the nonexistence of elementary parametrization of the second branch of the simplest discrete Fučík spectrum, we believe that the anchoring technique and the relationship to the transcendent equation (16) help to understand better the troubles which occur in this area.

## Endnote

^{a} Subscript ℤ denotes the discrete interval, *i.e.*, ${[0,m]}_{\mathbb{Z}}:=[0,m]\cap \mathbb{Z}$.

## Declarations

### Acknowledgements

This research brought the author to the corners of mathematics he had not been familiar with. Therefore, he is very thankful to Jochen Merker and Petr Nečesal for their guidance. His thanks are also directed to Pavel Drábek, Gabriela Holubová and Komil Kuliev. This research has been supported by the grants of Ministry of Education, Youth and Sports of the Czech Republic ME09109 and MSM 4977751301.

## Authors’ Affiliations

## References

- Bereanu C, Mawhin J:
**Existence and multiplicity results for periodic solutions of nonlinear difference equations.***J. Differ. Equ. Appl.*2006, 12: 677-695. 10.1080/10236190600654689MathSciNetView ArticleGoogle Scholar - Galewski M:
**Dependence on parameters for discrete second-order boundary value problems.***J. Differ. Equ. Appl.*2011, 17: 1441-1453. 10.1080/10236191003639442MathSciNetView ArticleGoogle Scholar - Stehlík P:
**On variational methods for periodic discrete problems.***J. Differ. Equ. Appl.*2008, 14(3):259-273. 10.1080/10236190701483160View ArticleGoogle Scholar - Fučík S:
**Boundary value problems with jumping nonlinearities.***Čas. Pěst. Mat.*1976, 101: 69-87.Google Scholar - Dancer EN:
**On the Dirichlet problem for weakly nonlinear elliptic partial differential equations.***Proc. R. Soc. Edinb.*1999, 293: 187-197.Google Scholar - Fučík S:
*Solvability of Nonlinear Equations and Boundary Value Problems*. Reidel, Dordrecht; 1980.Google Scholar - Drábek P, Robinson S: Resonance problems for the
*p***-Laplacian.***J. Funct. Anal.*1999, 169(1):189-200. 10.1006/jfan.1999.3501MathSciNetView ArticleGoogle Scholar - Rynne B:
**The Fucik spectrum of general Sturm-Liouville problems.***J. Differ. Equ.*2000, 161(1):87-109. 10.1006/jdeq.1999.3661MathSciNetView ArticleGoogle Scholar - Ben Naoum A, Fabry C, Smets D:
**Structure of the Fučík spectrum and existence of solutions for equations with asymmetric nonlinearities.***Proc. R. Soc. Edinb.*2001, 131(2):241-265. 10.1017/S030821050000086XMathSciNetView ArticleGoogle Scholar - Holubová, G, Nečesal, P: The Fučík spectrum: exploring the bridge between discrete and continuous world (in press)Google Scholar
- Ma R, Xu Y, Gao C:
**Spectrum of linear difference operators and the solvability of nonlinear discrete problems.***Discrete Dyn. Nat. Soc.*2010., 2010: Article ID 757416Google Scholar - Margulies C, Margulies W:
**Nonlinear resonance set for nonlinear matrix equations.***Linear Algebra Appl.*1999, 293: 187-197. 10.1016/S0024-3795(99)00040-3MathSciNetView ArticleGoogle Scholar - Švarc R:
**Two examples of the operators with jumping nonlinearities.***Comment. Math. Univ. Carol.*1989, 30(3):587-620.Google Scholar - Geddes KO, Czapor SR, Labahn G:
*Algorithms for Computer Algebra*. Kluwer, Dordrecht; 1992.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.