1.4. Интервальная арифметика 23т. е. взятие минимума по совокупности аргументов может быть замененоповторным минимумом, а взятие максимума по совокупности аргументов— повторным максимумом, причём в обоих случаях порядокэкстремумов несуществен. <strong>С</strong>ледовательно, для a ∈ [a,a] и b ∈ [b,b] всамом делеmin { ab,ab,ab,ab } ≤ a·b ≤ max { ab,ab,ab,ab } , (1.8)и нетрудно видеть, что эта оценка достижима с обеих сторон.Наконец, для частного двух ограниченных переменных несложновывести оценки из неравенств для умножения и из того факта, чтоa/b = a·(1/b).<strong>П</strong>роведённые выше рссуждения подсказывают идею — рассматриватьинтервалы вещественной оси как самостоятельные объекты, междукоторыми можно будет ввести свои собственные операции, отношенияи т. п. Мы далее будем обозначать интервалы буквами жирногошрифта: a, b, c, . . . , x, y, z. <strong>П</strong>одчёркивание и надчёркивание — a и a— будут зарезервированы для обозначения нижнего и верхнего концовинтервала, так что a = [a,a].Рассмотрим множество всех вещественных интерваловa := [a,a] ={a ∈ R | a ≤ a ≤ a}, и бинарные операции — сложение, вычитание,умножение и деление — определим между ними «по представителям»,т. е. в соответствии со следующим фундаментальным принципом:a⋆b := {a⋆b | a ∈ a, b ∈ b} (1.9)для всех интервалов a, b, таких что выполнение точечной операцииa⋆b, ⋆ ∈ {+, −, ·, /}, имеет смысл для любых a ∈ a и b ∈ b. <strong>П</strong>ри этомвещественные числа a отождествляются с интервалами нулевой ширины[a,a], которые называются также вырожденными интервалами.Кроме того, через (−a) условимся обозначать интервал (−1)·a.Для интервальных арифметических операций развёрнутое определение,равносильное (1.9), как мы установили выше, задаётся следующимиформулами:a+b = [ a+b, a+b ] , (1.10)a−b = [ a−b, a−b ] , (1.11)a·b = [ min{ab,ab,ab,ab} , max{ab,ab,ab,ab} ] , (1.12)a/b = a·[1/b,1/b ] для b ∌ 0. (1.13)
24 1. ВведениеВ частности, при умножении интервала на число полезно помнить следующеепростое правило:µ·a ={[µa,µa], если µ ≥ 0,[µa,µa], если µ ≤ 0.(1.14)Алгебраическая система 〈 IR,+,−,·,/ 〉, образованная множествомвсех вещественных интервалов a := [a,a] = {x ∈ R | a ≤ x ≤ a}с бинарными операциями сложения, вычитания, умножения и деления,которые определены формулами (1.10)–(1.13), называется классическойинтервальной арифметикой. Эпитет «классическая» используетсяздесь потому, что существуют и другие интервальные арифметики,приспособленные для решения других задач.<strong>П</strong>олезно выписать определение интервального умножения в видетак называемой таблицы Кэли, дающей представление результата операциив зависимости от различных комбинаций значений операндов.Для этого выделим в IR следующие подмножества:P := {a ∈ IR | a ≥ 0 и a ≥ 0} — неотрицательные интервалы,Z := {a ∈ IR | a ≤ 0 ≤ a}−P := {a ∈ IR | −a ∈ P}— нульсодержащие интервалы,— неположительные интервалы.В целом IR = P ∪ Z ∪ (−P). Тогда интервальное умножение (1.12)может быть описано с помощью Табл. 1.1, особенно удобной при реализцииэтой операции на ЭВМ.Именно по этой таблице реализовано интервальное умножение в подавляющембольшинстве компьютерных систем, поддерживающих интервальнуюарифметику, так как в сравнении с исходными формуламитакая реализация существенно более быстрая.Алгебраические свойства классической интервальной арифметикисущественно беднее, чем у поля вещественных чисел R. В частности,особенностью интервальной арифметики является отсутствие дистрибутивностиумножения относительно сложения: в общем случаеНапример,(a+b)c ≠ ac+bc.[1,2]·(1−1) = 0 ≠ [−1,1] = [1,2]·1−[1,2]·1.
- Page 1 and 2: С.П. ШарыйКурсВЫЧИС
- Page 3 and 4: Книга является сис
- Page 5 and 6: 4 Оглавление2.6а Эле
- Page 7 and 8: 6 Оглавление3.7г Мет
- Page 9 and 10: ПредисловиеПредст
- Page 11 and 12: 10 1. ВведениеК.Г. Яко
- Page 13 and 14: 12 1. Введениеи потом
- Page 15 and 16: 14 1. ВведениеРассмо
- Page 17 and 18: 16 1. ВведениеПоэтом
- Page 19 and 20: 18 1. Введениеется та
- Page 21 and 22: 20 1. ВведениеПусть р
- Page 23: 22 1. Введениетем, чт
- Page 27 and 28: 26 1. Введение(вектор
- Page 29 and 30: 28 1. Введение✻f(X)✛X
- Page 31 and 32: 30 1. Введението инте
- Page 33 and 34: 32 1. Введениевать их
- Page 35 and 36: 34 1. ВведениеЕстест
- Page 37 and 38: 36 1. Введениематриц
- Page 39 and 40: 38 1. Введениеции, та
- Page 41 and 42: 40 1. Введение[29] Neumaier
- Page 43 and 44: 42 2. Численные метод
- Page 45 and 46: 44 2. Численные метод
- Page 47 and 48: 46 2. Численные метод
- Page 49 and 50: 48 2. Численные метод
- Page 51 and 52: 50 2. Численные метод
- Page 53 and 54: 52 2. Численные метод
- Page 55 and 56: 54 2. Численные метод
- Page 57 and 58: 56 2. Численные метод
- Page 59 and 60: 58 2. Численные метод
- Page 61 and 62: 60 2. Численные метод
- Page 63 and 64: 62 2. Численные метод
- Page 65 and 66: 64 2. Численные метод
- Page 67 and 68: 66 2. Численные метод
- Page 69 and 70: 68 2. Численные метод
- Page 71 and 72: 70 2. Численные метод
- Page 73 and 74: 72 2. Численные метод
- Page 75 and 76:
74 2. Численные метод
- Page 77 and 78:
76 2. Численные метод
- Page 79 and 80:
78 2. Численные метод
- Page 81 and 82:
80 2. Численные метод
- Page 83 and 84:
82 2. Численные метод
- Page 85 and 86:
84 2. Численные метод
- Page 87 and 88:
86 2. Численные метод
- Page 89 and 90:
88 2. Численные метод
- Page 91:
90 2. Численные метод
- Page 94 and 95:
2.6. Сплайны 93Чтобы з
- Page 96 and 97:
2.6. Сплайны 95двух пе
- Page 98 and 99:
2.7. Нелинейные мето
- Page 100 and 101:
2.8. Численное диффе
- Page 102 and 103:
2.8. Численное диффе
- Page 104 and 105:
2.8. Численное диффе
- Page 106 and 107:
2.8. Численное диффе
- Page 108 and 109:
2.8. Численное диффе
- Page 110 and 111:
2.8. Численное диффе
- Page 112 and 113:
2.8. Численное диффе
- Page 114 and 115:
2.8. Численное диффе
- Page 116 and 117:
2.8. Численное диффе
- Page 118 and 119:
2.9. Алгоритмическое
- Page 120 and 121:
2.10. Приближение фун
- Page 122 and 123:
2.10. Приближение фун
- Page 124 and 125:
2.10. Приближение фун
- Page 126 and 127:
2.10. Приближение фун
- Page 128 and 129:
2.10. Приближение фун
- Page 130 and 131:
2.10. Приближение фун
- Page 132 and 133:
2.10. Приближение фун
- Page 134 and 135:
2.11. Полиномы Лежанд
- Page 136 and 137:
2.11. Полиномы Лежанд
- Page 138 and 139:
2.11. Полиномы Лежанд
- Page 140 and 141:
2.11. Полиномы Лежанд
- Page 142 and 143:
2.11. Полиномы Лежанд
- Page 144 and 145:
2.12. Численное интег
- Page 146 and 147:
2.12. Численное интег
- Page 148 and 149:
2.12. Численное интег
- Page 150 and 151:
2.12. Численное интег
- Page 152 and 153:
2.12. Численное интег
- Page 154 and 155:
2.12. Численное интег
- Page 156 and 157:
2.12. Численное интег
- Page 158 and 159:
2.12. Численное интег
- Page 160 and 161:
2.12. Численное интег
- Page 162 and 163:
2.12. Численное интег
- Page 164 and 165:
2.12. Численное интег
- Page 166 and 167:
2.13. Квадратурные фо
- Page 168 and 169:
2.13. Квадратурные фо
- Page 170 and 171:
2.13. Квадратурные фо
- Page 172 and 173:
2.13. Квадратурные фо
- Page 174 and 175:
2.13. Квадратурные фо
- Page 176 and 177:
2.13. Квадратурные фо
- Page 178 and 179:
2.13. Квадратурные фо
- Page 180 and 181:
2.13. Квадратурные фо
- Page 182 and 183:
2.14. Составные квадр
- Page 184 and 185:
2.15. Сходимость квад
- Page 186 and 187:
2.15. Сходимость квад
- Page 188 and 189:
2.15. Сходимость квад
- Page 190 and 191:
2.16. Вычисление инте
- Page 192 and 193:
2.16. Вычисление инте
- Page 194 and 195:
2.17. Правило Рунге д
- Page 196 and 197:
Литература к главе
- Page 198 and 199:
Литература к главе
- Page 200 and 201:
3.1. Задачи вычислит
- Page 202 and 203:
3.2. Теоретическое в
- Page 204 and 205:
3.2. Теоретическое в
- Page 206 and 207:
3.2. Теоретическое в
- Page 208 and 209:
3.2. Теоретическое в
- Page 210 and 211:
3.2. Теоретическое в
- Page 212 and 213:
3.2. Теоретическое в
- Page 214 and 215:
3.2. Теоретическое в
- Page 216 and 217:
3.2. Теоретическое в
- Page 218 and 219:
3.2. Теоретическое в
- Page 220 and 221:
3.2. Теоретическое в
- Page 222 and 223:
3.2. Теоретическое в
- Page 224 and 225:
3.2. Теоретическое в
- Page 226 and 227:
3.3. Нормы векторов и
- Page 228 and 229:
3.3. Нормы векторов и
- Page 230 and 231:
3.3. Нормы векторов и
- Page 232 and 233:
3.3. Нормы векторов и
- Page 234 and 235:
3.3. Нормы векторов и
- Page 236 and 237:
3.3. Нормы векторов и
- Page 238 and 239:
3.3. Нормы векторов и
- Page 240 and 241:
3.3. Нормы векторов и
- Page 242 and 243:
3.3. Нормы векторов и
- Page 244 and 245:
3.3. Нормы векторов и
- Page 246 and 247:
3.3. Нормы векторов и
- Page 248 and 249:
3.3. Нормы векторов и
- Page 250 and 251:
3.3. Нормы векторов и
- Page 252 and 253:
3.3. Нормы векторов и
- Page 254 and 255:
3.3. Нормы векторов и
- Page 256 and 257:
3.4. Приложения синг
- Page 258 and 259:
3.4. Приложения синг
- Page 260 and 261:
3.4. Приложения синг
- Page 262 and 263:
3.5. Обусловленность
- Page 264 and 265:
3.5. Обусловленность
- Page 266 and 267:
3.5. Обусловленность
- Page 268 and 269:
3.5. Обусловленность
- Page 270 and 271:
3.5. Обусловленность
- Page 272 and 273:
3.5. Обусловленность
- Page 274 and 275:
3.6. Прямые методы ре
- Page 276 and 277:
3.6. Прямые методы ре
- Page 278 and 279:
3.6. Прямые методы ре
- Page 280 and 281:
3.6. Прямые методы ре
- Page 282 and 283:
3.6. Прямые методы ре
- Page 284 and 285:
3.6. Прямые методы ре
- Page 286 and 287:
3.6. Прямые методы ре
- Page 288 and 289:
3.6. Прямые методы ре
- Page 290 and 291:
3.6. Прямые методы ре
- Page 292 and 293:
3.6. Прямые методы ре
- Page 294 and 295:
3.6. Прямые методы ре
- Page 296 and 297:
3.6. Прямые методы ре
- Page 298 and 299:
3.7. Методы на основе
- Page 300 and 301:
3.7. Методы на основе
- Page 302 and 303:
3.7. Методы на основе
- Page 304 and 305:
3.7. Методы на основе
- Page 306 and 307:
3.7. Методы на основе
- Page 308 and 309:
3.7. Методы на основе
- Page 310 and 311:
3.7. Методы на основе
- Page 312 and 313:
3.7. Методы на основе
- Page 314 and 315:
3.7. Методы на основе
- Page 316 and 317:
3.7. Методы на основе
- Page 318 and 319:
3.8. Метод прогонки 31
- Page 320 and 321:
3.8. Метод прогонки 31
- Page 322 and 323:
3.8. Метод прогонки 32
- Page 324 and 325:
3.9. Стационарные ит
- Page 326 and 327:
3.9. Стационарные ит
- Page 328 and 329:
3.9. Стационарные ит
- Page 330 and 331:
3.9. Стационарные ит
- Page 332 and 333:
3.9. Стационарные ит
- Page 334 and 335:
3.9. Стационарные ит
- Page 336 and 337:
3.9. Стационарные ит
- Page 338 and 339:
3.9. Стационарные ит
- Page 340 and 341:
3.9. Стационарные ит
- Page 342 and 343:
3.9. Стационарные ит
- Page 344 and 345:
3.9. Стационарные ит
- Page 346 and 347:
3.9. Стационарные ит
- Page 348 and 349:
3.9. Стационарные ит
- Page 350 and 351:
3.9. Стационарные ит
- Page 352 and 353:
3.9. Стационарные ит
- Page 354 and 355:
3.9. Стационарные ит
- Page 356 and 357:
3.10. Нестационарные
- Page 358 and 359:
3.10. Нестационарные
- Page 360 and 361:
3.10. Нестационарные
- Page 362 and 363:
3.10. Нестационарные
- Page 364 and 365:
3.10. Нестационарные
- Page 366 and 367:
3.10. Нестационарные
- Page 368 and 369:
3.10. Нестационарные
- Page 370 and 371:
3.10. Нестационарные
- Page 372 and 373:
3.10. Нестационарные
- Page 374 and 375:
3.11. Методы установл
- Page 376 and 377:
3.12. Теория А.А. Сама
- Page 378 and 379:
3.12. Теория А.А. Сама
- Page 380 and 381:
3.13. Вычисление опре
- Page 382 and 383:
3.14. Оценка погрешно
- Page 384 and 385:
3.14. Оценка погрешно
- Page 386 and 387:
3.16. Проблема собств
- Page 388 and 389:
3.16. Проблема собств
- Page 390 and 391:
3.16. Проблема собств
- Page 392 and 393:
3.16. Проблема собств
- Page 394 and 395:
3.16. Проблема собств
- Page 396 and 397:
3.16. Проблема собств
- Page 398 and 399:
3.16. Проблема собств
- Page 400 and 401:
3.16. Проблема собств
- Page 402 and 403:
3.16. Проблема собств
- Page 404 and 405:
3.17. Численные метод
- Page 406 and 407:
3.17. Численные метод
- Page 408 and 409:
3.17. Численные метод
- Page 410 and 411:
3.17. Численные метод
- Page 412 and 413:
3.17. Численные метод
- Page 414 and 415:
3.17. Численные метод
- Page 416 and 417:
3.17. Численные метод
- Page 418 and 419:
3.17. Численные метод
- Page 420 and 421:
3.17. Численные метод
- Page 422 and 423:
3.17. Численные метод
- Page 424 and 425:
3.17. Численные метод
- Page 426 and 427:
3.17. Численные метод
- Page 428 and 429:
3.18. Численные метод
- Page 430 and 431:
Литература к главе
- Page 432 and 433:
Литература к главе
- Page 434 and 435:
Глава 4Решение нели
- Page 436 and 437:
4.2. Вычислительно-к
- Page 438 and 439:
4.2. Вычислительно-к
- Page 440 and 441:
4.2. Вычислительно-к
- Page 442 and 443:
4.2. Вычислительно-к
- Page 444 and 445:
4.2. Вычислительно-к
- Page 446 and 447:
4.3. Векторные поля и
- Page 448 and 449:
4.3. Векторные поля и
- Page 450 and 451:
4.3. Векторные поля и
- Page 452 and 453:
4.3. Векторные поля и
- Page 454 and 455:
4.3. Векторные поля и
- Page 456 and 457:
4.4. Классические ме
- Page 458 and 459:
4.4. Классические ме
- Page 460 and 461:
4.4. Классические ме
- Page 462 and 463:
4.4. Классические ме
- Page 464 and 465:
4.4. Классические ме
- Page 466 and 467:
4.4. Классические ме
- Page 468 and 469:
4.5. Классические ме
- Page 470 and 471:
4.6. Интервальные ли
- Page 472 and 473:
4.7. Интервальные ме
- Page 474 and 475:
4.7. Интервальные ме
- Page 476 and 477:
4.7. Интервальные ме
- Page 478 and 479:
4.7. Интервальные ме
- Page 480 and 481:
4.7. Интервальные ме
- Page 482 and 483:
4.8. Глобальное реше
- Page 484 and 485:
4.8. Глобальное реше
- Page 486 and 487:
4.8. Глобальное реше
- Page 488 and 489:
Литература к главе
- Page 490 and 491:
Литература к главе
- Page 492 and 493:
Обозначения 491IR n мн
- Page 494 and 495:
Обозначения 493DO WHILE
- Page 496 and 497:
Обозначения 495Бюфф
- Page 498 and 499:
Обозначения 497Кузь
- Page 500 and 501:
Обозначения 499Рэле
- Page 502 and 503:
Обозначения 501Штиф
- Page 504 and 505:
Предметный указате
- Page 506 and 507:
Предметный указате