Sum of Complex Integrals on Adjacent Intervals
Jump to navigation
Jump to search
This article needs proofreading. Please check it for mathematical errors. If you believe there are none, please remove {{Proofread}} from the code.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Proofread}} from the code. |
Theorem
Let $\closedint a b$ be a closed real interval.
Let $f: \closedint a b \to \C$ be a continuous complex function.
Let $c \in \closedint a b$.
Then:
- $\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t = \int_a^b \map f t \rd t$
Proof
From Continuous Complex Function is Complex Riemann Integrable, it follows that all three complex Riemann integrals are well defined.
From Real and Imaginary Part Projections are Continuous, it follows that $\Re: \C \to \R$ and $\Im: \C \to \R$ are continuous functions.
This article, or a section of it, needs explaining. In particular: Revisit the above link -- see if there is a more appropriate one to use so as not to invoke the concept of metric spaces You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
From Composite of Continuous Mappings is Continuous, it follows that $\Re \circ f: \R \to \R$ and $\Im \circ f: \R \to \R$ are continuous real functions.
Then:
\(\ds \int_a^b \map f t \rd t\) | \(=\) | \(\ds \int_a^b \map \Re {\map f t} \rd t + i \int_a^b \map \Im {\map f t} \rd t\) | Definition of Complex Riemann Integral | |||||||||||
\(\ds \) | \(=\) | \(\ds \int_a^c \map \Re {\map f t} \rd t + \int_c^b \map \Re {\map f t} \rd t + i \paren {\int_a^c \map \Im {\map f t} \rd t + \int_c^b \map \Im {\map f t} \rd t}\) | Sum of Integrals on Adjacent Intervals for Continuous Functions | |||||||||||
\(\ds \) | \(=\) | \(\ds \int_a^c \map \Re {\map f t} \rd t + i \int_a^c \map \Im {\map f t} \rd t + \int_c^b \map \Re {\map f t} \rd t + i \int_c^b \map \Im {\map f t} \rd t\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t\) |
$\blacksquare$