2
$\begingroup$

I'm wondering if this is possible for the general case. In other words, I'd like to take $$\int_a^b{g(x)dx} + \int_c^d{h(x)dx} = \int_e^f{j(x)dx}$$ and determine $e$, $f$, and $j(x)$ from the other (known) formulas and integrals. I'm wondering what restrictions, limitations, and problems arise.

If this is not possible in the general case, I'm wondering what specific cases this would be valid for, and also how it could be done. It's a curiosity of mine for now, but I can think of some possible problems and applications to apply it to.

  • 0
    Where the last upper limit $f$ is the function $f$ in the first integral?2012-07-05
  • 0
    @GEdgar: I edited the integrals so they aren't confused with variables.2012-07-05
  • 0
    Do a substitution in the second integral in order to get an integral from $a$ to $b$.2012-07-05
  • 0
    @DavideGiraudo: I just came up with that idea... I'm going to try to carry it out for everyone... I hope that will save you all some work. I figured that the same thing should be able to work for two nested integrals with two different variables with slightly more tinkering.2012-07-05
  • 0
    Well in principle yes: let $j(x)=1$. Then let $e=0$, and let $f=\int_a^bg(x)\,dx + \int_c^d h(x)\,dx$. You get a nice equality, though not at all practical as a way to evaluate integrals.2012-07-06

3 Answers 3

0

Here's a method that should allow one a large degree of freedom as well as allowing Rieman Integration (instead of Lesbegue Integration or some other method):

Let $\tilde{g}$ be such that: $$\int_a^b{g(x)dx} = \int_e^f{\tilde{g}(x)dx}$$ ...and $\tilde{h}$ follows similarly. Then they can be both added inside a single integral.

The first method that comes to mind is to let $\tilde{g}(x) = \dot{g}\cdot g(x)dx$, where $\dot{g}$, a constant, is the ratio of the old and new integrations. A similar method that comes to mind is to actually let $\dot{g}$ be a function.

Another method that I'm exploring, and is somwhat questionable, is to attempt to use $e$ and $f$ as functions, possibly even of $x$, although this may be undefined or just plain wrong.

I'll add ideas to this as I hopefully come up with better methods.

  • 0
    $\tilde{g}(x)$ is a "real", and $\dot{g}\cdot g(x)dx$ isn't, so what do you mean by $\tilde{g}(x)=\dot{g}\cdot g(x)dx$?2012-07-06
  • 0
    @Mercy: Sorry for the slow reply. I was trying to denote a multiplier by $\dot{g}$. I realize that that $\dot{g}$ sometimes means other things, but it is supposed to evaluate to a real number in this case. I believe that JL$_{344}$ did something like what I was thinking, especially with the $\frac{b-a}{f-e}$ in front of $g$.2012-07-06
3

Assume $a< b$ and $c< d$. Let
$$ e \le \min\{a,c\}, \ f \ge \max\{b,d\}, $$ and set $j=\tilde{g}+\tilde{h}$ where $$ \tilde{g}:=g.1_{[a,b]},\tilde{h}:=h.1_{[c,d]}: [e,f] \to \mathbb{R}. $$ Then $$ \int_a^b g+\int_c^d h=\int_e^f(\tilde{g}+\tilde{h})=\int_e^f j. $$

  • 0
    Could you please explain the $g.1_{[e,f]}$ and $h.1_{[e,f]}$ terms more? I'm not quite sure I follow what you're trying to do. I ran into problems trying to carry out the general method in detail, and I'm hoping that you can shed some light on the subject. Let me know if (and how) I can help...2012-07-05
  • 0
    @MattGroff If $X$ is a set, the function $1_X$ is the indicator function, and is designed to equal $1$ if an argument is a member of $X$, and $0$ otherwise. Mercy is using a period for multiplication, though I think it would be better as $\cdot$ (which is `\cdot` in $\LaTeX$).2012-07-06
3

Certainly. In fact $e$ and $f$ can be anything you want, as long as they are not equal. An affine transformation is one way to do it. Namely if $$j(x)=\frac{b-a}{f-e}g\left(\frac{b-a}{f-e}(x-e)+a\right) +\frac{d-c}{f-e}h\left(\frac{d-c}{f-e}(x-e)+c\right),$$ then $$\int_a^bg(u)du+\int_c^dh(v)dv=\int_e^fj(x)dx.$$

This transformation follows from the change of variables $$u=\frac{b-a}{f-e}(x-e)+a,\qquad v=\frac{d-c}{f-e}(x-e)+c.$$

  • 0
    Could you show me where you got this from? I'd really enjoy seeing the steps to this, but I don't want to cause you unnecessary work.2012-07-06
  • 0
    @MattGroff: try working out the change of variables I indicated in an edit to my answer.2012-07-07
  • 0
    Thanks! I get $x=\frac{b-a}{f-e}(u-a)+e$ and $dx=\frac{b-a}{f-e}du$. Now, if I switch the $(x-e)$ in the definition of $u$ to $(x-f)$, I get $b-f$ for the upper limit of integration, instead of $f$. Shouldn't we be getting $f$ for the upper limit of integration?2012-07-07
  • 0
    I think you might have those fractions upside-down. Shouldn't you get $x=\frac{f-e}{b-a}(u-a)+e$ and $dx=\frac{f-e}{b-a}du$? But you don't really need to do that anyways. Just express $u$, $du$, $v$, and $dv$ in terms of $x$ and $dx$, and plug those substitutions into the first two integrals.2012-07-07
  • 0
    You're right, I mixed up the fraction. $x$ and $dx$ checked out, but I'm having trouble with the limits of integration. I'm trying to check my work. I'm also working on how to derive all of this, too.2012-07-07
  • 0
    Maybe it will help to look at it like this: we are setting $$\frac{u-a}{b-a}=\frac{v-c}{d-c}=\frac{x-e}{f-e}$$ and allowing each of these fractions to range from 0 to 1.2012-07-07
  • 0
    Why do we do all of that?2012-07-07