Convergence of a Sinusoidal Series with an Infinite Integral

Abstract

In this paper, we study the relationship between the convergence of the sinusoidal series and the infinity integrals (any real number α ∈[0,1], parameter p > 0). First of all, we study the convergence of the series (any real number α ∈[0,1], parameter p > 0), mainly using the estimation property of the order to obtain that the series diverges when 0 < p ≤1-α, the series converges conditionally when 1-α < p ≤1, and the series converges absolutely when p >1. In the next part, we study the convergence state of the infinite integral (any real number α ∈[0,1], parameter p > 0), and get that when 0 < p ≤1-α, the infinite integral diverges; when 1-α < p ≤1, the infinite integral conditionally converges; when p >1, the infinite integral absolutely converges. Comparison of the conclusions of the above theorem, it is not difficult to derive the theorem: the level of and the infinity integral with the convergence of the state (any real number α ∈[0,1], the parameter p >0), thus promoting the textbook of the two with the convergence of the state requires the function of the general term or the product of the function must be monotonically decreasing conditions.

Share and Cite:

Shan, F. and Zhu, L. (2023) Convergence of a Sinusoidal Series with an Infinite Integral . Advances in Pure Mathematics, 13, 642-650. doi: 10.4236/apm.2023.1310044.

1. Introduction

Usually there is no necessary connection between the convergence of series and infinite integrals [1] , but when the product function has certain characteristics, the two are in the same convergence state, for example, the infinite integral of a monotonically decreasing function has the same convergence as its corresponding series [2] . In the fourth edition of the eight cups competition, held on 1 August 2022, the eighth question of the mathematical group B appeared the problem of determining the convergence of a sinusoidal series: given the parameter p > 0 , try to discuss the convergence of the series n = 1 sin n n p with respect to the value of the parameter p (when converging, it should be determined whether it is absolutely convergent). We find that the level when 0 < p 1 2 , the level of dispersion; when 1 2 < p 1 , the level of conditional convergence; when p > 1 , the level of absolute convergence, and the infinite integral 1 + sin x x p d x has the same convergence. It can be seen that the class of non-monotonic functions has the same convergence of the series and the corresponding infinite integral under certain conditions. The above shows that the sinusoidal series sin n α n p has the same convergence as the infinite integral 1 + sin x α x p d x when α = 1 2 . In the following, we try to extend this conclusion to the general α [ 0 , 1 ] case, to begin with we study the convergence of the series sin n α n p , then we discuss the convergence of the infinite integrals 1 + sin x α x p d x , and by comparing the two, we conclude that the series sin n α n p and the infinite integrals 1 + sin x α x p d x have the same convergence in this paper.

2. Convergence States of Sinusoidal Term Levels

Proposition: For the sinusoidal series sin n n p (parameter p > 0 ), the series diverges when 0 < p 1 2 , converges conditionally when 1 2 < p 1 , and converges absolutely when p > 1 .

Corollary: Let any real number α [ 0 , 1 ] and parameter p > 0 be the convergence state of the sinusoidal series sin n α n p : when 0 < p 1 α , the series diverges; when 1 α < p 1 , the series converges conditionally; when p > 1 , the series converges absolutely (provided that { p | m < p m , m R } = ).

Proof:

Using the sum and difference product formula, express sin n α as

sin n α = cos ( n + 1 ) α n α 2 s i n ( n + 1 ) α n α 2 cos n α cos ( n + 1 ) α 2 + sin n α sin ( n + 1 ) α 2 (1)

According to Taylor’s formula, it is possible to obtain

cos x sin x = 1 x + o ( x ) , x 0 (2)

( n + 1 ) α n α 2 = n α 2 ( ( 1 + 1 n ) α 1 ) = n α 2 ( 1 + α n + o ( 1 n 2 ) 1 ) = α 2 n 1 α ( 1 + o ( 1 n ) ) (3)

The association of (1), (2) and (3) yields

sin n α n p = cos n α cos ( n + 1 ) α α n p + α 1 + sin n α s i n ( n + 1 ) α 2 n p + o ( 1 n p + 1 ) (4)

Therefore, when p = 1 α is found

