1. Introduction and Statement of the Main Results
Generalized Bernoulli polynomial equations are equations of the form
where
are polynomials in real variables and
. It goes without saying the importance of such equations, which appear in all textbooks of ordinary differential equations as the first examples of nonlinear equations that can be solved. The study of given polynomial solutions of a differential equation is of main interest for understanding the set of solutions of a differential system.
There are several previous works asking for polynomial solutions of the above or more general equations for some values of
n, see, for instance, [
1,
2,
3,
4,
5,
6] and the references therein. When
and
are constant, it is the well-known trigonometric Riccati equation, and when
and
are constant, it is the well-known Abel equation. The question of asking for polynomial solutions of such equations is reminiscent of a similar one proposed by Poincaré on the number and degree of algebraic solutions of planar autonomous polynomial differential systems in terms of their degrees. The characterization of the number of polynomial solutions of Equation (
1) was completely solved in [
7] where the authors determine the maximum number of polynomial solutions of Bernoulli equations of the form in (
1), and this maximum is achieved.
In this paper, we go a step further and consider Equation (
1) where the functions that appear are real trigonometric polynomials of a certain degree
. In this case, we will rename them as
trigonometric polynomial Bernoulli differential equations of degree μ. We note that the degree of a trigonometric polynomial is well defined in terms of its Fourier series, since it is the degree of its corresponding Fourier series. The ring of trigonometric polynomials in the variables
with coefficients in
will be denoted as
. We note that these equations (especially when
or
and
is constant) appear in the study of the number of limit cycles of planar polynomial differential equations with homogeneous nonlinearities (see, for example, [
8,
9] and the references therein). In particular, periodic orbits surrounding the origin of these planar systems correspond to
-periodic solutions of the corresponding Riccati or Abel equations. When
is not constant, these real trigonometric equations are singular at the zeros of
, which implies that the Cauchy problem has no unique solutions on the zero set of
, and so the behavior of the solutions becomes more and more complex. For example, when
, there are a large number of trigonometric polynomial solutions of the equation, and the number of solutions is bounded from above in terms of the degrees of the corresponding trigonometric polynomials defining the equation. More concretely, we will work with real trigonometric Bernoulli differential equations of the form
where the prime denotes the derivative with respect to
,
, for
and
. We also have
where
are the degrees of
,
and
, respectively. In this case, we say that the real trigonometric Bernoulli equation has degree
.
Our first result completely solves the problem of Bernoulli trigonometric polynomials (
2). The case
was proved in [
10] and the case
was proved in [
11]. We include them in the next theorem for the sake of completeness.
Theorem 1. Consider real trigonometric Bernoulli differential equations
with and of degree μ. Then - 1.
For , Equation (
3)
has at most real trigonometric polynomial solutions if and 3
trigonometric polynomial solutions if and there are trigonometric differential equations of this type that have exactly this maximum number of trigonometric polynomial solutions. - 2.
For , Equation (
3)
has at most 7
real trigonometric polynomial solutions, and there are real trigonometric differential equations of this type having exactly these maximum number of trigonometric polynomial solutions. - 3.
For , Equation (
3)
has at most 3
real trigonometric polynomial solutions when n is even and 5
real trigonometric polynomial solutions when n is odd, and there are real trigonometric differential equations of this type having exactly these maximum number of trigonometric polynomial solutions.
Theorem 1 is proved in
Section 2. As we shall see, the case of trigonometric polynomials is much more involved than the case of polynomials because the proofs of the maximum number of solutions are based on divisibility arguments. In contrast to the ring of polynomials, which is a Unique Factorization Domain, the ring of trigonometric polynomials is not a Unique Factorization Domain, as we will see in the next section. This causes the difficulty in proving that such results are much higher than in the case of polynomials.
Notice that the question we are interested in is also reminiscent of a similar one proposed by Poincaré about the number and degree of algebraic solutions of planar autonomous polynomial differential systems in terms of their degrees.
Our second objective in the paper is on equations of the form
where again the prime denotes derivative in the variable
,
for
with
. These types of equations will be called
real trigonometric Bernoulli equations of the first kind. In this case neither the case
not constant nor the case
constant have been studied anywhere for
. The case
has been studied in [
11], but we introduce it here for the sake of completeness.
Theorem 2. Consider real trigonometric Bernoulli differential equations of the first kind
with and of degree μ. Then - 1.
For , Equation (
4)
has at most 7
real trigonometric polynomial solutions and there are trigonometric differential equations of this type that have exactly this maximum number of trigonometric polynomial solutions. - 2.
For , Equation (
4)
has at most 5
real trigonometric polynomial solutions when n is even and 3
real trigonometric polynomial solutions when n is odd, and there are real trigonometric differential equations of this type having exactly the maximum number of trigonometric polynomial solutions.
2. Preliminaries
We first observe that the proofs of Theorems 1 and 2 are based on divisibility arguments and that the ring of polynomials is not a Unique Factorization Domain. This can be seen for instance using the identity
. So,
divides the right-hand side expression but does not divide the left-hand side. This difficulty is overcome using the isomorphism
given by
between the two fields
and
, being
the ring of rational functions with coefficients in
.
The following result is well-known.
Lemma 1. Let with degree μ. Thenwhere and . Conversely, any rational function with an arbitrary polynomial of degree at most can be written as a trigonometric polynomial through the inverse change . The following result is an extension of Fermat’s theorem for polynomials. For a proof of it, we refer the reader to [
12].
Theorem 3. Equation where has polynomial solutions not pairwise similar if and only if .
In particular when there are no solutions of the equation .
Now we write (
3) in terms of
and
with
.
Lemma 2. Let be a nonconstant real trigonometric polynomial solution of Equation (3) and setwith , , , and , , and . Then Equation (
3)
becomeswhere the dot denotes the derivative in the new variable x. Proof. It follows from
that
where the dot denotes the derivative in the variable
x and the prime denotes the derivative in the variable
. Using this, it is clear that Equation (
3) becomes (
5). □
In the same manner, using (
6) we have the following lemma, which we state without proof.
Lemma 3. Let be a nonconstant real trigonometric polynomial solution of Equation (
4)
and setwith , , , and , , and . Then Equation (
3)
becomeswhere the dot denotes the derivative in the new variable x. Proof of Theorem 1. Let
be a solution of (
3). First we note that if
is solution of (
3) then
is also a solution for all
such that
. It follows from the fact that when
n is even the identity
has a unique real solution
while it has two real solutions
when
n is odd, that if
is a solution of Equation (
3) then
is also a solution of (
3) which is different from
when
n is odd.
Now we claim the following: Let
,
be different polynomial solutions of Equation (
3) with
,
,
and
(when
n is odd). Set
for
where
,
,
and
for
. Write
for
where
. Then except the solution
, all other polynomial solutions of Equation (
3), if they exist, can be expressed as
where
,
,
being
c a constant with
and
is a polynomial.
Now we prove the claim. Let
be a nonzero real trigonometric polynomial solution of Equation (
3). The functions
are solutions of a linear differential equation and satisfy
Integrating the above equality, we obtain
where
c is an arbitrary constant. So, the general solution of Equation (
3) is
or equivalently
Since the right-hand side of Equation (
8) is not divisible by
we must have
, but if
then taking into account that neither
nor
(and when
also
) do not divide
, we get a contradiction with (
8). In summary, we have
and Equation (
8) becomes
being
c an arbitrary constant not equal
(otherwise
) and not equal to
(in which case
). This concludes the proof of the claim.
In view of the claim, if
are real trigonometric polynomial solutions of (
3) such that
for
,
, then any other real trigonometric polynomial solution of Equation (
3), say
, different from them is of the form given in (
7) for some appropriate constant
c with
and
. In particular
where
is the
-th root of a polynomial
q and
q divides
g. This implies that
for some polynomial
. It follows from Theorem 3 that this last equation has no non-similar polynomial solutions for
, and as a consequence, such polynomial
q does not exist, implying that such real trigonometric polynomial
does not exist unless the polynomial solutions are similar. However, in this last case taking into account that
, we conclude that it is also not possible.
In short, among the solution , there can only be two sets of solutions if n is even and if n is odd.
Now we show that there are equations of the form (
3) with this number of real trigonometric polynomial solutions. Note that
and
are polynomial solutions of equation
with
Therefore, in view of Lemmas 1 and 2 if we set
then the solutions
are real trigonometric polynomial solutions of Equation (
3). This concludes the proof of the theorem. □
Proof of Theorem 2. Let
be a solution of (
4). First we note that if
is a solution of (
4) then
is also a solution for all
such that
. It follows from the fact that when
n is odd the identity
has a unique real solution
while it has two real solutions
when
n is even, that if
is a solution of Equation (
4) then
is also a solution of (
4) which is different from
when
n is even.
Now we claim that if
,
are different polynomial solutions of Equation (
3) with
,
,
and
(when
n is odd) then setting
for
where
and
,
and
for
and writing
for
where
then except the solution
, all the other polynomial solutions of Equation (
3), if they exist, can be expressed as
where
,
and
being
c a constant with
and
a polynomial.
Now we prove the claim. Let
be a nonzero real trigonometric polynomial solution of Equation (
3). The functions
are solutions of a linear differential equation and satisfy
Integrating the above equality, we obtain
where
c is an arbitrary constant. So, the general solution of Equation (
3) is
where
c is an arbitrary constant. Therefore,
or equivalently
Since the right-hand side of Equation (
10) is a polynomial that is not divisible by
, we must have
, but if
then, taking into account that
does not divide
we get a contradiction to (
10). In summary, we have
and Equation (
10) becomes
being
c an arbitrary constant not equal
(otherwise
) and not equal to
(in which case
). This concludes the proof of the claim.
In view of the claim, if
are real trigonometric polynomial solutions of (
4) such that
for
,
, then any other real trigonometric polynomial solution of Equation (
4), say
, different from them is of the form given in (
9) for some appropriate constant
c with
and
. In particular
where
is the
-th root of a polynomial
q. This implies that
for some polynomial
. It follows from Theorem 3 that this last equation has no non-similar polynomial solutions for
, and as a consequence, such polynomial
q does not exist, implying that such real trigonometric polynomial
does not exist unless the polynomial solutions are similar. However, in this last case taking into account that
, we conclude that it is also not possible.
In short, among the solution , there can only be two sets of solutions if n is odd and if n is even.
Now we show that there are equations of the form (
4) with this number of real trigonometric polynomial solutions. Note that
and
are polynomial solutions of equation
with
Therefore, in view of Lemmas 1 and 2 if we set
then the solutions
are real trigonometric polynomial solutions of Equation (
4). This concludes the proof of the theorem. □
3. Conclusions
In this paper, we consider real trigonometric polynomial equations of a certain degree that are called trigonometric polynomial Bernoulli differential equations of degree μ. The form of the real trigonometric polynomial Bernoulli equation is with , , being trigonometric polynomials of degree at most . With the same conditions but with instead of is considered also the trigonometric polynomials having the form . For the first equation, it is shown that for , it has at most 3 real trigonometric polynomial solutions when n is even, at most 5 real trigonometric polynomial solutions when n is odd and these upper bounds are reached. For the second equation, it is proved that for , it has at most 3 real trigonometric polynomial solutions when n is odd, at most 5 real trigonometric polynomial solutions when n is even and these upper bounds are reached. This paper solves completely for these trigonometric polynomial Bernoulli differential equations the question about the number and degree of trigonometric solutions of planar trigonometric polynomial differential systems in terms of their degrees (similar to the one given by Poincaré for polynomial differential systems).