클로스 함수

Clausen function
클로스 함수(Cl2) 그래프

수학에서 토마스 클로스엔(1832년)이 도입한 클로스엔 함수는 단일 변수의 초월적이고 특별한 함수다.그것은 확정적분, 삼각계열, 그리고 다양한 특수함수의 형태로 다양하게 표현될 수 있다.폴리로그리듬, 역접합적분, 폴리감마함수, 리만제타함수, 디리클레에타함수, 디리클레 베타함수와 밀접하게 연결되어 있다.

순서 2의 클로스 기능(클로스 기능이라고도 함)은 여러 부류의 한 종류에 속함에도 불구하고 다음과 같은 필수 구성 요소에 의해 제공된다.

< < <2 π {\ 0<\pi 범위에서 절대값 부호 내부의 사인 함수는 엄격히 양성으로 유지되므로 절대값 부호는 생략할 수 있다.클라우센 기능에는 푸리에 시리즈 표현도 있다.

클라우센 기능은 기능의 한 종류로서 현대 수학 연구의 많은 분야에서 광범위하게 특징지어지며, 특히 확정적이거나 비한정적인 로그와 다의 적분 부류의 평가와 관련하여 더욱 그러하다.또한 초기하계수 합계, 중심 이항계수의 역순을 포함하는 합계, 다감마함수의 합계, 디리클레 L계열과 관련된 수많은 응용프로그램을 가지고 있다.

기본 속성

en Z 이(가) 정수인 경우 = 0 (가) 클로스겐 함수(순서 2)에는 z, = 0의 단순한 0배수가 있다.

= + 에 maxima가 있다.

= - 3+ m [ Z

다음 특성은 시리즈 정의의 즉각적인 결과물이다.

(Ref: 증거가 제공되지는 않지만 이러한 결과는 아래의 루와 페레즈를 참조한다.)

일반적 정의

Standard Clausen functions
표준 클로스 기능
Glaisher-Clausen functions
글라이셔-클라우센 함수

보다 일반적으로는 두 가지 일반화된 클로스 기능을 정의한다.

은 Re z >1의 복합 z에 유효하다.이 정의는 분석적 연속성을 통해 모든 복잡한 평면으로 확장될 수 있다.

z가 음이 아닌 정수로 대체될 때 표준 클로센 함수는 다음과 같은 푸리에 시리즈로 정의된다.

N.B. SL형 Closen 함수는 대체 표기법 ( ) 을 가지며, 때때로 Glaisher-Clausen 함수(James Whitbread Lee Glaisher, 따라서 GL-notation)라고 한다.

베르누이 다항식과의 관계

SL형 Closen 함수 의 다항식이며 베르누이 다항식과 밀접한 관련이 있다.이러한 연결은 베르누이 다항식의 푸리에 시리즈 표현에서 분명히 나타난다.

의 x= / 을(를) 설정하고 용어를 재정렬하면 다음과 같은 닫힌 형식(폴리놈) 식이 제공된다.

여기서 베르누이 다항식 n() 은(는) 버누이 번호 B ( ) 의 관점에서 다음과 같은 관계를 정의한다.

위에서 도출한 명시적 평가는 다음과 같다.

중복식

< < 0 }}의 경우 중복 공식은 적분 정의에서 직접 증명할 수 있다(그 결과는 아래 Lu 및 Perez, 1992년 참조). (증거는 제공되지 않지만).

= ( ⁡ ) 중복 공식의 즉각적인 결과에는 다음과 같은 관계가 포함된다.

고차 Closen 함수의 경우, 중복 공식을 위에 주어진 공식을 통해 얻을 수 있다. 을(를) 더미 x x 교체하고[ ] 간격으로 통합하면 된다 동일한 프로세스를 반복적으로 적용하면 다음과 같은 결과를 얻을 수 있다.

그리고 보다 일반적으로 , 1 \, 1을(를) 유도할 때

일반화된 복제 공식을 사용하면 카탈로니아의 상수를 포함하는 순서 2의 클로스 기능에 대한 결과의 연장이 가능하다. 1 1의 경우

여기서 ( x) (는) 디리클레 베타 함수다.

중복식 증명

본질적인 정의로 볼 때론

사인 함수 sin = 에 중복 수식을 적용하여 sin x = 2 sin x을 얻으십시오.

대체 x = , = 을(를) 두 통합에 적용하십시오.

On that last integral, set , and use the trigonometric identity to show that:

그러므로

일반 주문형 Closen 함수의 파생 모델

클라우센 기능을 위한 푸리에 시리즈 확장의 직접적인 차별화는 다음을 제공한다.

미적분학의 제1차 기본 정리에 호소함으로써 우리는 또한 다음과 같은 것을 얻게 된다.

역 탄젠트 적분과의 관계

역 접선 적분은 간격 < < }에 의해 정의된다.

클로스 기능 면에서는 다음과 같은 폐쇄형태를 가지고 있다.

역접선 적분 관계 증명

역 탄젠트 적분의 적분 정의에서 우리는

부품별 통합 수행

대체 = y= - = + x} 적용(를) 얻으려면

마지막 적분인 경우 을 적용하십시오. = x/ =

마지막으로, 중복 공식의 증명과 마찬가지로 대체 = (- ) (는) 마지막 통합인

그러므로