sin n α n 1 α = cos n α cos ( n + 1 ) α α + sin n α s i n ( n + 1 ) α 2 n 1 α + o ( 1 n 2 α ) (5)

According to by the Cauchy criterion lim n cos n α does not exist, so the level cos n α cos ( n + 1 ) α α diverges, and by the A-D discriminant, the levels sin n α sin ( n + 1 ) α 2 n 1 α all converge, and the p-levels also converge, so the level sin n α n p diverges.

When p > 1 , the level | sin n α n p | | 1 n p | , it is easy to know that the p level converges, there is a comparative discriminant method to get the level sin n α n p absolute convergence.

When 1 α < p 1 , by the A-D discriminant, the level sin n α n p converges, the following consider the convergence of the level | sin n α n p | , for n N + , there is | sin n α n p | sin 2 n α n p = 1 c o s 2 n α 2 n p , it is not difficult to see that the p level 1 n p diverges, and c o s 2 n α 2 n p converges, so | sin n α n p | diverges, so sin n α n p conditional convergence.

When 0 < p < 1 α , the level sin n α n p is divergent, also use the inverse method to prove that the level is divergent. First of all, assume that there is a point p 0 ( 0 , 1 2 ) , so that the level of sin n α n p convergence, to find out the level of n before the part of the term and S n = k = 1 n sin k α k p 0 is bounded on n, according to the A-D method of discrimination can be sin n α n 1 α = sin n α n p 0 1 n 1 α p 0 convergence, which is contradictory to the sin n α n 1 α divergence, so when 0 < p < 1 2 , the level of sin n α n p divergence.

In summary, the sinusoidal series sin n α n p ( α ( 0 , 1 ) , p > 0 ), when 0 < p 1 α , the series diverges; when 1 α < p 1 , the series converges conditionally; when p > 1 , the series converges absolutely. (a)

Consider below the case where α takes values at the endpoints α = 0 and α = 1 :

When α = 0 is the level sin 1 n p , sin 1 is a constant, so it is in the same convergence state as the level p. That is, when is the level converges and is absolutely convergent; when is the level diverges. That is, when p > 1 , the level sin 1 n p converges and absolutely converges; when p 1 , the level sin 1 n p diverges. (b)

When α = 1 , the convergence state of the level sin n n p is discussed below:

When p > 1 , the p-series converges due to | sin n n p | 1 n p , and the series sin n n p converges absolutely by the comparative discriminant;

When p = 1 is used, by the product to sum formula, we know that

k = 1 n sin k = 1 2 sin 1 2 k = 1 n 2 sin 1 2 sin k = k = 1 n ( cos ( k + 1 2 ) cos ( k 1 2 ) ) 2 sin 1 2 = cos 1 2 cos 2 n + 1 2 2 sin 1 2 (6)

Using the A-D discriminant method, sin n part of the sum series is bounded, and { 1 n } monotonically decreasing and tends to 0, so sin n n convergence, the following proof of sin n n conditional convergence, because | sin n n | sin 2 n n = 1 cos 2 n 2 n = 1 2 n cos 2 n 2 n , and by the A-D discriminant method of the series cos 2 n 2 n convergence, but the sum series 1 n divergence, so sin n n conditional convergence.

When 0 < p < 1 , by the A-D discriminant method, the part of the series sin n and the series is bounded, and { 1 n p } monotonically decreasing and tends to 0, so sin n n convergence. And | sin n n p | sin 2 n n p = 1 cos 2 n 2 n p = 1 2 n p cos 2 n 2 n p , by the product and difference formula to get

k = 1 n cos 2 k = k = 1 n 2 sin 1 cos 2 k 2 sin 1 = k = 1 n sin ( 2 k + 1 ) sin ( 2 k 1 ) 2 sin 1 = sin ( 2 n + 1 ) sin 1 2 sin 1 (7)

Therefore, the part of cos 2 n and the series are bounded, and 1 n p is monotonically decreasing and tends to 0, so the series cos 2 n 2 n p converges, but the series 1 n p diverges, so the series sin n n p converges conditionally.

In summary, when α = 1 , the level sin n α n p When p > 1 , the level converges absolutely; when 0 < p 1 , the level converges conditionally. (c)

