Biomedical Engineering Reference
In-Depth Information
Then, by Lemma
6.5
,
e
−
Bt
i
(
t
+
t
1
)
>
η
for all
t
>
0
,
and by Lemma
6.3
we deduce that
t
1
)
>
ξ
1
ξ
2
ln 2
ξ
2
e
−
Bt
0
1
t
0
+
where
t
0
=
w
(
1
+
.
2
Setting
t
1
=
t
0
+
t
1
, it follows that
t
1
)
≥
ξ
1
t
1
)
≥
η
e
−
Bt
0
e
−
Bt
0
i
(
,
w
(
ξ
2
η
.
(40)
2
We next consider the case
w
(
t
1
)
>
η
.
By Lemma
6.5
,
e
−
Bt
w
(
t
+
t
1
)
>
η
for all
t
>
0
,
and, by Lemma
6.4
,
e
−
Bt
0
where
t
0
is defined by Eq. (
31
). Hence, setting
t
1
=
i
(
t
0
+
t
1
)
>
c
η
t
0
+
t
1
we get,
t
1
)
>
η
e
−
Bt
0
t
1
)
≥
e
−
Bt
0
w
(
,
i
(
c
η
.
(41)
We have thus proved that Eq. (
39
) implies that either Eq. (
40
)orEq.(
41
)must
hold, and, by Lemma
6.5
, we conclude that
t
1
,
t
1
},
m
(
t
1
)
≥
c
2
η
,
t
1
=
max
{
(42)
and, since we can take
t
2
>
1
+
t
1
,
1
<
t
1
−
t
1
<
c
3
,
(43)
where the constants
c
2
,
c
3
are independent of
.
We now repeat the previous argument starting at
t
η
=
t
1
with
m
(
0
)
replaced by
m
(
t
1
)
. We then need to replace
T
1
(
η
,
m
(
0
))
by
T
1
(
η
,
m
(
t
1
))
. Note that whereas
T
1
(
η
,
m
(
0
))
→
∞
if
m
(
0
)
→
0,
T
1
(
η
,
m
(
t
1
))
is bounded from above by a constant
c
(
η
)
which depends only on
η
. We conclude that there exists a point
t
2
such that
m
(
t
2
)
>
c
2
η
,
1
<
t
2
−
t
1
<
c
(
η
)+
c
3
,
where the constants
c
2
,
c
3
are the same constants as in Eqs. (
42
)and(
43
).
Search WWH ::
Custom Search