Two-variable S definitions

@[reducible, inline]

noncomputable abbrev DirichletTransform.TwoVariable.regSIntegral (b₀ b₁ z₀ z₁ : ℂ) : ℂ

The canonical two-variable specialization of the native regularized Carlson S-integral.

Equations

• DirichletTransform.TwoVariable.regSIntegral b₀ b₁ z₀ z₁ = DirichletTransform.regCarlsonSIntegral (DirichletTransform.TwoVariable.pair b₀ b₁) (DirichletTransform.TwoVariable.pair z₀ z₁)

@[reducible, inline]

noncomputable abbrev DirichletTransform.TwoVariable.sIntegral (b₀ b₁ z₀ z₁ : ℂ) : ℂ

The canonical two-variable specialization of the native Carlson S-integral.

Equations

• DirichletTransform.TwoVariable.sIntegral b₀ b₁ z₀ z₁ = DirichletTransform.carlsonSIntegral (DirichletTransform.TwoVariable.pair b₀ b₁) (DirichletTransform.TwoVariable.pair z₀ z₁)

@[reducible, inline]

noncomputable abbrev DirichletTransform.TwoVariable.regSSeries (b₀ b₁ z₀ z₁ : ℂ) : ℂ

The canonical two-variable specialization of Carlson's entire regularized S-series.

Equations

• DirichletTransform.TwoVariable.regSSeries b₀ b₁ z₀ z₁ = DirichletTransform.regCarlsonSSeries (DirichletTransform.TwoVariable.pair z₀ z₁) (DirichletTransform.TwoVariable.pair b₀ b₁)