Summing up at (a), (b) and (c), we have that the series diverges when 0 < p 1 α ; the series converges conditionally when 1 α < p 1 ; and the series converges absolutely when p > 1 . The corollary is proved. QED

3. Convergence States of Infinite Integrals

Lemma: Infinite integrals 1 + sin x α x p d x , for any real number α [ 0 , 1 ] , parameter p > 0 , at that time 0 < p 1 α , the infinite integrals diverge; at that time 1 α < p 1 , the infinite integrals converge conditionally; at that time p > 1 , the infinite integrals converge absolutely.

Proof.

Consider first the case of α = 0 . The infinite integral is transformed into 1 + sin 1 x p d x , and sin 1 is a positive constant, so the level is in the same convergence state as 1 + 1 x p d x . So when p > 1 , the series converges and converges absolutely; when p 1 , the series diverges.

Next consider α = 1 . The infinite integral is transformed to 1 + sin x x p d x . When p > 1 is | sin x x p | 1 x p , while 1 + 1 x p d x converges, by the comparative discriminant, we know that 1 + sin x x p d x converges and is absolutely convergent.

Consider p = 1 when F ( A ) = 1 A sin x d x = ( cos A cos 1 ) is bounded on [ 1 , + ) and g ( x ) = 1 x is monotone on [ 1 , + ) and lim x + 1 x = 0 , so 1 + sin x x d x converges. Since | sin x x | sin 2 x x = 1 2 x cos 2 x 2 x , combined with the A-D discriminant, we know that 1 + cos 2 x 2 x d x converges and 1 + 1 2 x d x diverges. So 1 + sin x x d x converges conditionally.

When 0 < p < 1 , the same process as above, consider that F ( A ) = 1 A sin x d x is bounded on [ 1 , + ) and g ( x ) = 1 x p is monotone on [ 1 , + ) and lim x + g ( x ) = 0 , so 1 + sin x x p d x converges. But | sin x x p | sin 2 x x p = 1 2 x p cos 2 x 2 x p , combined with the A-D discriminant, we know that 1 + cos 2 x 2 x p d x converges while 1 + 1 2 x p d x diverges. So 1 + sin x x p d x converges conditionally.

Finally, consider the case of α ( 0 , 1 ) . Let t = x α , then x = t 1 α , d x = d t 1 α = 1 α t 1 α 1 d t , so that

1 + sin x α x p d x = 1 α 1 + sin t t p α t 1 α 1 d t = 1 α 1 + sin t t p 1 α + 1 d t (8)

When 1 < p 1 α + 1 is p > 1 , | sin t t p 1 α + 1 | 1 t p 1 α + 1 , t [ 1 , + ) , we know that 1 + | sin t t p 1 α + 1 | d t converges by the comparative discriminant, and thus 1 + sin x α x p d x converges absolutely.

When 0 < p 1 α + 1 1 is 1 α < p 1 . On the one hand, u 1 , has 1 u sin x d x = | cos 1 cos u | 2 , and 1 x p 1 α + 1 is monotonic and tends to 0 when p 1 α + 1 > 0 ( x + ). It can be deduced from the fact that 1 + sin x x p 1 α + 1 d x converges according to the A-D discriminant. On the other hand, since

| sin x x p 1 α + 1 | sin 2 x x p 1 α + 1 = 1 2 x p 1 α + 1 cos 2 x 2 x p 1 α + 1 , x [ 1 , + ) (9)

where 1 + cos 2 x 2 x p 1 α + 1 d x = 1 2 2 + cos t 2 p 1 α t p 1 α + 1 d t . According to the A-D discriminant condition, it is known that 1 + cos 2 x 2 x p 1 α + 1 d x is convergent and 1 + d x 2 x p 1 α + 1 is divergent ( 1 α < p 1 ), so the infinite integral 1 + | sin x x p 1 α + 1 | d x is divergent when 0 < p 1 α + 1 1 and thus 1 + sin x α x p d x is conditionally convergent.

When p 1 α + 1 = 0 is p = 1 α , substitution yields

1 + sin x x p 1 α + 1 d x = 1 + sin x d x = lim M + ( 1 cos M ) (10)

It follows from the Cauchy convergence criterion that ε 0 = 1 2 , M = 2 k π and M = 2 k π + π 2 , such that

