Fungrim symbol: Sin

Symbol: Sin —

\sin(z)

— Sine

The sine function

\sin(z)

(denoted by Sin(z) in the Fungrim formula language) is a function of a single variable. It can be defined for real and complex arguments by the series f340cb or by the differential equation 21f156 with appropriate initial values. The following table lists conditions such that Sin(z) is defined in Fungrim.

Domain	Codomain
Numbers
$z \in \mathbb{R}$	$\sin(z) \in \left[-1, 1\right]$
$z \in \mathbb{C}$	$\sin(z) \in \mathbb{C}$
Formal power series
$z \in \mathbb{R}[[x]]$	$\sin(z) \in \mathbb{R}[[x]]$
$z \in \mathbb{C}[[x]]$	$\sin(z) \in \mathbb{C}[[x]]$

Table data:

\left(P, Q\right)

such that

\left(P\right) \;\implies\; \left(Q\right)

Definitions:

Fungrim symbol	Notation	Short description
`Sin`	$\sin(z)$	Sine
`RR`	$\mathbb{R}$	Real numbers
`ClosedInterval`	$\left[a, b\right]$	Closed interval
`CC`	$\mathbb{C}$	Complex numbers
`PowerSeries`	$K[[x]]$	Formal power series

Source code for this entry:

Entry(ID("b63dce"),
    SymbolDefinition(Sin, Sin(z), "Sine"),
    Description("The sine function", Sin(z), "(denoted by", SourceForm(Sin(z)), "in the Fungrim formula language)", "is a function of a single variable.", "It can be defined for real and complex arguments by the series", EntryReference("f340cb"), "or by the differential equation", EntryReference("21f156"), "with appropriate initial values.", "The following table lists conditions such that", SourceForm(Sin(z)), "is defined in Fungrim."),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(TableSection("Numbers"), Tuple(Element(z, RR), Element(Sin(z), ClosedInterval(-1, 1))), Tuple(Element(z, CC), Element(Sin(z), CC)), TableSection("Formal power series"), Tuple(Element(z, PowerSeries(RR, x)), Element(Sin(z), PowerSeries(RR, x))), Tuple(Element(z, PowerSeries(CC, x)), Element(Sin(z), PowerSeries(CC, x))))))

Topics using this symbol

The symbol Sin appears in 29 topics:

Sine (in 94 entries)
Legendre elliptic integrals (in 15 entries)
Series and product representations of Jacobi theta functions (in 9 entries)
Carlson symmetric elliptic integrals (in 8 entries)
Bessel functions (in 5 entries)
Specific values of Bessel functions (in 4 entries)
Sinc function (in 4 entries)
Gauss hypergeometric function (in 4 entries)
Catalan's constant (in 4 entries)
Exponential function (in 3 entries)
Eisenstein series (in 3 entries)
Digamma function (in 3 entries)
Chebyshev polynomials (in 3 entries)
Powers (in 2 entries)
Pi (in 2 entries)
Inverse tangent (in 2 entries)
Hypergeometric representations of Bessel functions (in 2 entries)
Golden ratio (in 2 entries)
Gamma function (in 2 entries)
Coulomb wave functions (in 2 entries)
Bell numbers (in 2 entries)
Barnes G-function (in 2 entries)
Symbolic expressions (in 1 entries)
Specific values of the digamma function (in 1 entries)
Riemann zeta function (in 1 entries)
Jacobi theta functions (in 1 entries)
Imaginary unit (in 1 entries)
Beta function (in 1 entries)
Arithmetic-geometric mean (in 1 entries)

Entries using this symbol

The symbol Sin appears in 177 entries: