Theorems · Theorem · integral transforms

hasMellin_add

∀ {E : Type u_1} [inst : NormedAddCommGroup E] [inst_1 : NormedSpace ℂ E] {f g : ℝ → E} {s : ℂ},
  MellinConvergent f s → MellinConvergent g s → HasMellin (fun t => f t + g t) s (mellin f s + mellin g s)

Defined in

Mathlib.Analysis.MellinTransform

Cited by

0 results in Mathlib

Foundations

Depth 253 from the axioms · uses propext, Classical.choice, Quot.sound

Assumes

NormedAddCommGroupNormedSpace