Evaluating Integral dx^2: How to Calculate and Apply Taylor Series

  • Context: Graduate 
  • Thread starter Thread starter member 428835
  • Start date Start date
  • Tags Tags
    Integral
Click For Summary

Discussion Overview

The discussion revolves around the evaluation of the integral $$\int_{x_i}^x \int_{x_i}^x (ds)^2$$, with a focus on the application of Taylor series and the interpretation of notation in multiple integrals. Participants explore various approaches to the integral, questioning the validity of certain notations and methods.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested, Mathematical reasoning

Main Points Raised

  • One participant proposes evaluating the integral as $$\int_{x_i}^x ds \int_{x_i}^x ds = (x-x_i)^2$$ but acknowledges this is incorrect, suggesting the correct form should involve a factorial from Taylor series.
  • Another participant questions the derivation of the expression and suggests that understanding its origin may clarify its meaning.
  • A participant describes a derivation of Taylor series involving multiple integrals and expresses confusion over notation used in a referenced paper.
  • Concerns are raised about the clarity of notation, with some participants preferring the use of $$dt ds$$ over $$(ds)^2$$, suggesting it may lead to misunderstandings.
  • One participant critiques a referenced paper for having errors in notation and integration limits, asserting that the computations presented are correct despite the paper's flaws.
  • Another participant notes that the notation $$(ds)^2$$ lacks a standard interpretation and can lead to confusion in mathematical communication.
  • Lastly, a participant introduces a formal perspective on integrating 2-forms on a manifold, suggesting that if $$ds^2 = ds \wedge ds$$, it results in zero.

Areas of Agreement / Disagreement

Participants express differing views on the validity of the notation and methods used in the integral evaluation. There is no consensus on the interpretation of $$(ds)^2$$, and the discussion remains unresolved regarding the best approach to the integral.

Contextual Notes

Limitations include the ambiguity of notation, potential errors in referenced materials, and the need for clarity in the limits of integration in multiple integrals. These factors contribute to the complexity of the discussion.

member 428835
Hi pf!

I'm wondering how to evaluate. $$\int_{x_i}^x \int_{x_i}^x (ds)^2$$ I would do it like $$\int_{x_i}^x \int_{x_i}^x (ds)^2 \\ =\int_{x_i}^x ds \int_{x_i}^x ds \\= (x-x_i)^2$$ yet i know this is wrong since the answer should be ##(x-x_i)^2/2!## (taylor series is the application here). It looks like we should evaluate this as $$\int_{x_i}^x \int_{x_i}^x (ds)^2 = \int_{x_i}^x s (ds) = s^2/2$$ and then suddenly place the ##x-x_i## inside the ##s## term (which we obviously don't normally do).

Thanks so much!
 
Physics news on Phys.org
joshmccraney said:
I'm wondering how to evaluate. $$\int_{x_i}^x \int_{x_i}^x (ds)^2$$

How did you arrive at that expression? Perhaps that would give us a clue what it means.
 
Stephen Tashi said:
How did you arrive at that expression? Perhaps that would give us a clue what it means.
I arrived at it through a taylor series derivation for a function ##f(x)##. Given $$f(x) = f(a) + \int_a^x f'(s) ds \implies f'(x) = f'(a) + \int_a^x f''(s) ds$$. Evidently take this expression for ##f'(x)## as ##f'(s) = f'(a) + \int_a^s f''(t) dt## and substitute this into the above to arrive at $$f(x) = f(a) + \int_a^x \left( f'(a) + \int_a^s f''(t) dt \right) ds \\ = f(a) + f'(a)(x-a) + \int_a^x \int_a^s f''(t) dt ds$$. From the above, ##f''(t) = f''(a) + \int_a^t f'''(r) dr##. Substituting this into the previous expression we have $$f(x) = f(a) + f'(a)(x-a) + \int_a^x \int_a^s \left( f''(a) + \int_a^t f'''(r) dr \right) dt ds \\ = f(a) + f'(a)(x-a) + \int_a^x \int_a^s f''(a) dt ds + \int_a^x \int_a^s \int_a^t f'''(r) dr dt ds \\= f(a) + f'(a)(x-a) + \int_a^x f''(a)(s-a) ds + \int_a^x \int_a^s \int_a^t f'''(r) dr dt ds \\ = f(a) + f'(a)(x-a) + f''(a)\left[ x^2/2 - a^2/2 -a(x-a) \right] + \int_a^x \int_a^s \int_a^t f'''(r) dr dt ds \\ = f(a) + f'(a)(x-a) + f''(a)(x-a)^2/2 + ...$$

hmmmm, i guess it works after all. at the end the author writes ##\int_a^x \cdots \int_a^x M (ds)^{n+1} = M\frac{(x-a)^{n+1}}{(x+1)!}## and I was confused. they must be abusing notation I guess?
 
joshmccraney said:
they must be abusing notation I guess?

Their notation using [itex]\int \int dtds[/itex] is clearer than the notation [itex]\int \int (ds)^2[/itex]
 
Stephen Tashi said:
Their notation using [itex]\int \int dtds[/itex] is clearer than the notation [itex]\int \int (ds)^2[/itex]
I agree, but the ##dt ds## notion is mine. theirs was the ##(ds)^2##. are they talking about a remain integral?
 
joshmccraney said:
I agree, but the ##dt ds## notion is mine. theirs was the ##(ds)^2##. are they talking about a remain integral?
I'd have to see their work to make a guess about what it means.
 
There are obvious errors which make it hard to follow. Specifically he has identities where he has a + rather than an =.
 
Yes, the paper is not perfect but I like the integration technique to derive the taylor series. but now that we're on the topic, how would one compute an integral with measure ##(ds)^2##?
 
  • #10
Did the paper use the notation [itex](ds)^2[/itex]? Or did it only use [itex]\int \int ...ds ds[/itex] ?
 
  • #11
Stephen Tashi said:
Did the paper use the notation [itex](ds)^2[/itex]? Or did it only use [itex]\int \int ...ds ds[/itex] ?
yes [itex]\int\int...dsds[/itex]
 
  • #12
Hi https://www.physicsforums.com/threads/integral-dx-2.793609/members/joshmccraney.428835/
The author clearly abuses the notation. The integral you asked about should be $$\int_a^x \int_a^s dt ds = \int_a^x (s-a)ds = \int_a^x (s-a)d(s-a)=\frac12 (x-a)^2 , $$ and you already computed it when you were explaining how did you arrive to your integral.

The notation in the text you are reading is "twice bad": not only ##dsds## or ##(ds)^2## is a bad (and formally wrong) notation, but also the limits of integration in the text are wrong. Your computations are correct, and you can see that in multiple integrals the limits of integrations are different in the inner and outer integrals. In the text they are the same, and that is completely wrong.
 
Last edited by a moderator:
  • Like
Likes   Reactions: member 428835
  • #13
It's confusing to write [itex]\int \int f(s) ds ds[/itex] but it isn't any more wrong than writing [itex]\int \int f(t) dt ds[/itex].

By contrast, the notation [itex]\int \int f(s) (ds)^2[/itex] doesn't have a standard interpretation.
 
  • #14
Thanks guys! I was confused with their notation, but I think it makes sense now! I appreciate your help!
 
  • #15
Formally, you can see this as integrating 2-forms on a 2-manifold , the manifold being ## \mathbb R^2 ##. Then , if ##ds^2 =ds \wedge ds## then it is zero.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 13 ·
Replies
13
Views
3K
Replies
3
Views
2K