| cos M cos M | = | cos ( 2 k π ) cos ( 2 k π + π 2 ) | = 1 > ε 0 (11)

Therefore lim M + cos M does not exist, so 1 + sin x d x diverges.

When p 1 α + 1 < 0 is p < 1 α , the infinite integral 1 + sin x x p 1 α + 1 d x is divergent. Using the converse method, suppose the infinite integral 1 + sin x x p 1 α + 1 d x converges, then since x p 1 α + 1 is bounded on x [ 1 , + ) , according to the A-D discriminant, there should be 1 + sin x d x convergence, a contradiction. Therefore, when p 1 α + 1 < 0 , 1 + sin x x p 1 α + 1 d x is divergent.

To sum up: the infinite integral 1 + sin x α x p d x , for any real number α [ 0 , 1 ] , parameter p > 0 , when 0 < p 1 α , the infinite integral diverges; when 1 α < p 1 , the infinite integral converges conditionally; when p > 1 , the infinite integral converges absolutely. QED

4. Theorem on the Convergence State of the Sine Term Hierarchy with the Infinite Integral Homology

Theorem: Arbitrarily α [ 0 , 1 ] , with parameter p > 0 , the level sin n α n p is convergent to the same state as the infinite integral 1 + sin x α x p d x .

Proof:

According to the above corollary, for a sinusoidal series sin n α n p , any real number α [ 0 , 1 ] , and the parameter p > 0 , the series diverges when 0 < p 1 α , the series converges conditionally when 1 α < p 1 , and the series converges absolutely when p > 1 .

According to the above lemma, for the infinite integral 1 + sin x α x p d x , any real number α [ 0 , 1 ] , parameter p > 0 , the infinite integral diverges when 0 < p 1 α , the infinite integral converges conditionally when 1 α < p 1 , and the infinite integral converges absolutely when p > 1 .

Accordingly, we obtain that the level sin n α n p is homoconvergent with the infinite integral 1 + sin x α x p d x (any α [ 0 , 1 ] , parameter p > 0 ). The proof of the theorem is thus complete. QED

5. Conclusion

Inspired by α = 1 2 when the sine series sin n α n p and the infinite integral 1 + sin x α x p d x (parameter p > 0 ) are in the same convergent state, we explore the convergence of the series sin n α n p and the infinite integral 1 + sin x α x p d x when α [ 0 , 1 ] is in the same convergent state, and we extend the conditions of the function class of the two in the same convergent state, expanding from monotonically decreasing functions to the class of non-monotonous functions, and we will continue to explore the other classes of the two in the same convergent state in the future.

Acknowledgements

In the first place, this paper is supported by the fund for the first-class undergraduate programme construction project (Mathematics and Applied Mathematics) of Xinjiang Uygur Autonomous Region in 2019, the fund for the first-class undergraduate programme construction project (Financial Mathematics) of Xinjiang Uygur Autonomous Region in 2021, the fund for the first-class undergraduate programme construction project (Probability Theory) of Changji College in 2022, and the project for the articulation of high schools and colleges (Quality Enhancement of Modern Vocational Education)-Mathematics and Applied Mathematics in 2022.

In the next place, the communication with Professor Liping Zhu has made the logic of proof, the line of thought, and the future progress of the work in this paper clearer and clearer.

Eventually, the authors are very grateful to the relevant literature for inspiring this paper and the journal reviewers for their valuable comments.

Project Funds

2019 Xinjiang Uygur Autonomous Region First-class Undergraduate Major Construction Project (Mathematics and Applied Mathematics) Fund.

2021 Xinjiang Uygur Autonomous Region First-class Undergraduate Major Construction Project (Financial Mathematics) Fund.

2022 Changi College First Class Undergraduate Curriculum Development Project (Probability Theory) Foundation.

Higher Education Bridging Project (Quality Enhancement in Modern Vocational Education)—2022 in Mathematics and Applied Mathematics.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Lu, S.Q. (2023) Some Thoughts on Infinite Integrals and Number Series. Research in Advanced Mathematics, 26, 10-13.
[2] School of Mathematical Sciences, East China Normal University (2019) Mathematical Analysis (Next Book). 5th Edition. Higher Education Press, Beijing.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.