5

I have often seen the long '|' symbol with a subscript expression afterward.

What does this mean in mathematics? Here is an example I found from Wikipedia:

$$\large\left.\frac{dy}{dx}\right|_{x=c} \;\;= \;\;\;\;\left.\frac{dy}{du}\right|_{u=g(c)}\cdot \;\;\;\;\left.\frac{du}{dx}\right|_{x=c}$$

amWhy
  • 209,954
Biff
  • 253
  • Here it means that the derivative is evaluated at (in the first example) $x=c$. Somewhat inconsistently, when you are doing integration, $\left.f(x)\right|_a^b$ will mean $f(b)-f(a)$. – André Nicolas Feb 05 '13 at 18:04
  • How is that integration? – Biff Feb 05 '13 at 18:09
  • 1
    A similar notation is also used for the restriction of a function $f$ to a subset $E$ of its domain: $\left. f \right|E$. See http://en.wikipedia.org/wiki/Restriction(mathematics) – Ayman Hourieh Feb 05 '13 at 18:18
  • 1
    @Biff: When you are calculating a definite integral, often you first calculate an indefinite integral (antiderivative), and then do some evaluations. The notation above is used at the final evaluation stage. – André Nicolas Feb 05 '13 at 18:25
  • @amWhy: Or just use \quad and \qquad... :-) – Asaf Karagila Feb 06 '13 at 03:13
  • @Asaf I knew about \quad (didn't know how many \; it ended up taking!). Is \qquad a bigger gap than \quad? Thanks, btw :-) – amWhy Feb 06 '13 at 03:17
  • @amWhy: http://tex.stackexchange.com/a/41484 in a tight package too! – Asaf Karagila Feb 06 '13 at 03:25

2 Answers2

9

In this context, it means nothing more than to "evaluate the derivative at" the subscripted value. The $\Big|$ symbol is sometimes referred to as the "evaluation bar", with the "what to evaluate" preceding the symbol, and the "where to evaluate" to the right of the symbol.

So suppose $f(x) = x^2 - 1$. Then $\dfrac{dy}{dx} = 2x.$ Hence

$$\left.\frac{dy}{dx}\right|_{x = c} = \quad 2x\Big|_{x=c}\;\; =\quad 2c$$

Similarly, the evaluation bar is used in evaluating after integrating a definite integral, e.g. $$F(x)\Big|_a^b = F(b) - F(a)$$.

amWhy
  • 209,954
  • It is not integration that is similar: the similarity being the directive to "evaluate _____ at some value x = c". In your case, it's a directive to evaluate the derivative at $x = c$ (or at u = g(c)). In the context of integration, it means evaluate the integral at x = b, subtract the value at x = a. – amWhy Feb 05 '13 at 18:12
  • Makes sense, thanks. – Biff Feb 05 '13 at 18:58
  • @valtron I fixed it; thanks! – amWhy Feb 06 '13 at 13:31
5

Here, it means "evaluate the derivative at".

With $y=x^2$, first one would read "$2x$ evaluated at $x=c$," which would yield $2c$.

rschwieb
  • 153,510