Definition:First Kind

From ProofWiki
Jump to navigation Jump to search

Definition

The term first kind is used to distinguish two or more classes of mathematical object of some common overall type.


Integral Equation of the First Kind

An integral equation of the first kind is an integral equation of the form:

$\map f x = \lambda \ds \int_{\map a x}^{\map b x} \map K {x, y} \map g y \rd x$

where:

$\map f x$ and $\map K {x, y}$ are known functions
$\map a x$ and $\map b x$ are known functions of $x$, or constant
$\map g x$ is an unknown function.


Elliptic Integral of the First Kind

$\ds \map K k = \int \limits_0^{\pi / 2} \frac {\d \phi} {\sqrt {1 - k^2 \sin^2 \phi} }$

is the complete elliptic integral of the first kind, and is a function of $k$, defined on the interval $0 < k < 1$.


Fredholm Integral Equation of the First Kind

A Fredholm integral equation of the first kind is an integral equation of the form:

$\ds \map f x = \lambda \int_a^b \map K {x, y} \map g y \rd y$

where $g$ is an unknown real function.


Volterra Integral Equation of the First Kind

A Volterra integral equation of the first kind is an integral equation of the form:

$\ds \map f x = \lambda \int_a^x \map K {x, y} \map g y \rd y$

where $g$ is an unknown real function.


Sierpiński Number of the First Kind

The Sierpiński numbers of the first kind are the integers $S_n$ in the form:

$S_n := n^n + 1$

for all integers $n$.


Cusp of the First Kind

A cusp of the first kind is a cusp in which both parts of the curve lie on opposite sides of the coincident tangents defining that cusp.


Double Cusp of the First Kind

A double cusp of the first kind is a double cusp in which both parts of the curve lie on opposite sides of the coincident tangents defining that double cusp.

Double-cusp-first-kind.png


Bessel Function of the First Kind

A Bessel function of the first kind of order $n$ is a Bessel function which is non-singular at the origin.

It is usually denoted $\map {J_n} x$, where $x$ is the dependent variable of the instance of Bessel's equation to which $\map {J_n} x$ forms a solution.


Cunningham Chain of the First Kind

A Cunningham chain of the first kind is a (finite) sequence $\tuple {p_1, p_2, \ldots, p_n}$ such that:

$(1): \quad \forall i \in \set {1, 2, \ldots, n - 1}: p_{i + 1} = 2 p_i + 1$
$(2): \quad p_i$ is prime for all $i \in \set {1, 2, \ldots, n - 1}$
$(3): \quad n$ is not prime such that $2 n + 1 = p_1$
$(4): \quad 2 p_n + 1$ is not prime.

Thus:

each term except the last is a Sophie Germain prime
each term except the first is a safe prime.


Hankel Function of the First Kind

The Hankel function of the first kind is defined as:

$\map {H_n^{\paren 1} } z = \map {J_n} z + i \map {Y_n} z$

where:

$\map {J_n} z$ denotes the Bessel function of the first kind of order $n$
$\map {Y_n} z$ denotes the Bessel function of the second kind of order $n$.


Chebyshev Polynomials of the First Kind

The Chebyshev polynomials of the first kind are defined as polynomials such that:

\(\ds \map {T_n} {\cos \theta}\) \(=\) \(\ds \map \cos {n \theta}\)


Airy Function of the First Kind

An Airy function of the first kind is an Airy function which is of the form:

$\ds \map {\Ai} x = \dfrac 1 \pi \int_0^\infty \map \cos {\dfrac {t^3} 3 + x t} \rd t$


Discontinuity of the First Kind

$c$ is known as a discontinuity of the first kind of $f$ if and only if:

$\ds \lim_{x \mathop \to c^-} \map f x$ and $\ds \lim_{x \mathop \to c^+} \map f x$ exist

where $\ds \lim_{x \mathop \to c^-} \map f x$ and $\ds \lim_{x \mathop \to c^+} \map f x$ denote the limit from the left and limit from the right at $c$ respectively.


Also see

  • Results about first kind can be found here.


Sources