CosIntegral[z]
gives the cosine integral function
.
CosIntegral
CosIntegral[z]
gives the cosine integral function
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
. - CosIntegral[z] has a branch cut discontinuity in the complex z plane running from -∞ to 0.
- For certain special arguments, CosIntegral automatically evaluates to exact values.
- CosIntegral can be evaluated to arbitrary numerical precision.
- CosIntegral automatically threads over lists.
- CosIntegral can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (6)
CosIntegral[2.8]Plot over a subset of the reals:
Plot[CosIntegral[x], {x, 0, 20}]Plot over a subset of the complexes:
ComplexPlot3D[CosIntegral[z ^ 2], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series expansion at the origin:
Series[CosIntegral[x], {x, 0, 10}]Asymptotic expansion at Infinity:
Series[CosIntegral[x], {x, ∞, 3}]//NormalAsymptotic expansion at a singular point:
Series[CosIntegral[x], {x, -1, 3}, Assumptions -> z > 0]//NormalScope (37)
Numerical Evaluation (6)
Evaluate numerically to high precision:
N[CosIntegral[2], 50]The precision of the output tracks the precision of the input:
CosIntegral[2.0000000000000000000000000000000000000]Evaluate for complex arguments:
CosIntegral[2.5 + I]Evaluate CosIntegral efficiently at high precision:
CosIntegral[2`500]//TimingCosIntegral[2`10000];//TimingCosIntegral threads elementwise over lists and matrices:
CosIntegral[{1.2, 1.5, 1.8}]CosIntegral[(| | |
| :- | :- |
| 0 | u |
| v | ∞ |) ]//MatrixFormCompute worst-case guaranteed intervals using Interval and CenteredInterval objects:
CosIntegral[Interval[{1.9, 2.1}]]CosIntegral[CenteredInterval[2, 1 / 100]]Or compute average-case statistical intervals using Around:
CosIntegral[Around[2, 0.01]]Compute the elementwise values of an array:
CosIntegral[{{.2, 0}, {0, .2 }}]Or compute the matrix CosIntegral function using MatrixFunction:
MatrixFunction[CosIntegral, {{.2, 0}, {0, .2 }}]Specific Values (3)
CosIntegral[0]CosIntegral[{-Infinity, Infinity, -I Infinity, I Infinity}]CosIntegral[ComplexInfinity]Find a local maximum as a root of
:
xmax = Solve[D[CosIntegral[x], x] == 0 && 0 < x < 2, x][[1, 1]]Plot[CosIntegral[x], {x, 0, 3π}, Epilog -> Style[Point[{xmax[[2]], CosIntegral[xmax[[2]]]}], PointSize[Large], Red]]Visualization (2)
Plot the CosIntegral function:
Plot[CosIntegral[x], {x, 0, 4π}]ComplexContourPlot[Re[CosIntegral[z]], {z, -3π - π I, 3π + π I}, Contours -> 24]ComplexContourPlot[Im[CosIntegral[z]], {z, -3π - π I, 3π + π I}, Contours -> 24]Function Properties (8)
CosIntegral is defined for all positive real values:
FunctionDomain[CosIntegral[x], x]FunctionDomain[CosIntegral[z], z, Complexes]CosIntegral is not an analytic function:
FunctionAnalytic[CosIntegral[x], x]FunctionMeromorphic[CosIntegral[x], x]CosIntegral is neither non-decreasing nor non-increasing:
FunctionMonotonicity[CosIntegral[x], x, PositiveReals]CosIntegral is not injective:
FunctionInjective[CosIntegral[x], x]Plot[{CosIntegral[x], .3}, {x, 0, 10}]CosIntegral is not surjective:
FunctionSurjective[CosIntegral[x], x]Plot[{CosIntegral[x], 1}, {x, 0, 10}]CosIntegral is neither non-negative nor non-positive:
FunctionSign[{CosIntegral[x], x > 0}, x]It has both singularity and discontinuity in (-∞,0]:
FunctionSingularities[CosIntegral[x], x]FunctionDiscontinuities[CosIntegral[x], x]CosIntegral is neither convex nor concave:
FunctionConvexity[{CosIntegral[x], x > 0}, x]Differentiation (3)
D[CosIntegral[x], x]Table[D[CosIntegral[x], {x, n}], {n, 1, 4}]Plot[Evaluate[%], {x, 0, 4π}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative", "Fourth Derivative"}]D[CosIntegral[x], {x, n}]Integration (3)
Indefinite integral of CosIntegral:
Integrate[CosIntegral[x], x]Definite integral of CosIntegral over its entire real domain:
Integrate[CosIntegral[x], {x, 0, Infinity}]Integrate[x CosIntegral[Sqrt[x]], x]Integrate[CosIntegral[x]Cos[x], x]Integrate[CosIntegral[x^a], x]Series Expansions (3)
Taylor expansion for CosIntegral around
:
Series[CosIntegral[x], {x, π, 5}]Plots of the first three approximations for CosIntegral around
:
terms = Normal@Table[Series[CosIntegral[x], {x, π, m}], {m, 1, 3}];
Plot[{CosIntegral[x], terms}, {x, 1, 5}]Find series expansion at infinity:
Series[CosIntegral[x], {x, Infinity, 4}]//NormalCosIntegral can be applied to power series:
CosIntegral[1 + x + (x^2/2) + (x^3/9) + O[x]^4]Function Identities and Simplifications (4)
Use FullSimplify to simplify expressions containing the cosine integral:
FullSimplify[MeijerG[{{}, {1}}, {{0, 0}, {(1/ 2)}}, (z^2/4)] - CosIntegral[z], z > 0]Use FunctionExpand to express CosIntegral through other functions:
FunctionExpand[CosIntegral[z] - CosIntegral[-z]]Simplify expressions to CosIntegral:
Log[z] - (1/2)(Gamma[0, -I z] + Gamma[0, I z] + Log[-I z] + Log[I z])//FullSimplifyCosIntegral[-z]//FunctionExpandCosIntegral[I z]//FunctionExpandCosIntegral[Sqrt[z^2]]//FunctionExpandFunction Representations (5)
Primary definition of CosIntegral:
Integrate[(Cos[t] - 1/t), {t, 0, z}] + Log[z] + EulerGammaSeries representation of CosIntegral:
Log[z] + EulerGamma + (1/2)Sum[((-1)^k z^2k/k (2k)!), {k, 1, Infinity}]//FullSimplifyCosIntegral can be represented in terms of MeijerG:
MeijerGReduce[CosIntegral[x], x]Activate[%]//FullSimplifyCosIntegral can be represented as a DifferentialRoot:
DifferentialRootReduce[CosIntegral[x], x]TraditionalForm formatting:
CosIntegral[z]//TraditionalFormGeneralizations & Extensions (1)
Applications (6)
Average radiated power for a thin linear half-wave antenna:
Integrate[(Cos[Pi Cos[θ]] - Cos[Pi]) ^ 2 / Sin[θ], {θ, 0, Pi}]Plot the imaginary part in the complex plane:
Plot3D[Im[CosIntegral[x + I y]], {x, -20, 20}, {y, -3, 3}]Plot the logarithm of the absolute value in the complex plane:
ContourPlot[Log[Abs[CosIntegral[x + I y]]], {x, -10, 10}, {y, -10, 10}]Solve a differential equation:
DSolve[x (y[x] + Derivative[2][y][x]) == Cos[x], y[x], x]Real part of the Euler–Heisenberg effective action:
action[k_, {m_, e_}, {a_, b_}] := With[{x = k π (m^2/e a), y = k π (m^2/e b)}, -(e^2a b/4 π^3k)(Coth[k π (b/a)](CosIntegral[x] Cos[x] + (SinIntegral[x] - π / 2)Sin[x]) -
Coth[k π (a/b)](ExpIntegralEi[y] Exp[-y] + ExpIntegralEi[-y] Exp[y]) / 2)]Assuming[{q > 0 && a > 0 && b > 0 && m > 0 && k > 0},
Series[action[k, {m, q}, {a, b}], {q, 0, 4}]//Normal//FullSimplify]nielsen[t_] := {CosIntegral[t], SinIntegral[t]}ParametricPlot[nielsen[t], {t, 1 / 25, 25}, PlotRange -> All]The curvature is a simple function of the parameter:
FullSimplify[FrenetSerretSystem[nielsen[t], t][[1, 1]], t∈Reals]Properties & Relations (7)
Use FullSimplify to simplify expressions containing the cosine integral:
FullSimplify[MeijerG[{{}, {1}}, {{0, 0}, {(1/ 2)}}, (z^2/4)] - CosIntegral[z], z > 0]Use FunctionExpand to express CosIntegral through other functions:
FunctionExpand[CosIntegral[z] - CosIntegral[-z]]FindRoot[CosIntegral[z] == 1 / 4, {z, 1}]Obtain CosIntegral from integrals and sums:
Integrate[(Cos[t]/t), {t, z, Infinity}]Underoverscript[∑, k = 1, ∞]((-1)^k z^2 k/k (2 k)!)Obtain CosIntegral from a differential equation:
DSolve[z Derivative[3][w][z] + 2 Derivative[2][w][z] + z Derivative[1][w][z] == 0, w[z], z]//FunctionExpandDet[Outer[D[#1, {x, #2}]&, {1, SinIntegral[x], CosIntegral[x]}, {0, 1, 2}]]//FullSimplifyLaplaceTransform[CosIntegral[t], t, s]Possible Issues (2)
CosIntegral can take large values for moderate‐size arguments:
CosIntegral[Sqrt[I] 10. ^ 6 ]A larger setting for $MaxExtraPrecision can be needed:
N[CosIntegral[10 ^ 60 ], 20]Block[{$MaxExtraPrecision = 200}, N[CosIntegral[10 ^ 60 ], 20]]Tech Notes
Related Guides
Related Links
History
Introduced in 1991 (2.0) | Updated in 2021 (13.0) ▪ 2022 (13.1)
Text
Wolfram Research (1991), CosIntegral, Wolfram Language function, https://reference.wolfram.com/language/ref/CosIntegral.html (updated 2022).
CMS
Wolfram Language. 1991. "CosIntegral." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/CosIntegral.html.
APA
Wolfram Language. (1991). CosIntegral. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CosIntegral.html
BibTeX
@misc{reference.wolfram_2026_cosintegral, author="Wolfram Research", title="{CosIntegral}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/CosIntegral.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_cosintegral, organization={Wolfram Research}, title={CosIntegral}, year={2022}, url={https://reference.wolfram.com/language/ref/CosIntegral.html}, note=[Accessed: 13-June-2026]}