سامانه غیرخطی

در ریاضیات، سیستم غیرخطی (به انگلیسی: Nonlinear system) به سیستمی گفته می‌شود که از اصل برهم‌نهی پیروی نکند یا به زبان دیگر، خروجی یا پاسخ آن متناسب با ورودی نباشد؛ در حالی که یک سیستم خطی این شرایط را برآورده می‌کند. به بیان دیگر، یک سیستم غیرخطی در جایی تعریف می‌شود که متغیر(ها) را نتوان به شکل ترکیبی خطی از اجزای مستقل نوشت. یک سیستم ناهمگن، که با وجود تابعی از متغیرهای مستقل خطی تلقی می‌شود، مطابق شرایط تعریف شده غیرخطی است، اما چنین سیستمی معمولاً در کنار سیستم‌های خطی مطالعه می‌شود، زیرا که می‌توان آن‌ها را در یک سیستم خطی با چندین متغیر قرار داد.

تعریفویرایش

در ریاضیات، تابع خطی $f(x)$ در جایی تعریف می‌شود که هر دو شرایط ذیل را برآورده کند:

جمع پذیری: $\textstyle f(x+y)\ =f(x)\ +f(y)$
همگن بودن: $\textstyle f(\alpha x)\ =\alpha f(x)$

(جمع پذیری دلالت بر همگن بودن به ازای هر مقدار عدد گویا برای ضریب α، و برای توابع پیوسته، به ازای هر مقدار عدد حقیقی برای α دارد. به ازای یک عدد مختلط برای α، خاصیت همگنی از جمع پذیری پیروی نمی‌کند؛ بعنوان مثال، یک تابع ضد-خطی anti-linear map قابلیت جمع پذیری دارد ولی همگن نیست) شروط جمع پذیری و همگن بودن اغلب در قانون برهم نهی (superposition principle) یکی می‌شوند

f(\alpha x+\beta y)=\alpha f(x)+\beta f(y)\,

معادله $f(x)=C\,$ خطی است اگر $f(x)$ یک نگاشت خطی باشد (چنانچه در بالا توضیح داده شد) وگر نه غیرخطی است؛ و اگر $C=0$ معادله همگن خواهد بود.

معادلات جبری غیر خطیویرایش

معادلات جبری غیر خطی، که معادلات چندجمله ای هم خوانده می‌شوند، با مساوی صفر قراردادن چندجمله‌ای تعیین می‌شوند. بعنوان مثال

x^{2}+x-1=0\,.

برای یک معادله چندجمله ای، الگوریتم ریشه یابی جهت حل معادله قابل استفاده می‌باشد. (برای مثال، مجموعه‌ای از مقادیر برای متغیرها که شرایط معادله را برآورده می‌کند). هرچند که، سیستم‌های معادلات جبری پیچیده هستند؛ مطالعه آنها انگیزه‌ایست برای هندسه جبری، که شاخه ای دشوار از ریاضیات مدرن می‌باشد.

دستگاه‌های معادلات دیفرانسیل معمولی درجهٔ اولویرایش

پاره‌ای از سیستم‌های دینامیکی را با استفاده از تعدادی متناهی^[۱] از معادلات دیفرانسیل معمولی متصل‌به‌هم^[۲] از درجهٔ اول مدل می‌نمائیم. در حالت کلی، برای سیستمی متشکل از $n\!$ معادله متصل‌به‌هم داریم:

${\dot {x}}_{1}=f_{1}(t,x_{1},\cdots ,x_{n},u_{1},\cdots ,u_{p})\!$

${\dot {x}}_{2}=f_{2}(t,x_{1},\cdots ,x_{n},u_{1},\cdots ,u_{p})\!$

$\vdots \!$

${\dot {x}}_{n}=f_{n}(t,x_{1},\cdots ,x_{n},u_{1},\cdots ,u_{p})\!$

که در اینجا، ${\dot {x}}_{i}\!$ مشتق ${x}_{i}\!$ را نسبت به زمان $t\!$ نشان می‌دهد، و $u_{1},\cdots ,u_{p}\!$ متغیرهای حاوی مقادیر ورودی به دستگاه معادلات است. متغیرهای $x_{1},x_{2},\cdots ,x_{n}\!$ را متغیرهای حالت^[۳] می‌نامیم، که در واقع، محتویات مربوط به حافظهٔ^[۴] سیستم دینامیکی از گذشته را در درون خود دارند.^[۵]