Notation for bounds on derivative

185 Views Asked by At

I am working on a problem where the assumptions are that some derivatives are bounded. I want to refer to the individual bounds in the proof but there are about 7 of them in total. I am wondering if there is some standard notation that would prevent me from having to write something like $L_{1}, L_{2}, ... L_{7}$. For instance if they all happened to be functions of a single variable, something like: $\eta_{m}{f}$ for indicating the bound on $f^{(m)}$ seems reasonable, but I want to indicate the bounds on individual mixed partials, like $\frac{d^{2}f}{dx dw}$. Is there a standard, concise notation for this?

1

There are 1 best solutions below

1
On

AFAIK there is no standard notation for this, but it is always a good idea to make notations as far as possible self-explaining, so instead of $L_1,\ L_2$,... I think that $L_x, L_y, L_{xw}$, etc, would be good idea. And yes, adding the concerned function as an additional "index" is a good idea, but take care to clarify whether, e.g., $L_x(f)$ is a bound for $f$ given somewhere explicitly, or whether it is a function of $f$. Often you would have different formulas or values for bounds for derivatives of one function and of another function, depending on what you know about them. (I.e., you would have, e.g., $|f_x| < L_x(f)$, $|g_x| < L_x(g)$, but $L_x$ would not be a function of $f$ in the strict sense, but just a notation for a bound given somewhere). It might be clearer, however, to use a different symbol in that case, e.g., $|g_x| < M_x(g)$, if $M_x(g)$ is given through a formula different from $L_x(f)$. Also make a distinction between $\sup|f_x|$ (which could in some cases also merit introduction of a dedicated notation = "abbreviation") and an ("arbitrary", not necessarily tight) upper bound $L_x(f)$.