Prouver la continuité d'une fonction définie par rapport à une intégrale dans le cadre de la démonstration du théorème de l'intégrale double de Riemann


  • P

    Bonjour, je cherche à démontrer ceci

    Si a<b∈Ra \lt b \in \mathbb{R}a<bR, ϕ\phiϕ and ψ\psiψ sont continues sur [a,b][a,b][a,b] and ϕ≤ψ\phi \leq \psiϕψ, je note Δ:={(x1,x2)∈R x1∈[a,b],x2∈[ϕ(x1),ψ(x1)]}\Delta := \lbrace (x_1,x_2) \in \mathbb{R} \ x_1 \in [a,b], x_2 \in [\phi(x_1),\psi(x_1)]\rbraceΔ:={(x1,x2)R x1[a,b],x2[ϕ(x1),ψ(x1)]}, fff est continue sur Δ\DeltaΔ, montrons que
    [x1→∫ϕ(x1)ψ(x1)f(x1,x2)dx2][x_1\rightarrow \int^{\psi(x_1)}_{\phi(x_1)}f(x_1,x_2)dx_2][x1ϕ(x1)ψ(x1)f(x1,x2)dx2] est continue sur [a,b][a,b][a,b]

    Je me concentre sur [x1→∫zψ(x1)f(x1,x2)dx2][x_1\rightarrow \int^{\psi(x_1)}_zf(x_1,x_2)dx_2][x1zψ(x1)f(x1,x2)dx2] puis j'utilise Heine-Cantor pour la continuité uniforme mais je bloque à ∀x∈[a,b]\forall x \in [a,b]x[a,b], ∀γ>0\forall \gamma \gt 0γ>0, ∃α>0\exists \alpha \gt 0α>0, ∀ε>0\forall \varepsilon \gt 0ε>0, ∣h∣<α  ⟹  ∣∫zψ(x1)f(x1+h,x2)dx2−∫zψ(x1)f(x1,x2)dx2∣<ε(ψ(x1)−z)|h| \lt \alpha\implies |\int^{\psi(x_1)}_zf(x_1+h,x_2)dx_2-\int^{\psi(x_1)}_zf(x_1,x_2)dx_2| \lt \varepsilon (\psi(x_1) - z)h<αzψ(x1)f(x1+h,x2)dx2zψ(x1)f(x1,x2)dx2<ε(ψ(x1)z)


  • mtschoon

    @PabloEXOBAR , bonjour,

    Pour te donner une idée, tu peux éventuellement regarder les pages 1/2 ici, paragraphe 1(sous paragraphe 1.2)

    http://exo7.emath.fr/cours/ch_intpar.pdf

    Bon courage !


Se connecter pour répondre