2
$\begingroup$

I have difficulties in evaluating the multi-index notation in the following context:

Let $x \in R^n$ and let $i$ be a multi-index, $i=(i_1, \dots, i_n)$. Now I want to know the bound of the sum (knowing that each $x_i \leq a$, $\frac{1}{x_i} \leq b$) $ \sum_{|i|=3} \frac{1}{i!} \frac{x^i}{x_l} \quad (\ast) $

What I thought so far:

There are three types of summands, (i) there is one $i_j=3$ (and the rest $i_k$, $k \neq j$ is 0) in $i$, then $i!$=6; (ii) there is one index $i_{j_1}=2$ and one $i_{j_2}$=1 (the others 0), then $i!=2$; and (iii) there are three components of $i$ 1, the rest 0, the faculty would be 1. (the types would be $(0, \dots, 3, \dots, 0)$, $(0, \dots, 0 , 2, 0, \dots, 0, 1, 0, \dots, 0)$ and $(0, \dots, 0 , 1, 0, \dots, 0, 1, 0, \dots, 0, 1, 0, \dots, 0)$).

Now if I look at the first case, I would have $(n-1)$ times the expression $\frac{x_j^3}{x_l}$, $l \neq j$ and once $x_l^2$, so $ (\ast) = \frac{1}{6} ( \underbrace{\sum_{j \neq l} \frac{x_j^3}{x_l}}_{ \leq (n-1) a^3 b} \quad + \underbrace{x_l^2}_{\leq a^2}) + \frac{1}{2} (\text{???}) + \frac{1}{1} (\text{????}) $

Q: How can I obtain the whole bound for $(\ast)$ ?

Is this right so far? How can I continue for the second case (ii)? Is there a way to let it do mechanically be mathematica? (Does someone know how to put multi-index notation in Mathematica)

Note: I write $x_i \leq a$, $\frac{1}{x_i} \leq b$ because in the application I look at $E(\frac{x^i}{x_l})$ and have bounds for the expectation values.

  • 0
    Thanks$a$lot for your hints! It was really good to concentrate only on the stuff I really have to know. Essentially for me was that $x^i/x_l \leq h^2 a^3b$ (for$a$multiindex $i$, $|i|=3$ and the altered $x=hE(Y)$, $Y=(Y_1, \dots, Y_n)$, $Y_i \leq a$ a.s., $E(1/Y) \leq b$ where you interpret $x^i$ as $E((hY)^i)=h^{|i|}E(Y^i)$) and that I say then just call the remaining sum $\sum_{|j|=3} \frac{1}{j!}$ a constant $C$.2011-09-02

1 Answers 1

1

To provide an answer, it is basically just what @Willie Wong already said in his comments.

The boundedness conditions are $|x_i| \leq a$, $|\frac{1}{x_i}| \leq b$.

By definition, $x^i= x_1^{i_1} \cdots x_n^{i_n}$. Note that for $|i|=3$, we can write $x^i=x_{j_1} x_{j_2} x_{j_3}$ (it is clear that there are at most three $j_k\neq 0$, but we can also write it as three always - for example, if $i_j=3$, $x^{i_j}_j=x_{j_1} x_{j_2} x_{j_3}$ where $j_1=j_2=j_3:=j$ (and $i_{j_1}=i_{j_2}=i_{j_3}=1$)).

Therefore $x^i \leq a^3$ , and each summand $\leq a^3 b$, so that $(\ast) \leq a^3 b C \text{, } C:= \sum_{|j|=3} \frac{1}{j!} \text{.}$

As I said in my comments for the task behind it was important for me to see that, $\frac{(hx)^i}{hx_l} = \frac{h^{|i|}}{h} \frac{x^i}{x_l} = h^2 \frac{x^i}{x_l}$ for $|i|=3$. Thanks a lot for all your help