반스의 G-기능과의 관계

실제 < < 의 경우 두 번째 순서의 Closen 함수는 반스 G-함수와 (Uler) 감마 함수의 관점에서 표현될 수 있다.

또는 동등하게

Ref: 아래의 Adamchik, "Barnes 함수 이론에 대한 기여"를 참조하십시오.

다각측량과의 관계

Closen 함수는 단위 서클에서 다원체의 실제와 가상의 부분을 나타낸다.

이것은 다로그의 시리즈 정의에 호소하면 쉽게 알 수 있다.

오일러의 정리로는

그리고 드 모이브르의 정리(De Moivre의 공식)에 의해

그러므로

다감마 함수에 대한 관계

클로스겐 기능은 일부다감마 기능과 밀접하게 연결되어 있다.실제로, 클라우센 함수를 사인함수와 다감마 함수의 선형 결합으로 표현할 수 있다.이러한 관계 중 하나는 아래에 제시되어 있으며, 아래에 제시되어 있다.

을(를) 양의 정수(예: q\,})로 두십시오. 그러면 0< \,\even 색인:

We split this sum into exactly p-parts, so that the first series contains all, and only, those terms congruent to the second series contains all terms congruent to etc., up to the final p-th part, that contain all terms congruent to

우리는 이중 합계를 만들기 위해 이 합계를 색인화할 수 있다.

사인함수에 대한 추가 sin + )= sin y+ cos x x\ y을(으)를 적용하면 분자의 사인 항은 다음과 같이 된다.

결과적으로,

이중 합에 포함된 내부 합을 대체 합으로 변환하려면 이전의 합이 p-parts로 분할된 것과 정확히 같은 방식으로 두 부분으로 분할하십시오.

\m\in \의 경우 다감마 함수에 영상 시리즈 표현이 있다.

그래서 다감마 함수의 관점에서 이전의 내적 합은 다음과 같이 된다.

를 다시 더블섬에 연결하면 원하는 결과가 나온다.

일반 로그 적분과의 관계

일반화된 로그인의 적분은 다음과 같이 정의된다.

이 일반화된 표기법에서 클라우센 함수는 다음과 같은 형태로 표현할 수 있다.

쿠메르와의 관계

에른스트 쿠머와 로저스가 관계를 맺는다.

2 {\ 0\2\에 유효

로바체프스키 함수와 관계

로바체프스키 함수 function 또는 л은 기본적으로 변수의 변화를 수반하는 동일한 함수다.

비록 "Lobachevsky 함수"라는 이름은 역사적으로 정확하지 않지만, Lobachevsky의 쌍곡 볼륨 공식은 약간 다른 함수를 사용했기 때문이다.

디리클레 L-기능과의 관계

For rational values of (that is, for for some integers p and q), the function can be understood to represent a periodic orbit of an element in the cyclic group, and thus 은(는) Hurwitz zeta 함수와 관련된 간단한 합으로 표현할 수 있다.[citation needed]이를 통해 특정 디리클레 L 기능 간의 관계를 쉽게 계산할 수 있다.

직렬 가속

Closen 함수에 대한 직렬 가속은 다음에 의해 주어진다.

< 을(를) 보유함 여기서 ( 리만 제타 함수다.보다 빠르게 수렴되는 형태는 에 의해 주어진다.

( )- 1{\ (n의 큰 값에 대해 빠르게 0에 접근한다는 사실에 의해 뒷받침된다.두 형태 모두 합리적인 제타 시리즈를 얻기 위해 사용되는 재기동 기법의 유형을 통해 얻을 수 있다.(ref. Borwein, 등, 2000, 이하).

특수값

반스 G-기능카탈란의 상수 K를 떠올려 보라.어떤 특별한 가치는 다음을 포함한다.

일반적으로 반즈 G-기능반영 공식으로 볼 때

동등하게, 감마함수에 오일러의 반사식을 사용하여,

일반화된 특수 값

상위 순서의 Closen 함수에 대한 몇 가지 특별한 값에는 다음이 포함된다.

여기서 ) Dirichlet 베타 함수, ) 은 Dirichlet eta 함수(교류 제타 라고도 함), 은 Riemann Zeta 함수.

직접 함수의 통합

다음과 같은 통합은 클로스 함수의 시리즈 표현에서 쉽게 증명된다.

푸리에-분석적 방법을 사용하여 [0 ,] 기능의 사각형의 [ , ] {\ 간격으로 찾을 수 있다[1]

여기서 다중 제타 함수를 나타낸다.

직접 기능을 포함하는 통합 평가

클로스 함수의 관점에서 많은 수의 삼각 및 로그트리모-트리거계 통합체를 평가할 수 있으며, 카탈란의 상수), 2 2 그리고 제타함수의 특수 사례인 ) \\\)와 같은 다양한 일반적인 수학 상수를 평가할 수 있다.(2 ( ) (3

아래에 열거된 예는 클로스 함수의 적분표현에서 직접 따르며, 증명에는 기본 삼각법, 부품별 통합, 클로스 함수의 푸리에 시리즈 정의의 기간별 통합 이상이 거의 필요하지 않다.

참조

  1. ^ István, Mező (2020). "Log-sine integrals and alternating Euler sums". Acta Mathematica Hungarica (160): 45–57. doi:10.1007/s10474-019-00975-w.