這個不定分的結果不是初等函式數,是通常說的是積不出來的。但是由於被積函式是連續的,所以它的不定積分是存在的。利用公式:∫f(x)dx=∫[0→x]f(t)dt+C,可以用計算機求出這個函式的,這個不定積分的一個數值解就是每輸入一個x,就算出一個面積,然後加一個c就可以了。也就是用計算機算定積分∫[0→x]cos(t^2)dt,然後得
∫cos(x^2)dx=∫[0→x]cos(t^2)dt+C。
菲涅爾積分:
這個結果就是著名的菲涅耳積分,一種可行的解答如下
當然這個函式是沒有初等函式形式的原函式的,可以嘗試用這種含參的二重積分的方式去處理
很多這種沒有原函式的積分(比如Dirichlet積分、Laplace積分、Poisson積分等)都是用這種方式處理的,但是這種處理方式的難點就在於含參二重積分式的構造不易想到,這裡用到的處理方式還算得上是較為容易的一種。
當然菲涅耳積分有很多種做法,這裡只是選取了一種較為簡潔的一種做法。
這不大名鼎鼎的菲涅爾積分嗎?解法很暴力的,技術展開硬套
f(z)=e^(iz²)
積分路徑C由C1C2C3組成,θ=π/4,扇形半徑為R
由於沒有奇點,∫C f(z)dz=0
而 ∫C2 f(z)dz
=iR ∫(0,π/4)e^(-R²θ(cos2θ-isin2θ))dθ R→∞,∫C2 f(z)dz→0
因此當R→+∞時
∫C1 f(z)dz+ ∫C3 f(z)dz=0,即
∫(0,+∞)e^(ix²)-e^(πi/4-x²) dx=0
由於 ∫(0,+∞)e^(-x²)dx=1/2√π,分別考慮上式實部虛部得出
∫(0,+∞)sinx²dx= ∫(0,+∞)cosx²dx=√(π/8)
一條活潑的分割線(*/∇\*)
另一種不要複分析的方法
換t=x²,
∫(0,+∞)sinx²dx=1/2 ∫(0,+∞)dt·sint/√t=
1/√π ∫D (sint/√t)e^(-tu²)du
(D為以t,u為座標的整個第一象限)
先對t積分得
I=1/√π ∫(0,+∞)1/(1+u⁴)du=√(π/8)
引入參變數求導法與這個等價,但是更清晰,如果有很閒的時候可以寫一寫
(*’-^*)-☆