• 検索結果がありません。

1/11 NuttanonSongsuwan(Z118170)SITSupervisor:Prof.ShingoTakeuchiDepartmentofMathematicsKingMongkut’sUniversityofTechnologyThonburi sin (2 x )) Double-angleformulaofgeneralizedtrigonometricfunctionsforsomespecialcase(

N/A
N/A
Protected

Academic year: 2021

シェア "1/11 NuttanonSongsuwan(Z118170)SITSupervisor:Prof.ShingoTakeuchiDepartmentofMathematicsKingMongkut’sUniversityofTechnologyThonburi sin (2 x )) Double-angleformulaofgeneralizedtrigonometricfunctionsforsomespecialcase("

Copied!
11
0
0

読み込み中.... (全文を見る)

全文

(1)

Project Abstract Introduction Preliminaries Main Result Conclusion

Double-angle formula of generalized trigonometric functions for some special case (sin

4

3,4

(2x))

Nuttanon Songsuwan (Z118170) SIT Supervisor: Prof. Shingo Takeuchi

Department of Mathematics

King Mongkut’s University of Technology Thonburi

(2)

Project Abstract Introduction Preliminaries Main Result Conclusion

Abstract

In this presentation, we will introduce the double-angle formula for the very special case of the generalized trigonometric functions (sin

p,q

) when p =

43

and q = 4, which is discovered by D.E. Edmunds, P. Gurka, and J. Lang [1]. We also give the alternative proof of the double-angle formula of sin

4

3,4

, which is introduced by S. Takeuchi [2].

Reference

[1] David E. Edmunds, Petr Gurka, and Jan Lang,Properties of generalized trigonometric functions, Journal of Approximation Theory164(2012), no. 1, 47 –56.

[2] Shingo Takeuchi,Multiple-angle formulas of generalized trigonometric functions with two parameters, Journal of Mathematical Analysis and Applications444(2016), no. 2, 1000 –1014.

(3)

Project Abstract Introduction Preliminaries Main Result Conclusion

Generalized trigonometric functions

Generalized trigonometric functions

From the calculus class, we know that sin

−1

x =

Z x

0

(1

t

2

)

−12 dt.

Now we want to do the generalization of the trigonometric function by defined

Fp,q

: [0, 1]

[0,

∞) by

Fp,q

(x) :=

Z x

0

(1

t

q

)

−1 p dt,

where p, q

>

1.Since

Fp,q

is strictly increasing (F

p,q

is injective) therefore

Fp,q

is invertible and we denote

sin

p,q

:=

Fp,q−1.

(4)

Project Abstract Introduction Preliminaries Main Result Conclusion Generalized trigonometric functions

The sin

p,q

is defined on an interval [0,

πp,q2

], where

πp,q

:= 2F

p,q

(1) = 2

Z 1 0

(1

t

q

)

−1p dt.

We can extend sin

p,q

to the whole real line (

R

) by using Symmetry and Periodicity property. Now we define cos

p,q

:

R→R

by

cos

p,q

x :=

d

dx

sin

p,q

x.

From this, we get the following property

|cosp,q

x|

p

+

|sinp,q

x

|q

= 1 for x

∈R.

(5)

Project Abstract Introduction Preliminaries Main Result Conclusion Importance Lemma and Theorem

For the ordinary trigonometric functions, we know the addition formulae (sin(x + y)) and double-angle formulae (sin(2x)) in term of sin(x) and sin(y) as

sin(x + y) = sinxcosy + cosxsiny and sin(2x) = 2sinxcosx

.

Unfortunately, we do not know the GENERAL addition formula or double-angle

formula for the generalized trigonometric functions.

(6)

Project Abstract Introduction Preliminaries Main Result Conclusion Importance Lemma and Theorem

We define p

:=

p−1p

. For p = 2 and q = 4, the generalized trigonometric function sin

2,4

x coincides with the lemniscate (sine) function

slx.

Lemma (The double-angle formula of the lemniscate function) Let

sl

be the lemniscate function and x

[0,

π2,42

], then

sl(2x) =

2slx

p

1

−sl4

x

1 +

sl4

x ;

sl(x) =

sin

2,4

x. (DL)

Theorem (The multiple-angle formula of generalized trigonometric funtion [2]) For p

>

1 and x

[0,

2π2/p2,p

] = [0,

πp2,p

], we have

sin

2,p

(2

2/p

x) = 2

2/p

sin

p,p

xcos

pp,p−1

x, (MG)

(7)

Project Abstract Introduction Preliminaries Main Result Conclusion The double formula for thesin4/3,4

In 2011, D.E. Edmunds, P. Gurka, and J. Lang [1] discovered the double-angle formula for some very special case of the generalized trigonometric function (sin

p∗,p

) when p = 4 .

Theorem (The double-angle formula for

sin4

3,4x

[1]) Let x

[0,

π4/3,44

]. Then

sin

4

3,4

(2x) = 2sin

4/3,4

x(cos

4/3,41/3

x) 1 + 4(sin

4/3,44

x)(cos

4/3,44/3

x)

1/2.

Their proof of this theorem relies on the Jacobian elliptic functions. So we will

introduce the alternative proof by using the lemniscate (sine) function. This proof was

discovered by S. Takeuchi [2].

(8)

Project Abstract Introduction Preliminaries Main Result Conclusion The double formula for thesin4/3,4

Sketch of Proof.

Applying (MG) in case p = 4 with x replaced by 2x

[0,

π4/3,42

), we get

sl(2

2x) =

2sin

4/3,4

(2x)(1

sin

44/3,4

(2x))

1/4.

This equation gives

2sin

4/3,44

(2x ) = 1

∓ q

1

−sl4

(2

2x).

Set S = S(x) :=

sl(√

2x). Using (DL), we have

2sin

4/3,44

(2x) = 1

∓ v u u

t

1

2S

1

S

4

1 + S

4

!4

= 1

∓|1−

6S

4

+ S

8|

(1 + S

4

)

2

(9)

Project Abstract Introduction Preliminaries Main Result Conclusion The double formula for thesin4/3,4

Sketch of Proof (Cont.)

We see that when 0

x

π4/3,48

, 1

6S

4

+ S

8

0 and when

π4/3,48

x

π4/3,44

, 1

6S

4

+ S

8

0. Thus,

2sin

4/3,44

(2x ) = 1

1

6S

4

+ S

8

(1 + S

4

)

2

= 8S

4

(1 + S

4

)

2.

Therefore, by (MG),

sin

4/3,4

(2x) =

2S

1 + S

4

= 2sin

4/3,4

x(cos

4/3,41/3

x)

1 + 4(sin

44/3,4

x)(cos

4/3,44/3

x)

1/2.

(10)

Project Abstract Introduction Preliminaries Main Result Conclusion

Conclusion

By studying the double-angle formula for the special case of generalized trigonometric function (sin

p,p

) when p = 4, which was discovered by D.E. Edmunds, P. Gurka, and J. Lang [1] in 2011, and the proof by using lemniscate (sine) function, which was introduced by S. Takeuchi [2], in 2016, I have learned several related topics such as

The properties of the generalized trigonometric functions, Jacobian elliptic functions, and

The properties of beta and gamma functions.

(11)

Project Abstract Introduction Preliminaries Main Result Conclusion

Acknowledgement

I would like to express my thanks to : King Mongkut’s University of Technology

Professor Shingo Takeuchi

Shibaura Institute of Technology

All of my colleagues in Functional

Equations Laboratory

参照

関連したドキュメント

First algorithm of our classifier is classif yCeq, which classifies the simple sin- gularities in characteristic p > 0 with respect to the contact equivalence.. This

For a class of sparse operators including majorants of sin- gular integral, square function, and fractional integral operators in a uniform manner, we prove off-diagonal

Our objective in this paper is to extend the more precise result of Saias [26] for Ψ(x, y) to an algebraic number field in order to compare the formulae obtained, and we apply

We provide an accurate upper bound of the maximum number of limit cycles that this class of systems can have bifurcating from the periodic orbits of the linear center ˙ x = y, y ˙ =

In the second section, we study the continuity of the functions f p (for the definition of this function see the abstract) when (X, f ) is a dynamical system in which X is a

We study a Neumann boundary-value problem on the half line for a second order equation, in which the nonlinearity depends on the (unknown) Dirichlet boundary data of the solution..

More general problem of evaluation of higher derivatives of Bessel and Macdonald functions of arbitrary order has been solved by Brychkov in [7].. However, much more

Lang, The generalized Hardy operators with kernel and variable integral limits in Banach function spaces, J.. Sinnamon, Mapping properties of integral averaging operators,