کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4666262 | 1345394 | 2012 | 31 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Effective metastability of Halpern iterates in CAT(0) spaces
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This paper provides an effective uniform rate of metastability (in the sense of Tao) on the strong convergence of Halpern iterations of nonexpansive mappings in CAT(0) spaces. The extraction of this rate from an ineffective proof due to Saejung is an instance of the general proof mining program which uses tools from mathematical logic to uncover hidden computational content from proofs. This methodology is applied here for the first time to a proof that uses Banach limits and hence makes a substantial reference to the axiom of choice.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Advances in Mathematics - Volume 231, Issue 5, 1 December 2012, Pages 2526–2556
Journal: Advances in Mathematics - Volume 231, Issue 5, 1 December 2012, Pages 2526–2556
نویسندگان
U. Kohlenbach, L. Leuştean,